• Мы снова онлайн. Но сайт нуждается в поддержке.
  • Вы можете поддержать нас криптовалютой ZEC: t1bkM72pLFRZyn5iPJkk2ccGv12Ly3CbyNY

Вводный курс математической логики.

Аннотация

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

Авторы:   Успенский В.А.  Верещагин Н.К.  Плиско В.Е.

Категории:   Математика

Формат: djvu


К сожалению, у нас нет описания данной книги. Если у вас есть, то вы можете помочь проекту. Напишите в коментариях ваше описание книги и мы его обязательно добавим на сайт.

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

ФИЗМАТЛИТ

Город:

Москва

Год издания:

2004

Прочитано страниц:

1449

Распознаных страниц:

589

Количество загрузок:

29

Размер файлов:

863 KB

Файлы для скачивания доступны в течении 4х часов после создания ссылок.

Не закрывайте это окно до окончания скачивания, иначе вам прийдется заново делать запрос на файлы.

 

 

 

 

 

Получить ссылку на файлы

Отзывы
    Warning! Нет данных для отображения
Написать собственный отзыв
Warning! Вы не можете просматривать данную страницу

Новинки сайта

Выполнено:

0.0695 секунд

Идея и разработка - Олег Гуняков

Яндекс.Метрика

Техническая библиотека t-library.net

Основано на БукТориум 2.0. Все права на серверную часть принадлежат разработчику. Материалы размещаются на сайте либо по согласию правообладателей, либо открыто доступные в интернете. Если какие либо материалы нарушают ваши авторские права - напишите нам, и мы разберемся в этом.

Быстрые ссылки