0

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

Зайцева Е. В. , Гурова Л. М.

Серия Высшее горное образование

(0)
Порекомендовать в соцсетях

В наличии
Аннотация
Изложен материал основного курса "Математическая логика и теория алгоритмов", читаемого на факультете "Автоматизации и информатики (АИ)" МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 "Информатика и вычислительная техника", специальности 220200 "Автоматизированные системы обработки информации и управления".
Оглавление
Нет ни одного отзыва
Нет ни одного отзыва