Курс математической логики и теории вычислимости : учебное пособие скидка 20.00%
1400 ₽ 1750.00 ₽

ЦЕНА ИНТЕРНЕТ-МАГАЗИНА!

  • Наличие: мало
- +
Добавить в корзину В список желаний
Поделиться:

Курс математической логики и теории вычислимости : учебное пособие

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

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

  • Код товара:2422975
  • Вид товара:Книги
  • Целевое назначение:Учебники и учеб. пособ.д/ высшей школы(ВУЗы)
  • ISBN:978-5-8114-1666-0
  • Серия:Учебники для вузов. Специальная литерату
  • Издательство: Лань
  • Год издания:2014
  • Количество страниц:409
  • Формат:84х108/32
  • Переплет:в пер.

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

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

ждите...