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