Пользователь

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

Регистрация или входРегистрация или вход
Потеряли пароль?Потеряли пароль?

Ник:
Пароль:

Меню сайта




Ваше мнение
Как вы узнали о нашем сайте?

От друга, знакомого
Из печатных источников
Из поисковой машины
По ссылке с другого сайта
Случайно
Не знаю


Результаты
Другие опросы

Всего голосов: 1031
Комментарии: 4


Наши партнеры



Статистика




Programming books  Download software  Documentation  Scripts  Content Managment Systems(CMS)  Templates  Icon Sets  Articles  Contacts  Voting  Site Search




Каталог файлов



А. Н. Колмогоров, А. Г. Драгалин - Математическая логика

Разместил: admin

Скачали: 343

Категория: Алгоритмы и функции

Размер файла: 1.77 MB

Версия: 1.0

E-Mail автора:

Домашняя страница: programmistu.info

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала акиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.

Нет комментариев. Почему бы Вам не оставить свой?
Вы не можете отправить комментарий анонимно, пожалуйста войдите или зарегистрируйтесь.
Внимание! Если у вас не получилось найти нужную информацию, используйте рубрикатор или воспользуйтесь поиском


.



Каталог файлов Алгоритмы и функции А Н Колмогоров А Г Драгалин Математическая логика Книга представляет собой вторую часть учебного пособия авторов & quot Введение математическую логику& 1982г но может изучаться самостоятельно Излагаются фундаментальные факты математической логики начала акиоматической теории множеств теория алгоритмов теорема полноте исчисления предикатов Геделя