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

Год выпуска: 1977
Формат: DjVu
Описание: Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось.
Количество страниц: 192

Содержание

[свернуть]

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

Год выпуска: 1966
Формат: DjVu
Описание: Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте.
Количество страниц: 120 - книга, 61 - файл. Сканировано разворотами по 2 страницы.

Содержание

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

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 дней)   Спасибо за такие раздачи!!!очень полезная информация