Математическая логика и теория алгоритмов
 |
|
Описание:
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (В.И.Игошин "Задачи и упражнения по математической логике и теории алгоритмов"). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика".Похожие книги
 | Логика Автор: В. Ф. Асмус Год: 2010 |
 | Нестандартные задачи по математике. Задачи с целыми числами Автор: Галкин Е.В. Год: 2005 |
 | Поурочное планирование учебного материала: Растения, Бактерии. Грибы. Лишайники (под общ.ред. Ребровой Л.В.) Автор: Калинова Г.С., Мягкова А.А., Аверина Л.М. Год: 2004 |
 | Опыт исследования значения логики Автор: Ш. Серрюс Год: 2002 |
 | Математика и логика Автор: А. Пуанкаре, Л. Кутюра Год: 2010 |
 | Апология математики Автор: Владимир Успенский Год: 2011 |