Математическая логика и теория алгоритмов: учебное пособие

Математическая логика и теория алгоритмов: учебное пособие

Bibliographische Detailangaben
1. Verfasser: Игошин В. И. Владимир Иванович
Zusammenfassung:Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов. — М.: Изд. центр «Академия», 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики».
Sprache:Russisch
Veröffentlicht: Москва, Academia, 2004
Schriftenreihe:Высшее профессиональное образование. Педагогические специальности
Schlagworte:
Математическая логика
Алгоритмы, теория
теория
алгебра
высказывания
формулы
логическое следование
булевы функции
множества
отношения
функции
ЭВМ
релейно-контактные схемы
формализованное исчисление
предикаты
логические операции
кванторные операции
неформальные аксиоматические теории
формальные аксиоматические теории
машины Тьюринга
рекурсивные функции
алгоритмы Маркова
теорема Геделя
компьютеры
информатика
искусственный интеллект
программное обеспечение
учебные пособия
Format: Buch
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=96259

Ähnliche Einträge

Ähnliche Einträge