Choice of metadata Electronic Library
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
2.
Подробнее
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
3.
Подробнее
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
4.
Подробнее
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
ББК 22.161
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
5.
Подробнее
Қасымқанұлы, Б.
Математическая логика и дискретная математика [Электронный ресурс] : электронный ресурс / Б. Қасымқанұлы. - Костанай : КГПИ, 2013. - 81 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- исчисление предикатов -- интерпретация -- изоморфизм -- транспортные сети -- теория кодирования -- система счисления -- теорема полноте -- матричное задание -- графы
Қасымқанұлы, Б.
Математическая логика и дискретная математика [Электронный ресурс] : электронный ресурс / Б. Қасымқанұлы. - Костанай : КГПИ, 2013. - 81 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- исчисление предикатов -- интерпретация -- изоморфизм -- транспортные сети -- теория кодирования -- система счисления -- теорема полноте -- матричное задание -- графы
Page 1, Results: 5