- Мы снова онлайн. Но сайт нуждается в поддержке.
- Вы можете поддержать нас криптовалютой ZEC: t1bkM72pLFRZyn5iPJkk2ccGv12Ly3CbyNY
Аннотация
Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов с углубленным изучением информатики и кибернетики.
Авторы: Успенский В.А. Верещагин Н.К. Плиско В.Е.
Категории: Математика
Формат: djvu
К сожалению, у нас нет описания данной книги. Если у вас есть, то вы можете помочь проекту. Напишите в коментариях ваше описание книги и мы его обязательно добавим на сайт.
Издательство:
ФИЗМАТЛИТ
Город:
Москва
Год издания:
2004
Прочитано страниц:
1812
Распознаных страниц:
589
Количество загрузок:
30
Размер файлов:
863 KBФайлы для скачивания доступны в течении 4х часов после создания ссылок.
Не закрывайте это окно до окончания скачивания, иначе вам прийдется заново делать запрос на файлы.
Получить ссылку на файлы
Warning! Нет данных для отображения
Warning! Вы не можете просматривать данную страницу
Облако тегов
Новинки сайта
Выполнено:
0.0826 секунд
Идея и разработка - Олег Гуняков
Техническая библиотека t-library.net
Основано на БукТориум 2.0. Все права на серверную часть принадлежат разработчику. Материалы размещаются на сайте либо по согласию правообладателей, либо открыто доступные в интернете. Если какие либо материалы нарушают ваши авторские права - напишите нам, и мы разберемся в этом.