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