Добро пожаловать!

Вход на сайт

» Материалы за 28.07.2018
Добро пожаловать на сайт Е-book книги. На сайте вы можете найти "Книги" и "Журналы" в электронном виде. На сайте есть как "Художественные" так и "Документальные" электронные книги в популярных форматах:fb2, txt, rtf, pdf, djvu.

Лекции по математической логике и теории алгоритмов. Белов Ю.А., Соколов В.А.

Автор: natagu Дата: 28-07-2018, 13:04 Категория: Книги по информатике, Книги по математике

Лекции по математической логике и теории алгоритмов. Белов Ю.А., Соколов В.А.

Существенные приложения теории алгоритмов к настоящему времени имеются фактически во всех областях математики, где встречаются алгоритмические проблемы. Для каждой теории формулируется проблема разрешения множества всех истинных или доказуемых предложений этой теории относительно множества всех ее предложений.
Формат: djvu
Размер: 10,74 Мб

Просмотров: 68 Отзывы: 0 Скачать..