Категории

Конспект лекций О.Б. Лупанова по курсу "Введение в математическую логику"

  • Переплет: твердый
  • Страниц: 328
  • Формат: 22.3x14.9x2 см
  • Вес: 500 г
  • ISBN: 978-5-19-011840-7
  • Серия: Классический университетский учебник

  • Редактор: Угольников А.Б.
  • Бумага: офсетная
  • Год издания: 2023
  • Язык издания: русский
  • Возрастные ограничения: 16+

44362348

Наличие: ОТПРАВКА В ТЕЧЕНИЕ 9-13 РАБОЧИХ ДНЕЙ

992 Kč

Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.