Детская образовательная литература

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

Name: Формальные системы
Author: Елена Вячеславовна Зайцева

Елена Вячеславовна Зайцева

Жанр — Детская образовательная литература; язык — Русский; формат — pdf.

Читать полностью на ЛитРес → Читать ознакомительный фрагмент

Переход ведёт на сайт партнёра. Ссылка является партнёрской, цена для читателя не меняется.

О книге

Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач.

Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».

Продолжить выбор