Вид документа : Однотомное издание Шифр издания : 22.12я73 Автор(ы) : Игошин, Владимир Иванович Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для высш. учеб. заведений Выходные данные : Москва: Академия, 2004 Колич.характеристики :448 с Серия: Высшее профессиональное образование ISBN, Цена 5-7695-1363-2: 108 р. ББК : 22.12я73 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгоритмы--математическая логика--теория алгоритмов--учебные пособия для вузов Аннотация: Изложены основы теории, показаны направления проникновения логики в основании алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)