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