Формальные системы/Зайцева, Е. В.

 

QR code of document

Ratings: 0

117366
Зайцева, Е. В.
    Формальные системы : учебное пособие / Зайцева Е. В. - Москва : Издательский Дом МИСиС, 2019. - 70 с. - ISBN 978-5-907226-02-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
004
ББК 32.97

Кл.слова (ненормированные):
информатика -- классическая логика -- формальные системы
Аннотация: Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».

Open link to player

Please authorize to view

Similar publications by classification

Обучение программированию: язык Pascal
Методы и модели экспертизы объектов интеллектуальной собственности в сети INTERNET/Ботуз, С. П.
Моделирование антенных устройств в Matlab с использованием пакета расширения Antenna Toolbox/Типикин, А. А.
Методы цифровой многопроцессорной обработки ансамблей радиосигналов/Литюк, В. И.
Методы оптимизации в прикладных задачах/Струченков, В. И.