Математическая логика : курс лекций и практических занятий
Поделиться:

Математическая логика : курс лекций и практических занятий

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

Полная информация о книге

  • Код товара:2433942
  • Вид товара:Книги
  • Целевое назначение:Учебники и учеб. пособ.д/ высшей школы(ВУЗы)
  • ISBN:978-5-9775-3806-0
  • Серия:Учебное пособие
  • Издательство: БХВ-Петербург
  • Год издания:2017
  • Количество страниц:410
  • Формат:70х100/16
  • Переплет:обл.

Описание товара

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

ждите...