Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для высш. учеб. заведений / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 108 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- математическая логика -- теория алгоритмов -- учебные пособия для вузов Аннотация: Изложены основы теории, показаны направления проникновения логики в основании алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |