Книга Формальные системы - скачать бесплатно в pdf, Елена Вячеславовна Зайцева
bannerbanner
Формальные системы
Добавить В библиотеку
Оценить:

Рейтинг: 4

Поделиться
Купить и скачать

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

Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
На сайте электронной библиотеки Litportal вы можете скачать книгу Формальные системы в формате fb2.zip, txt, txt.zip, rtf.zip, a4.pdf, a6.pdf, mobi.prc, epub, ios.epub, fb3. У нас можно прочитать отзывы и рецензии о этом произведении.

Скачать книгу в форматах

Читать онлайн

Спасибо за оценку! Будем признательны, если Вы оставите комментарий о данном произведении.
Помогите, пожалуйста, другим читателям нашего сайта, оставьте отзыв или рецензию о прочитанной книге.

Похожие авторы