Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)

Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)

Глушков В.М. - Синтез цифровых автоматов

Гудстейн Р.Л. - Рекурсивный математический анализ

Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств

Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели

Ершов Ю.Л. - Теория нумераций

Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода

Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций

Кушнер Б.А. - Лекции по конструктивному математическому анализу

Матиясевич Ю.В. - Десятая проблема Гильберта (добавлено 03.01.2012)

Марков А.А., Нагорный Н.М. - Теория алгорифмов

Новиков П.С. - Конструктивная математическая логика с точки зрения классической

Новиков П.С. - Элементы математической логики

Расёва Е., Сикорский Р. - Математика метаматематики

Робинсон А. - Введение в теорию моделей и метаматематику алгебры

Смальян Р. - Теория формальных систем

Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез)

Успенский В.А. - Лекции о вычислимых функциях

Фейс Р. - Модальная логика

Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем

Шенфилд Дж. - Математическая логика

Шенфилд Дж. - Степени неразрешимости

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста

Торрент-файл обновлён 03.01.2012 в связи с добавлением в раздачу одного выпуска!

Обработано и опубликовано группой

Download

Скачать раздачу по magnet-ссылке · 107.8 MB

Для скачивания .torrent файлов необходима регистрация

Список книг, представленных в серии:

Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)

Год выпуска: 1982
Описание: Двухтомная монография Д. Гильберта и П.Бернайса " Основания математики " занимает уникальное место в мировой математической литературе. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П.Бернайса пользуется большой популярностью среди специалистов.
Том 1: Основания математики. Логические исчисления и формализация арифметики
Том 2: Основания математики. Теория доказательств
Количество страниц: 557+653

[свернуть]

Гудстейн Р.Л. - Рекурсивный математический анализ

Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ".
Количество страниц: 472

[свернуть]

Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств

Год выпуска: 1979
Формат: DjVu
Описание: В книге частично представлено содержание нескольких курсов по интуиционистской математике, которые автор читал в течение ряда лет на механико-математическом факультете МГУ.
Количество страниц: 128 - файл. Сканировано разворотами по 2 страницы.

[свернуть]

Фейс Р. - Модальная логика

Год выпуска: 1974
Формат: DjVu
Описание: Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности: того, что «должно быть», и того, что «может быть».
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий.
Количество страниц:

[свернуть]

Содержание

Том 1

Том 2

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Фейс Р. - Модальная логика

Год выпуска: 1974
Формат: DjVu
Описание: Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности: того, что «должно быть», и того, что «может быть».
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий.
Количество страниц:

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

[свернуть]

Содержание

Обсуждение раздачи

Gregory_89 Стаж: 7 лет Сообщений: 2	31-Июл-10 00:39 (спустя 4 месяца 29 дней)   B52, Вам нравится математика?
[Профиль] [ЛС]
B62 Стаж: 8 лет 1 месяц Сообщений: 4661	01-Авг-10 13:40 (спустя 1 день 13 часов, ред. 01-Авг-10 13:40)   Gregory_89 писал(а): B52, Вам нравится математика? Я математик по образованию. А в чём проблема?
[Профиль] [ЛС]
FlyingBack Стаж: 9 лет 6 месяцев Сообщений: 66	07-Авг-10 21:46 (спустя 6 дней)   Выдает ошибку: File name too long:
[Профиль] [ЛС]
boojuman Стаж: 8 лет 6 месяцев Сообщений: 9	09-Сен-10 14:27 (спустя 1 месяц 1 день)   zlacker писал(а): Выдает ошибку: File name too long: Почитайте здесь: http://rutracker.org/forum/viewtopic.php?t=2655530 Уважаемый B62, могли бы вы переупорядочить содержимое данной раздачи, в соответствии с рекомендациями в указанном выше обсуждении? Действительно присоединится к Вашей раздаче затруднительно. Спасибо.
[Профиль] [ЛС]
B62 Стаж: 8 лет 1 месяц Сообщений: 4661	11-Сен-10 16:56 (спустя 2 дня 2 часа)   boojuman писал(а): Уважаемый B62, могли бы вы переупорядочить содержимое данной раздачи, в соответствии с рекомендациями в указанном выше обсуждении? Действительно присоединится к Вашей раздаче затруднительно. Спасибо. Самое длинное название файла в раздаче содержит 153 символа (без расширения). Проблемы быть не должно...
[Профиль] [ЛС]
boojuman Стаж: 8 лет 6 месяцев Сообщений: 9	11-Сен-10 18:25 (спустя 1 час 28 мин.)   B62 писал(а): Самое длинное название файла в раздаче содержит 153 символа (без расширения). Проблемы быть не должно... Немного не так. Символов, да, -- 153. При кодировании имени файла в кодировке UTF-8, в основном используемой в *nix'ах, она займёт 281 байт, при ограничении в 255 байт. $ echo 'Клини С., Весли Р. - Основания интуционистской математики с точки зрения теории рекурсивных функций (Математическая логика и основания математики) - 1978.djvu' | wc -c 281
[Профиль] [ЛС]
paranoidaemon Стаж: 6 лет Сообщений: 36	08-Авг-11 23:49 (спустя 10 месяцев, ред. 10-Авг-11 04:54)   Нужна эта серия. Пожалуйста, сделайте что-то с названиями файлов. Можете транслитерировать названия или убрать что-нибудь из названий. См. коммент boojuman. Мужики, может раздать кто-нибудь с по-человечески названными файлами? Да xоть 1.pdf 2.pdf и т.д.
[Профиль] [ЛС]
mystir Стаж: 7 лет 3 месяца Сообщений: 6	01-Янв-12 17:44 (спустя 4 месяца 23 дня, ред. 01-Янв-12 17:44)   ещё из этой серии имеется в djvu: Донченко В.В.`Введение в теорию моделей и математическую логику`1967 Матиясевич Ю.В.`Десятая проблема Гильберта `1993
[Профиль] [ЛС]
B62 Стаж: 8 лет 1 месяц Сообщений: 4661	03-Янв-12 06:22 (спустя 1 день 12 часов)   mystir Будете смеяться, но Донченко В.В. - это редактор имеющейся в раздаче книги А.Робинсона Добавлена книга Матиясевича, названия файлов укорочены, торрент перезалит.
[Профиль] [ЛС]
Zincu Стаж: 5 лет Сообщений: 2	19-Май-12 20:09 (спустя 4 месяца 16 дней)   Большое спасибо!
[Профиль] [ЛС]
Reverendo Стаж: 5 лет 5 месяцев Сообщений: 11	24-Май-12 16:59 (спустя 4 дня)   Вот за это спасибо!!!
[Профиль] [ЛС]
viteknikond200 Стаж: 7 лет 10 месяцев Сообщений: 5	31-Май-12 21:07 (спустя 7 дней)   B62 писал(а): B62 Скажите пожалуста, можете посоветовать книгу по математике. А возможно это даже история математики, либо что то похожее. Я хотел бы книгу в которой описывались бы и объяснялись такие вещи. Что такое точка, от куда она взялась, почему ставят точку к примеру когда умножают, а когда делят то ставят 2 точки? От куда она вообще взялась? Что такое линия? Мои знания заканчиваются на арифметике. И я хотел бы немного больше узнать о математике.
[Профиль] [ЛС]
Toshap2 Стаж: 5 лет 3 месяца Сообщений: 86	11-Июн-12 19:58 (спустя 10 дней)   viteknikond200 писал(а): B62 писал(а): B62 Скажите пожалуста, можете посоветовать книгу по математике. А возможно это даже история математики, либо что то похожее. Я хотел бы книгу в которой описывались бы и объяснялись такие вещи. Что такое точка, от куда она взялась, почему ставят точку к примеру когда умножают, а когда делят то ставят 2 точки? От куда она вообще взялась? Что такое линия? Мои знания заканчиваются на арифметике. И я хотел бы немного больше узнать о математике. Про понятия "линия" и "кривые", в частности их отличие как между множеством и отображением, подробно излагает первая лекция из книги Постникова "Гладкие многообразия" серии "Лекции по геометрии". Там же и про всяческие точки. Но всё-таки, арифметику знать маловато, начала анализа было бы неплохо. http://rutracker.org/forum/viewtopic.php?t=2364130 А вот откуда взялись точки как знаки умножения и деления, чёрт его знает, что-то такое смутно припоминается, но где про это читал - неведомо. Отличная мысль: нада скачать всю мат.литературу и просмотреть:)
[Профиль] [ЛС]
cikada59 Стаж: 7 лет 7 месяцев Сообщений: 730	13-Июн-12 08:14 (спустя 1 день 12 часов, ред. 16-Июн-12 12:57)   viteknikond200 писал(а): ..., почему ставят точку к примеру когда умножают, а когда делят то ставят 2 точки? От куда она вообще взялась?... О происхождении математических знаков. В частности, знаки · и : для операций умножения и деления ввел в оборот Г. Лейбниц в 1698 и 1684 гг., соответственно.
[Профиль] [ЛС]
Toshap2 Стаж: 5 лет 3 месяца Сообщений: 86	13-Июн-12 22:58 (спустя 14 часов)   cikada59 О, спасибо, очень познавательно В IE на W7 тока виснет глухо
[Профиль] [ЛС]
E-S-K-D Стаж: 6 лет 6 месяцев Сообщений: 31	09-Июл-12 18:54 (спустя 25 дней, ред. 09-Июл-12 18:54)   B62 В спойлерах "Новиков П.С. - Конструктивная математическая логика с точки зрения классической" и "Новиков П.С. - Элементы математической логики" "содержания" одинаковы. Исправьте пожалуйста.
[Профиль] [ЛС]
Август 44-го Стаж: 2 года 7 месяцев Сообщений: 1	28-Ноя-14 01:20 (спустя 2 года 4 месяца, ред. 28-Ноя-14 01:20)   Шикарная подборка. Спасибо. Скачал 5000-м
[Профиль] [ЛС]
domoroshenyi_otaku Стаж: 4 года 2 месяца Сообщений: 3749	24-Дек-14 02:00 (спустя 26 дней)   И где была эта раздача когда здавал теорию автоматов! СПС.
[Профиль] [ЛС]
$aid Стаж: 7 лет 4 месяца Сообщений: 431	24-Дек-14 05:03 (спустя 3 часа)   domoroshenyi_otaku писал(а): И где была эта раздача когда здавал теорию автоматов! СПС. B62 писал(а): Торрент-файл обновлён 03.01.2012
[Профиль] [ЛС]
Timur85966 Стаж: 2 года 9 месяцев Сообщений: 3	18-Янв-15 22:04 (спустя 25 дней)   Спасибо за такие раздачи!!!очень полезная информация

Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)