Формальные системы

Год
2019
Библиотечный номер
3786
Авторы
Зайцева Е.В.
Предмет
Информатика и вычислительная техника
Специальность/направление
«Информатика и вычислительная техника»
Вид методического издания
Учебное пособие
Артикул
001799
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логикоматематических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника»
Формат А5
Переплет Мягкий
Аудитория Бакалавриат
Институт Институт информационных технологий и автоматизированных систем управления
Кафедра Кафедра автоматизированных систем управления
Издательство Издательский Дом НИТУ "МИСиС"
Библиотечн. номер 3786
ISBN 978-5-907226-02-9