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

Оценить книгу
0,0
0
0
Отзывы
Отметить прочитанной
229страниц
2020год издания
PDFформат
Описание книги

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

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

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

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

Чтобы воспользоваться акцией, добавьте 3 книги в корзину:

1.2.