Серия - Математическая логика и основания математики (24 выпуска) [1959-1993, DjVu, RUS] Обновлено 03.01.2012!

Статистика раздачи
Размер:  107.8 MB   |   Зарегистрирован:  6 лет 7 месяцев   |   .torrent скачан:  8,953 раза
Сиды:  7
Автор
Сообщение

B62

VIP (Заслуженный)

Стаж: 9 лет 3 месяца

Сообщений: 4658

flag

B62 · 01-Мар-10 22:59 (8 лет 5 месяцев назад, ред. 03-Янв-12 06:20)

 

Серия - Математическая логика и основания математики (23 выпуска)
Год выпуска: 1959-1993
Жанр: Монография
Издательство: М., Физматгиз, Наука
Формат: DjVu
Качество: Отсканированные страницы
Язык: Русский
В 1959 году Физматгиз (впоследствии - издательство ”Наука”) приступил к реализации беспрецедентного проекта по изданию серии ”Математическая логика и основания математики”. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты.
Список книг, представленных в серии:
Гильберт Д., Бернайс П. - Основания математики (в 2-х томах)
Год выпуска: 1982
Описание: Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д.Гильберта и П.Бернайса пользуется большой популярностью среди специалистов.
Том 1: Основания математики. Логические исчисления и формализация арифметики
Том 2: Основания математики. Теория доказательств
Количество страниц: 557+653
Содержание
Том 1

Том 2
Примеры страниц (кликабельно)
Том 1

Том 2
Глушков В.М. - Синтез цифровых автоматов
Год выпуска: 1962
Формат: DjVu
Описание: Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных вычислительных машин. Изложение построено таким образом, чтобы после изучения материала внимательный читатель мог самостоятельно синтезировать различные варианты логических схем больших универсальных электронных цифровых вычислительных машин, а также схем относительно небольших цифровых автоматов произвольного назначения с учетом простейших соображений надежности их работы.
Количество страниц: 476
Содержание
Примеры страниц (кликабельно)
Гудстейн Р.Л. - Рекурсивный математический анализ
Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ".
Количество страниц: 472
Содержание
Примеры страниц (кликабельно)
Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств
Год выпуска: 1979
Формат: DjVu
Описание: В книге частично представлено содержание нескольких курсов по интуиционистской математике, которые автор читал в течение ряда лет на механико-математическом факультете МГУ.
Количество страниц: 128 - файл. Сканировано разворотами по 2 страницы.
Содержание
Примеры страниц (кликабельно)
Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели
Год выпуска: 1980
Формат: DjVu
Описание: Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).
Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов.
Количество страниц: 416
Содержание
Примеры страниц (кликабельно)
Ершов Ю.Л. - Теория нумераций
Год выпуска: 1977
Описание: Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.
Количество страниц: 208 - файл, 416 - книга. Сканировано разворотами по 2 страницы.
Содержание
Примеры страниц (кликабельно)
Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода
Год выпуска: 1967
Описание: Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Количество страниц: 351
Содержание
Примеры страниц (кликабельно)
Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций
Год выпуска: 1978
Формат: DjVu
Описание: Предлагаемая монография, написанная С. К- Клини в сотрудничестве с Р.Ю.Весли, суммирует многолетние исследования старшего из авторов (С.К.Клини), посвященные основаниям и интерпретациям интуиционистской математики. В книге строится и изучается формализм, который можно рассматривать как расширение формальной интуиционистской арифметики, развитой в известной монографии Клини «Введение в метаматематику», и который позволяет изложить широкие разделы интуиционистского анализа, включая теорию последовательностей выбора и брауэровскую теорию континуума. Не заменяя живую интуиционистскую математику (и не претендуя на такую замену), формализация позволяет четко фиксировать сравнительно небольшое число исходных принципиальных концепций и тем самым даст возможность быстро войти в круг рассматриваемых вопросов математикам, не ориентирующимся в философии интуиционизма.
Количество страниц: 136 - файл. Сканировано разворотами по 2 страницы.
Содержание
Примеры страниц (кликабельно)
Кушнер Б.А. - Лекции по конструктивному математическому анализу
Год выпуска: 1973
Формат: DjVu
Описание: В основу настоящей книги положен специальный курс, читавшийся автором на механико-математическом факультете Московского университета. Излагаемый материал не предполагает почти никаких предварительных знаний и вполне доступен читателю, владеющему стандартным курсом математического анализа. Более подробная характеристика книги приведена в п. 9 введения.
Количество страниц: 448
Содержание
Примеры страниц (кликабельно)
Матиясевич Ю.В. - Десятая проблема Гильберта (добавлено 03.01.2012)
Год выпуска: 1993
Формат: DjVu
Описание: Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.
Количество страниц: 223.
Содержание
ГЛАВА 1. ОСНОВНЫЕ ПОНЯТИЯ . . 7
§1.1. Разрешимость диофантовых уравнений как массовая проблема 7
§ 1.2. Системы диофантовых уравнений 9
§ 1.3. Решения в натуральных числах 10
§ 1.4. Диофантовы множества 12
§ 1.5. Логическая терминология 14
§ 1.6. Простейшие примеры диофантовых множеств, свойств, отно-
отношений и функций 17
Упражнения 18
Комментарии 21
ГЛАВА 2. ДИОФАНТОВОСТЬ ВОЗВЕДЕНИЯ В СТЕПЕНЬ • • 22
§2.1. Специальные рекуррентные последовательности второго
порядка 22
§ 2.2. Диофантовость специальных рекуррентных последователь-
последовательностей (основные идеи) . 24
§ 2.3. Диофантовость специальных рекуррентных последователь-
последовательностей (доказательство) 27
§ 2.4. Диофантовость возведения в степень 31
§ 2.5. Экспоненциально диофантовы уравнения 32
Упражнения 34
Комментарии 36
ГЛАВА 3. ДИОФАНТОВО КОДИРОВАНИЕ 39
§3.1. Канторова нумерация 39
§ 3.2. Гёделево кодирование 40
§ 3.3. Позиционное кодирование 41
§ 3.4. Диофантовость биномиальных коэффициентов,' факториала и
простых чисел 43
§ 3.5. Сравнение кортежей 44
§ 3.6. Расширение функций на кортежи 46
Упражнения 48
Комментарии 49
ГЛАВА 4. УНИВЕРСАЛЬНЫЕ ДИОФАНТОВЫ УРАВНЕНИЯ 52
§ 4.1. Основные определения .52
§ 4.2. Кодировка уравнений . 54
§ 4.3. Кодировка потенциальных решений 56
§ 4.4. Вычисление значений полиномов 57
§ 4.5. Универсальные диофантовы уравнения 59
§ 4.6. Диофантовы множества с недиофантовыми дополнениями ... 60
Упражнения 61
Комментарии 63
ГЛАВА 5. АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ 10-Й ПРОБЛЕМЫ
ГИЛЬБЕРТА 65
§5.1. Машина Тьюринга 65
§ 5.2. Композиция машин 67
§ 5.3. Базисные машины : 69
§ 5.4. Распознавание диофантовых множеств машинами Тьюринга . . 76
§ 5.5. Диофантово моделирование машин Тьюринга 77
§ 5.6. Неразрешимость 10-й проблемы Гильберта на машинах
Тьюринга 83
§ 5.7. Тезис Черча 85
Упражнения 89
Комментарии 90
ГЛАВА 6. ОГРАНИЧЕННЫЕ КВАНТОРЫ ОБЩНОСТИ 94
§6.1. Первая конструкция: машины Тьюринга 94
§ 6.2. Вторая конструкция: геделево кодирование 95
§ 6.3. Третья конструкция: суммирование 99
§ 6.4. Связи между 8-й и 10-й проблемами Гильберта 106
§ 6. 5. Еще одно универсальное уравнение 111
§ 6.6. Ещё одно диофантово множество с недиофантовым до-
дополнением 113
Упражнения 114
Комментарии 115
ГЛАВА 7. МАССОВЫЕ ПРОБЛЕМЫ ТЕОРИИ ЧИСЕЛ 117
§ 7.1. Количество решений у диофантовых уравнений 117
§ 7.2. Неэффективизируемые оценки в теории экспоненциально
диофантовых уравнений 119
§ 7.3. Аналог 10-й проблемы Гильберта для гауссовых чисел . . 126
§ 7.4. Однородные уравнения и рациональные решения 133
Упражнения 136
Комментарии 137
ГЛАВА 8. ДИОФАНТОВА СЛОЖНОСТЬ ' 139
§ 8.1. Основные понятия 139
§ 8.2. Оценка количества неизвестных в экспоненциально дио-
фантовых представлениях 142
Упражнения 146
Комментарии 147
ГЛАВА 9. МАССОВЫЕ ПРОБЛЕМЫ МАТЕМАТИЧЕСКОГО АНАЛИЗА .... 150
§ 9.1. Диофантово вещественные числа 150
§ 9.2. Уравнения. неравенства и тождества с вещественными
переменными 153
§ 9.3. Системы обыкновенных дифференциальных уравнений ... 158
§ 9.4. Интегрируемость 160
Упражнения 162
Комментарии 162
ГЛАВА 10. ДРУГИЕ ПРИЛОЖЕНИЯ ДИОФАНТОВЫХ ПРЕДСТАВЛЕНИЙ. . . 164
§ 10.1. Диофантовы игры 164
§ 10.2. Обобщенные кони на многомерной шахматной доске ... 167
Упражнения 176
Комментарии 177
ПРИЛОЖЕНИЯ 180
1. Теорема о четырёх квадратах 180
2. Китайская теорема об остатках 181
3. Теорема Куммера 182
4. Суммирование обобщённой геометрической прогрессии .... 182
УКАЗАНИЯ К УПРАЖНЕНИЯМ 184
СПИСОК ЛИТЕРАТУРЫ 194
УКАЗАТЕЛЬ ОБОЗНАЧЕНИЙ 214
ПЕРЕДМЕТНЫЙ УКАЗАТЕЛЬ 216
ИМЕННОЙ УКАЗАТЕЛЬ 218
Примеры страниц (кликабельно)
Марков А.А., Нагорный Н.М. - Теория алгорифмов
Год выпуска: 1984
Формат: DjVu
Описание: В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории.
Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Количество страниц: 217 - файл, 432 - книга. Сканировано разворотами по 2 страницы.
Содержание
Примеры страниц (кликабельно)
Новиков П.С. - Конструктивная математическая логика с точки зрения классической
Год выпуска: 1977
Количество страниц: 328 - книга, 165 - файл. Сканировано разворотами по 2 страницы.
Описание: Настоящая книга написана на основе лекций, читавшихся автором во второй половине пятидесятых годов. В ней издагаются вопросы математической лигики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что её можно читать независимо от предудыщей. В частности, в ней подробно изгалается весь нужный по ходу дела материал, относящийся к классическим лоогическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной лигики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной
арифметики.
Язык: Русский
Содержание
Примеры страниц (кликабельно)
Новиков П.С. - Элементы математической логики
Год выпуска: 1973
Количество страниц: 400 - книга, 200 - файл. Сканировано разворотами по 2 страницы.
Описание: Настоящее издание (в раздаче - второе, исправленное издание) по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого
понятия с содержательной истинностью формул.
Содержание
Примеры страниц (кликабельно)
Расёва Е., Сикорский Р. - Математика метаматематики
Год выпуска: 1972
Количество страниц: 295 - файл, 591 - книга. Сканировано разворотами по 2 страницы.
Описание: Название этой книги —вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика— это теория, изучающая формализованные математические теории. Формализованная теория—это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам теории. (Из авторского предисловия)
Содержание
Примеры страниц (кликабельно)
Робинсон А. - Введение в теорию моделей и метаматематику алгебры
Год выпуска: 1967
Описание: В последние годы сильно ощущается отсутствие в советской литературе книг, содержащих основные методы и теоремы теории моделей и предназначенных для первоначального изучения. Этот пробел будет в некоторой степени заполнен предлагаемым советскому читателю переводом книги А. Робинсона, известного математика, внесшего существенный вклад в теорию моделей. А. Робинсону принадлежит теория идеалов, нестандартный анализ, метод модельной полноты и др. А. Робинсон является также страстным пропагандистом теории моделей и главой Иерусалимской школы. Книга А. Робинсона, возникшая из переработки трех его старых монографий ([1], [3], [9]), является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории. Из методов доказательства разрешимости теории, применявшихся в последние годы для решения конкретных задач и не изложенных в книге А. Робинсона, можно отметить метод перекидывания.
Количество страниц: 376
Содержание
Примеры страниц (кликабельно)
Смальян Р. - Теория формальных систем
Год выпуска: 1981
Формат: DjVu
Описание: В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма.
Количество страниц: 208
Содержание
Примеры страниц (кликабельно)
Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез)
Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга посвящена поведенческой (или, как говорят еще, абстрактной) теории автоматов, в которой поведение автомата изучается при максимальном отвлечении от его конструктивных особенностей. Соответственно под синтезом автомата подразумевается построение его программы (а не структурной схемы, как это имеет место в структурной теории автоматов).
Количество страниц: 200 - файл. Сканировано разворотами по 200 страниц.
Содержание
Примеры страниц (кликабельно)
Успенский В.А. - Лекции о вычислимых функциях
Год выпуска: 1960
Количество страниц: 491
Описание: Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая" функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории. (Из авторского предисловия)
Содержание
Примеры страниц (кликабельно)
Фейс Р. - Модальная логика
Год выпуска: 1974
Формат: DjVu
Описание: Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности: того, что «должно быть», и того, что «может быть».
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий.
Количество страниц:
Содержание
Примеры страниц (кликабельно)
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем
Год выпуска: 1983
Формат: DjVu
Описание: Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Количество страниц:
Содержание
Примеры страниц (кликабельно)
Шенфилд Дж. - Математическая логика
Год выпуска: 1975
Количество страниц: 527 - книга, 265 - файл. Сканировано разворотами по 2 страницы.
Описание: Книга известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств. Является одним из основных источников для изучения оснований математики.
Содержание
Примеры страниц (кликабельно)
Шенфилд Дж. - Степени неразрешимости
Год выпуска: 1977
Формат: DjVu
Описание: Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось.
Количество страниц: 192
Содержание
Примеры страниц (кликабельно)
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста
Год выпуска: 1966
Формат: DjVu
Описание: Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте.
Количество страниц: 120 - книга, 61 - файл. Сканировано разворотами по 2 страницы.
Содержание
Примеры страниц (кликабельно)

Торрент-файл обновлён 03.01.2012 в связи с добавлением в раздачу одного выпуска!
Обработано и опубликовано группой
Зарегистрирован:
  • 03-Янв-12 06:20
  • Скачан: 8,953 раза

Скачать .torrent

Скачать .torrent

21 KB

Тип: обычная
Статус: проверено
Размер: 107.8 MB  ·  magnetABC196E36A524233A9DD11A213C903B74B993ADE
  • Свернуть поддиректории
  • Развернуть
  • Переключить
  • Увел./умен. окно
загружается...

Gregory_89

Стаж: 8 лет 2 месяца

Сообщений: 2

flag

Gregory_89 · 31-Июл-10 00:39 (спустя 4 месяца 29 дней)

B52, Вам нравится математика?

B62

VIP (Заслуженный)

Стаж: 9 лет 3 месяца

Сообщений: 4658

flag

B62 · 01-Авг-10 13:40 (спустя 1 день 13 часов, ред. 01-Авг-10 13:40)

Gregory_89 писал(а):
B52, Вам нравится математика?
Я математик по образованию. А в чём проблема?

FlyingBack

Стаж: 10 лет 8 месяцев

Сообщений: 69

FlyingBack · 07-Авг-10 21:46 (спустя 6 дней)

Выдает ошибку:
File name too long:

boojuman

Стаж: 9 лет 8 месяцев

Сообщений: 9

boojuman · 09-Сен-10 14:27 (спустя 1 месяц 1 день)

zlacker писал(а):
Выдает ошибку:
File name too long:
Почитайте здесь:
http://SKYTRACKER.XYZ/viewtopic.php?t=2655530
Уважаемый B62, могли бы вы переупорядочить содержимое данной раздачи, в соответствии с рекомендациями в указанном выше обсуждении? Действительно присоединится к Вашей раздаче затруднительно.
Спасибо.
One man's constant is another man's variable.

B62

VIP (Заслуженный)

Стаж: 9 лет 3 месяца

Сообщений: 4658

flag

B62 · 11-Сен-10 16:56 (спустя 2 дня 2 часа)

boojuman писал(а):
Уважаемый B62, могли бы вы переупорядочить содержимое данной раздачи, в соответствии с рекомендациями в указанном выше обсуждении? Действительно присоединится к Вашей раздаче затруднительно.
Спасибо.
Самое длинное название файла в раздаче содержит 153 символа (без расширения). Проблемы быть не должно...

boojuman

Стаж: 9 лет 8 месяцев

Сообщений: 9

boojuman · 11-Сен-10 18:25 (спустя 1 час 28 мин.)

B62 писал(а):
Самое длинное название файла в раздаче содержит 153 символа (без расширения). Проблемы быть не должно...
Немного не так.
Символов, да, -- 153. При кодировании имени файла в кодировке UTF-8, в основном используемой в *nix'ах, она займёт 281 байт, при ограничении в 255 байт.
$ echo 'Клини С., Весли Р. - Основания интуционистской математики с точки зрения теории рекурсивных функций (Математическая логика и основания математики) - 1978.djvu' | wc -c
281
One man's constant is another man's variable.

paranoidaemon

Стаж: 7 лет 2 месяца

Сообщений: 36

flag

paranoidaemon · 08-Авг-11 23:49 (спустя 10 месяцев, ред. 10-Авг-11 04:54)

Нужна эта серия. Пожалуйста, сделайте что-то с названиями файлов. Можете транслитерировать названия или убрать что-нибудь из названий. См. коммент boojuman.
Мужики, может раздать кто-нибудь с по-человечески названными файлами?
Да xоть 1.pdf 2.pdf и т.д.

mystir

Стаж: 8 лет 5 месяцев

Сообщений: 6

flag

mystir · 01-Янв-12 17:44 (спустя 4 месяца 23 дня, ред. 01-Янв-12 17:44)

ещё из этой серии имеется в djvu:
Донченко В.В.`Введение в теорию моделей и математическую логику`1967
Матиясевич Ю.В.`Десятая проблема Гильберта`1993

B62

VIP (Заслуженный)

Стаж: 9 лет 3 месяца

Сообщений: 4658

flag

B62 · 03-Янв-12 06:22 (спустя 1 день 12 часов)

mystir
Будете смеяться, но Донченко В.В. - это редактор имеющейся в раздаче книги А.Робинсона
Добавлена книга Матиясевича, названия файлов укорочены, торрент перезалит.

Zincu

Стаж: 6 лет 2 месяца

Сообщений: 2


Zincu · 19-Май-12 20:09 (спустя 4 месяца 16 дней)

Большое спасибо!

Reverendo

Стаж: 6 лет 8 месяцев

Сообщений: 11

flag

Reverendo · 24-Май-12 16:59 (спустя 4 дня)

Вот за это спасибо!!!

viteknikond200

Стаж: 9 лет

Сообщений: 4

flag

viteknikond200 · 31-Май-12 21:07 (спустя 7 дней)

B62 писал(а):
B62
Скажите пожалуста, можете посоветовать книгу по математике. А возможно это даже история математики, либо что то похожее. Я хотел бы книгу в которой описывались бы и объяснялись такие вещи. Что такое точка, от куда она взялась, почему ставят точку к примеру когда умножают, а когда делят то ставят 2 точки? От куда она вообще взялась? Что такое линия? Мои знания заканчиваются на арифметике. И я хотел бы немного больше узнать о математике.

Toshap2

Стаж: 6 лет 6 месяцев

Сообщений: 86

flag

Toshap2 · 11-Июн-12 19:58 (спустя 10 дней)

viteknikond200 писал(а):
B62 писал(а):
B62
Скажите пожалуста, можете посоветовать книгу по математике. А возможно это даже история математики, либо что то похожее. Я хотел бы книгу в которой описывались бы и объяснялись такие вещи. Что такое точка, от куда она взялась, почему ставят точку к примеру когда умножают, а когда делят то ставят 2 точки? От куда она вообще взялась? Что такое линия? Мои знания заканчиваются на арифметике. И я хотел бы немного больше узнать о математике.
Про понятия "линия" и "кривые", в частности их отличие как между множеством и отображением, подробно излагает первая лекция из книги Постникова "Гладкие многообразия" серии "Лекции по геометрии". Там же и про всяческие точки. Но всё-таки, арифметику знать маловато, начала анализа было бы неплохо.
http://SKYTRACKER.XYZ/viewtopic.php?t=2364130
А вот откуда взялись точки как знаки умножения и деления, чёрт его знает, что-то такое смутно припоминается, но где про это читал - неведомо. Отличная мысль: нада скачать всю мат.литературу и просмотреть:)

cikada59

Стаж: 8 лет 9 месяцев

Сообщений: 882

flag

cikada59 · 13-Июн-12 08:14 (спустя 1 день 12 часов, ред. 16-Июн-12 12:57)

viteknikond200 писал(а):
..., почему ставят точку к примеру когда умножают, а когда делят то ставят 2 точки? От куда она вообще взялась?...
О происхождении математических знаков. В частности, знаки · и : для операций умножения и деления ввел в оборот Г. Лейбниц в 1698 и 1684 гг., соответственно.

Toshap2

Стаж: 6 лет 6 месяцев

Сообщений: 86

flag

Toshap2 · 13-Июн-12 22:58 (спустя 14 часов)

cikada59
О, спасибо, очень познавательно
В IE на W7 тока виснет глухо

E-S-K-D

Стаж: 7 лет 8 месяцев

Сообщений: 31

flag

E-S-K-D · 09-Июл-12 18:54 (спустя 25 дней, ред. 09-Июл-12 18:54)

B62
В спойлерах "Новиков П.С. - Конструктивная математическая логика с точки зрения классической" и "Новиков П.С. - Элементы математической логики" "содержания" одинаковы. Исправьте пожалуйста.

Август 44-го

Стаж: 3 года 10 месяцев

Сообщений: 1

flag

Август 44-го · 28-Ноя-14 01:20 (спустя 2 года 4 месяца, ред. 28-Ноя-14 01:20)

Шикарная подборка. Спасибо. Скачал 5000-м

domoroshenyi_otaku

Стаж: 5 лет 4 месяца

Сообщений: 4895

flag

domoroshenyi_otaku · 24-Дек-14 02:00 (спустя 26 дней)

И где была эта раздача когда здавал теорию автоматов! СПС.

$aid

Стаж: 8 лет 7 месяцев

Сообщений: 428

flag

$aid · 24-Дек-14 05:03 (спустя 3 часа)

domoroshenyi_otaku писал(а):
66285466И где была эта раздача когда здавал теорию автоматов! СПС.
B62 писал(а):
32791499Торрент-файл обновлён 03.01.2012

Timur85966

Стаж: 4 года

Сообщений: 3

flag

Timur85966 · 18-Янв-15 22:04 (спустя 25 дней)

Спасибо за такие раздачи!!!очень полезная информация

olgaeganova

Стаж: 6 лет 7 месяцев

Сообщений: 79

flag

olgaeganova · 17-Мар-18 02:15 (спустя 3 года 1 месяц)

Большая благодарность!

Sidewinderrr

Стаж: 3 года 2 месяца

Сообщений: 89

flag

Sidewinderrr · 15-Июл-18 01:35 (спустя 3 месяца 28 дней)

благодарочка
 
All rights reserved © 2017
Loading...
Error