Шенфилд Дж. - Степени неразрешимости
Год выпуска: 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 дней) Спасибо за такие раздачи!!!очень полезная информация |