Формальные системы (Е. В. Зайцева); МИСиС
Где купить (1)
Цена от 299 р. до 299 р. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
Описание
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Е. В. Зайцева |
| Издатель | МИСиС |
| ISBN | 978-5-907226-02-9 |
| Форматы электронной версии |
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Похожие товары
Китайский язык. 6 класс. Рабочая тетрадь
от 312 р.
Биология. 7 класс. Рабочая тетрадь №1
от 219 р.
Биология. 6 класс. Рабочая тетрадь №2.
от 199 р.