!!Внимание!!
Для того чтобы лучше использовать наши ресурсы, нажав здесь , и стать одним из участников нашего проекта!
: : Разделы сайта : :
: : Популярное : :
: : Облако тегов : :
: : Немного рекламы : :

Обратная связьСвязь с администрацией

: : Цитата : :
Взятками не делятся, чтобы ты знал. Искусство давать взятку – весьма тонкое.
Месть Крысы из нержавеющей стали
© Гарри Гаррисон
: :События: :

Праздник или знаменательная дата отсутствует
: : Последние комментарии : :
Автор → Mpak
в новости → Когда она ушла
Автор → oybekt
в новости → Когда она ушла
Автор → Mpak
в новости → Когда она ушла
Автор → poffigistka
в новости → Искусство быть эгоистом


Все комментарии
: : Опрос сайта : :
: : Топ пользователей сайта: :
1. Ник: oybekt - Медалей: 8
2. Ник: Mpak - Медалей: 6
3. Ник: magway - Медалей: 2
4. Ник: poffigistka - Медалей: 1

1. Ник: oybekt - Очков: 915
2. Ник: Mpak - Очков: 215
3. Ник: magway - Очков: 25
4. Ник: poffigistka - Очков: 10

: : Популярное за весь период: :
Научно-популярное / Образование
11 ноября 2012
Автор: П.С.Новиков
Формат: djvu
Размер: 6,5 Мб
Язык: русский
Краткое описание: В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание. Последняя, шестая, глава носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги.
Научно-популярное / Образование
11 ноября 2012
Формат: djvu
Размер: 2,1 Мб
Язык: русский
Краткое описание: В книге дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования. Для математиков, в том числе аспирантов и студентов старших курсов.
Научно-популярное / Образование
11 ноября 2012
Автор: А.Робинсон
Формат: djvu
Размер: 3,2 Мб
Язык: русский
Краткое описание: Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления.