Choice of metadata Electronic Library
Page 1, Results: 9
Report on unfulfilled requests: 0
1.
Подробнее
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
2.
Подробнее
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
3.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
4.
Подробнее
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
5.
Подробнее
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
6.
Подробнее
З-34
Зарипова, Э. Р.
Дискретная математика [Электронный ресурс]. Ч.2. Математическая логика / Э. Р. Зарипова, М. Г. Кокотчикова, Л. А. Севастьянов. - М. : РУДН, 2013. - 116 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- алгебра логики -- исчисление высказывание
Доп.точки доступа:
Кокотчикова, М.Г.
Севастьянов, Л.А.
З-34
Зарипова, Э. Р.
Дискретная математика [Электронный ресурс]. Ч.2. Математическая логика / Э. Р. Зарипова, М. Г. Кокотчикова, Л. А. Севастьянов. - М. : РУДН, 2013. - 116 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- алгебра логики -- исчисление высказывание
Доп.точки доступа:
Кокотчикова, М.Г.
Севастьянов, Л.А.
7.
Подробнее
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
ББК 22.161
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
8.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
9.
Подробнее
П56
Понамарев, В. Ф.
Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы
П56
Понамарев, В. Ф.
Математическая логика [Электронный ресурс] : учебное пособие. Ч.1. Логика высказываний. Логика предикатов / В. Ф. Понамарев. - Калининград : КГТУ, 2001. - 140 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- алгебра высказываний -- логические операторы
Page 1, Results: 9