Математическая логикаPDF

0
Отзывы
Как читать книгу после покупки
  • Скачать:
  • PDF
Описание книги

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.

Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.

Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.

Подробная информация
  • Возрастное ограничение: 0+
  • Дата выхода на ЛитРес: 03 февраля 2020
  • Дата написания: 2020
  • Объем: 229 стр.
  • ISBN: 978-5-907244-03-0
  • Общий размер: 3 MB
  • Общее кол-во страниц: 229
  • Размер страницы: 140 x 200 мм
  • Правообладатель: Прометей
Книга В. Л. Матросова «Математическая логика» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Оставить отзыв
Напишите отзыв
Получите 100 бонусных рублей
на ваш счет в ЛитРес.
Напишите содержательный отзыв
длиной от 120 знаков
Купите 3 книги одновременно и выберите четвёртую в подарок!

Чтобы воспользоваться акцией, добавьте нужные книги в корзину. Сделать это можно на странице каждой книги, либо в общем списке:

  1. Нажмите на многоточие
    рядом с книгой
  2. Выберите пункт
    «Добавить в корзину»