Новые поступления (книга в стадии обработки) Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. : рис ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 . - ISBN 978-5-7695-5200-7 : 368.50 р. Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ -- АЛГОРИТМЫ -- КОМПЬЮТЕРЫ -- ИНФОРМАТИКА -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Аннотация: Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |