Еще
Логотип LiveLibЛента

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
С. В. Судоплатов, Е. В. Овчинникова - Математическая логика и теория алгоритмов
18+
User AvatarВаша оценка
5
(2)

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

С. В. Судоплатов, Е. В. Овчинникова
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов,

Жанры

Издательство:

Инфра-М

Серия:

Высшее образование (Инфра-М)

ISBN:

978-5-16-001975-8, 978-5-7782-0458-4

Год издания:

2008

Язык:

Русский

Возрастные ограничения:

18+

Рейтинг LiveLib

5,0
2 оценки
  • 5
    100%
  • 4
    0%
  • 3
    0%
  • 2
    0%
  • 1
    0%
User AvatarВаша оценка
Прочитали 3Хотят прочитать 6

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки

Другие издания

  • Математическая логика и теория алгоритмов