tekstPDFObjętość 70 stron
Формальные системы
12,34 zł
O książce
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач.
Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Gatunki i tagi
Zostaw recenzję
Zaloguj się, aby ocenić książkę i zostawić recenzję
Książka Е. В. Зайцевой «Формальные системы» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.
