Поисковый запрос: (<.>K=Математическая логика<.>) |
Общее количество найденных документов : 244
Показаны документы с 1 по 20 |
|
1. 
| 519
М 34
Математические вопросы кибернетики / Под.ред.С.В.Яблонского. - М. : Наука;Физматлит, 1998 - .
Вып.7. - 1998. - 368с. - ISBN 5-02-015121-1 : 45 р.РУБ 519
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
Принятие решений.теория -- Математическая кибернетика -- Математическая логика -- Сложные управляющие системы -- Преобразование сигналов
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
2.
| 519
М 34
Математические вопросы кибернетики : сб.ст. / Под ред.О.Б.Лупанова. - М. : Наука,Физматлит, 1999 - .
Вып.8. - 1999. - 320с. - ISBN 5-02-015318-4 : 50 р.РУБ 519
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
Принятия решений теория -- Математическая кибернетика -- Дискретная математика -- Математическая логика
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
3.
| 519
М 34
Математические вопросы кибернетики / ред. О. Б. Лупанов. - Москва : ФИЗМАТЛИТ, 2000 - .
Вып.9. - 2000. - 272 с. - 45.00 р., 45.00 р.РУБ 519
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
Программирование -- Математическая кибернетика -- Дискретная математика -- Математическая логика
Доп.точки доступа:
Лупанов, О. Б. \ред.\
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
|
4.
| 4
У 774
Успенский, В. А.
Труды по НЕматематике с приложением семиотических посланий А. Н. Колмогорова к автору и его друзьям : в 2 т. / В. А. Успенский. - М. : ОГИ, 2002 - .
Т. 1. - 2002. - 584 с. : портр. - ISBN 5-94282-087-2 : 200.00 р.ББК Ш100.1 + Ю3(2)6
Рубрики: Философия языка
Кл.слова (ненормированные):
Философия -- Языкознание -- Математическая логика -- Парадокс -- Абстракция -- Семантика -- Семиотика
Экземпляры всего: 1
ЧЗФ (1)
Свободны: ЧЗФ (1)
Найти похожие
|
5.
| 517
Л 683
Лобовиков, В. О.
Математическая логика естественного права и политической экономии / РАН, Ин-т философии и права. - Екатеринбург : УрО РАН, 2005 - .
Ч. 1, 2 : Математическая философия экономики и права. - 2005. - 657 с. - Библиогр.: с. 611-653. - ISBN 5-7691-1587-4 : 230.00 р.ББК Ув611 + Х2(2Рос)623.14
РУБ 517
Рубрики: Математика
Кл.слова (ненормированные):
Логика и математика -- Математическая логика -- Политическая экономия -- Логика и право -- Алгебра поступков -- Частная собственность
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
6.
| 577
М 931
Мушкамбаров, Николай Николаевич
Аналитическая биохимия : в 3 т / Николай Николаевич Мушкамбаров. - М. : Экспедитор, 1996 - .
Т.2. - 1996. - с.395-798. - ISBN 5-88037-017-8 : 15 р.РУБ 577
Рубрики: Биохимия
Кл.слова (ненормированные):
Нуклеиновые кислоты -- Биохимия -- Математическая логика -- Учебные издания -- клетка
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
7.
| 577
М 931
Мушкамбаров, Николай Николаевич
Аналитическая биохимия : в 3 т / Николай Николаевич Мушкамбаров. - М. : Экспедитор, 1996 - .
Т.1. - 1996. - с.1-390. - ISBN 5-88037-017-8 : 15 р.РУБ 577
Рубрики: Биохимия
Кл.слова (ненормированные):
клетка -- Биохимия -- Математическая логика -- Учебные издания
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
8.
| 577
М 931
Мушкамбаров, Николай Николаевич
Аналитическая биохимия : в 3 т / Николай Николаевич Мушкамбаров. - М. : Экспедитор, 1996 - .
Т.3. - 1996. - с.801-1309. - ISBN 5-88037-017-8 : 15 р.РУБ 577
Рубрики: Биохимия
Кл.слова (ненормированные):
клетка -- Биохимия -- Математическая логика -- Учебные издания -- Метаболизм
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
9.
| 519
М 34
Математические вопросы кибернетики : сборник статей / ред. О. Б. Лупанов. - Москва : ФИЗМАТЛИТ, 2002 - .
Вып. 11. - 2002. - 288 с. : ил. - ISBN 5-9221-0376-8 : 80.00 р., 80.00 р. Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
Математическая логика -- Булевы функции -- Дискретная математика -- Управляющие системы
Доп.точки доступа:
Лупанов, О. Б. \ред.\
Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие
|
10.
| 519
М 34
Математические вопросы кибернетики [Текст] : сб. ст. / под ред. О. Б. Лупанова; [сост.: Н. А. Карпова и др.]. - М. : Физматлит, 2004 - .
Вып. 13. - 2004. - 304 с. - Библиогр. в конце ст. - ISBN 5-9221-0043-2 : 140.00 р.РУБ 519
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
Последовательности -- Комбинаторные задачи -- Математическая логика
Доп.точки доступа:
Карпова Н. А. \.\; Кулагина О. С. \.\; Янов Ю. И. \.\; Лупанов О. Б. \\
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
11.
| 51
М 268
Марков, А. А.
Избранные труды / А. А. Марков ; ред., сост. Н. М. Нагорный. - М. : Изд-во МЦНМО, 2003 - .
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - 626, XXII с. - ISBN 5-94057-113-1 : 250.00 р. Рубрики: Математика
Кл.слова (ненормированные):
АЛГОРИФМОВ ТЕОРИЯ -- МАТЕМАТИКА КОНСТРУКТИВНАЯ -- ИНФОРМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИКИ РОССИИ
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\; Марков, Андрей Андреевич (1903-1979)
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
12.
| 51
Г 474
Гильберт, Д.
Основы теоретической логики [Текст] : пер.с нем. / Ред.С.А.Яновский. - Биробиджан : Тривиум, 2000. - 304с. - ISBN 5-1251-0180-X : 129 р.РУБ 51
Рубрики: Математическая логика
Кл.слова (ненормированные):
Исчисление высказываний -- Математическая логика -- Исчисление предикатов
Доп.точки доступа:
Аккерман, В.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
13.
| 517
К 608
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р. Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие
|
14.
| 517
Д 721
Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; ред. Г. Е. Минц. - Москва : Едиториал УРСС, 2003. - 544 с. - ISBN 5-354-00387-3. - ISBN 5-354-00387-3 : 319.00 р., 180.00 р., 319.00 р. Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Доказательства (математика) -- Интуиционизм
Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 4
Х (1), АБН (3)
Свободны: Х (1), АБН (3)
Найти похожие
|
15.
| 517
К 608
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р. Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория
Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова
Экземпляры всего: 2
АБУ (2)
Свободны: АБУ (2)
Найти похожие
|
16.
| 519
В 67
Волгин, Леонид Иванович.
Комплементарная алгебра и моделирование нейронных структур / Л. И. Волгин. - Таллинн : АО КLTK, 1993. - 45 с. - Библиогр.: с. 42-45. - 40.00 р. Рубрики: Комплементарная алгебра
Кл.слова (ненормированные):
математическая логика -- кибернетика -- комплементарная алгебра
Аннотация: На множестве функций скалярных произведений построена комплементарная алгебра. Путем наложения ограничений на свойства переменных получен ряд вложенных в КА математических структур: предикатная алгебра выбора, непрерывная логика.
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
|
17.
| 517
Г 977
Гуц, Александр Константинович.
Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р. Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
18.
| 519
Н 58
Нефедов, Виктор Николаевич.
Курс дискретной математики : учебное пособие / В. Н. Нефедов, В. А. Осипова. - Москва : Издательство МАИ, 1992. - 264 с. : ил. - ISBN 5-7035-0157-X : 10.00 р., 10.00 р., 10 р. Рубрики: Дискретная математика
Кл.слова (ненормированные):
Алгебраические структуры -- Конечные графы -- Комбинаторика -- Дискретная математика -- Математическая логика
Доп.точки доступа:
Осипова, Виктория Аркадьевна
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие
|
19.
| 517
В 317
Верещагин, Н. К.
Языки и исчисления [Текст] / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2000. - 288с. - (Лекции по математической логике и теории алгоритмов). - Библиогр.:с.269-272. - ISBN 5-900916-66-9 : 50 р.РУБ 517
Рубрики: Математическая логика
Кл.слова (ненормированные):
Учебные издания -- Математическая логика
Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
|
20.
| 517
М 792
Мордкович, Александр Григорьевич.
Математический анализ : учебник для учащихся техникумов, обучающихся по специальности "Прикладная математика" / А. Г. Мордкович, А. С. Солодовников. - Москва : Высшая школа , 1990. - 416 с. : ил. - Предм. указ.: с. 410-416 . - ISBN 5-06-001008-2 : 6.00 р. Рубрики: Математический анализ--Учебные издания для начального профессионального образования
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА -- ЧИСЛОВЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ -- ФУНКЦИИ ОДНОЙ ПЕРЕМЕННОЙ -- ПРОИЗВОДНАЯ -- ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ -- ЧИСЛОВЫЕ РЯДЫ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
Доп.точки доступа:
Солодовников, Александр Самуилович
Экземпляры всего: 1
АБЗ (1)
Свободны: АБЗ (1)
Найти похожие
|
|
|
|
Главная
Основная библиотечная БД
Стандартный