Книга Формальные системы
- Жанр: Школьные учебники по экологии, Учебно-методические пособия
- ISBN: 978-5-907226-02-9
- Издательство: МИСиС
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Рекомендуем посмотреть
Логопедические занятия по развитию связной речи младших школьников. Часть 1. Устная связная речь. Лексика
История русской журналистики (1703-1917). Учебно-методический комплект: учебное пособие, хрестоматия, темы курсовых работ
Профилактика наркомании у подростков
Грамматика английского языка. Учебно-методическое пособие
Валеология. Учебный практикум
Как найти свой путь к иностранным языкам. Лингвистические и психологические стратегии полиглотов. Учебно-методическое пособие
Здоровое поколение. Программа уроков здоровья и нравственности для учащихся 1–11 классов средней общеобразовательной школы
Русская разговорная речь. Лингвистический анализ и проблемы обучения