Динамика сообщений пользователя alex_dorin

Распределение топиков и сообщений по подфорумам

Топики

Математика Помогите решить / разобраться (М) Мат. логика, основания математики, теория алгоритмов Вероятность, статистика Дискретная математика, комбинаторика, теория чисел Чулан Анализ-I Анализ-II Высшая алгебра Численные и вычислительные методы, оптимизация Геометрия Школьная алгебра Прочее Математика (общие вопросы) Дискуссионные темы (М) Великая теорема Ферма Пургаторий (М) Олимпиадные задачи (М) Интернет-ресурсы (М) Математический справочник Электронные книги Lost & found Создание электронных книг Тематические обсуждения Computer Science Околонаучный софт Программирование Software TeXнические обсуждения Hardware Компьютерные сети и Web-технологии Интернет-ресурсы (CS) Олимпиадные задачи (CS) Криптография и Защита Информации Физика Помогите решить / разобраться (Ф) Дискуссионные темы (Ф) Олимпиадные задачи (Ф) Интернет-ресурсы (Ф) Пургаторий (Ф) Астрономия Механика и Техника Химия Биология и Медицина Интернет-ресурсы (БиМ) Пургаторий (БиМ) Экономика и Финансовая математика Чулан Гуманитарный раздел Дискуссионные темы (Гум) Пургаторий (ГуМ) Междисциплинарный раздел Дискуссионные темы (Мд) Пургаторий (Мд) Вопросы преподавания Искусственный интеллект и Машинное обучение Флейм Свободный полёт Беседы на околонаучные темы Пургаторий (Св) Юмор, поздравления, сходки Загадки, головоломки, ребусы Печальное известие Тестирование Форум dxdy.ru Работа форума lib.mexmat.ru Работа сайта lib.mexmat.ru Рубрикатор

Сообщения

Математика Помогите решить / разобраться (М) Мат. логика, основания математики, теория алгоритмов Вероятность, статистика Чулан Дискретная математика, комбинаторика, теория чисел Анализ-I Анализ-II Высшая алгебра Численные и вычислительные методы, оптимизация Геометрия Школьная алгебра Прочее Математика (общие вопросы) Дискуссионные темы (М) Великая теорема Ферма Пургаторий (М) Олимпиадные задачи (М) Интернет-ресурсы (М) Математический справочник Флейм Свободный полёт Беседы на околонаучные темы Пургаторий (Св) Юмор, поздравления, сходки Загадки, головоломки, ребусы Печальное известие Тестирование Тематические обсуждения Computer Science Околонаучный софт Программирование Software TeXнические обсуждения Hardware Компьютерные сети и Web-технологии Интернет-ресурсы (CS) Олимпиадные задачи (CS) Криптография и Защита Информации Физика Помогите решить / разобраться (Ф) Дискуссионные темы (Ф) Олимпиадные задачи (Ф) Интернет-ресурсы (Ф) Пургаторий (Ф) Астрономия Механика и Техника Химия Биология и Медицина Интернет-ресурсы (БиМ) Пургаторий (БиМ) Экономика и Финансовая математика Чулан Гуманитарный раздел Дискуссионные темы (Гум) Пургаторий (ГуМ) Междисциплинарный раздел Дискуссионные темы (Мд) Пургаторий (Мд) Вопросы преподавания Искусственный интеллект и Машинное обучение Электронные книги Lost & found Создание электронных книг Форум dxdy.ru Работа форума lib.mexmat.ru Работа сайта lib.mexmat.ru Рубрикатор

Топики пользователя

 Почему И В Сталин - преступник, а Хирохи́то, имп. Сёва - нетПургаторий (Св)08.03.2018 08:161315,3809.03.2018 10:28Anton_Peplov
 Теорема об интерполяции Крейга, пример в логике 1 порядкаПомогите решить / разобраться (М)03.01.2018 12:28366,6707.01.2018 23:54alex_dorin
 Гроссуан Ярослава Сергеева - это что ?Дискуссионные темы (М)02.12.2017 11:36250,0002.12.2017 11:47worm2
 О гипотезе близнецовПомогите решить / разобраться (М)24.05.2017 11:47742,8624.05.2017 12:29atlakatl
 Что это за "формула беспредела" ?
[1], [2]
Свободный полёт14.04.2017 22:132010,0022.04.2017 23:23ewert
 Об аксиоме подстановки в ZF(C)
[1], [2]
Помогите решить / разобраться (М)11.02.2017 13:391947,3711.02.2017 20:12arseniiv
 О выразимости предиката для суммы натуральных чиселПомогите решить / разобраться (М)12.12.2016 17:411520,0013.12.2016 11:06knizhnik
 Об аксиоме подстановки в ZF(C)Помогите решить / разобраться (М)05.09.2016 11:59728,5715.09.2016 16:44gefest_md
 Solomon FefermanСвободный полёт30.07.2016 19:05250,0003.08.2016 23:07Dan B-Yallay
 Конвертор из формата TPTP в SMTComputer Science15.07.2016 10:20366,6717.07.2016 10:09alex_dorin
 О добавлении новой аксиомы в ZFC без аксиомы пустого множестhttps://dxdy.ru/chulan-m-f75.html13.06.2016 09:41650,0013.06.2016 20:38arseniiv
 Ищу статью Манина "О проблеме континуума".Lost & found22.03.2016 16:22250,0022.03.2016 16:25photon
 Каково мнение о надежности программы для сообщений telegram?Свободный полёт09.03.2016 14:17560,0011.03.2016 17:23alex_dorin
 Mlton использует ли x64 адресацию памяти ?Околонаучный софт22.02.2016 21:50250,0022.02.2016 23:44arseniiv
 Бесконечно ли множество простых чисел-близнецов в форм. арифhttps://dxdy.ru/chulan-m-f75.html10.02.2016 09:41250,0010.02.2016 13:36stedent076
 Формальная арифметика по Бурбакиhttps://dxdy.ru/chulan-m-f75.html18.01.2016 21:27250,0018.01.2016 22:10arseniiv
 О единственности множества целых чиселhttps://dxdy.ru/chulan-m-f75.html24.12.2015 22:26933,3325.12.2015 11:05Someone
 О пустом множестве как элементе множестваhttps://dxdy.ru/chulan-m-f75.html21.12.2015 17:111428,5721.12.2015 23:55alex_dorin
 О первом бесконечном множествеhttps://dxdy.ru/chulan-m-f75.html24.11.2015 14:41250,0024.11.2015 15:34Xaositect
 ищу статью John von Neumann An Axiomatization of Set TheoryLost & found18.11.2015 11:34250,0020.11.2015 12:56Xaositect

Цитирование

Кого цитирует пользователь

ПользовательСтатус
arseniivЗаслуженный участник3
alex_dorin 2
MuninЗаслуженный участник2
eprosЗаслуженный участник2
Профессор СнэйпЗаморожен1
whitefoxЗаслуженный участник1
XaositectЗаслуженный участник1
Anton_PeplovЗаслуженный участник1
mihaildЗаслуженный участник1
SomeoneЗаслуженный участник1
Eimrine 1
DeggialСупермодератор1
NemiroffЗаслуженный участник1

Кто цитирует пользователя

ПользовательСтатус
arseniivЗаслуженный участник14
DeggialСупермодератор12
SomeoneЗаслуженный участник11
AGuЗаслуженный участник11
XaositectЗаслуженный участник6
Sonic86Заслуженный участник5
eprosЗаслуженный участник3
NemiroffЗаслуженный участник2
gefest_md 2
Red_HerringЗаслуженный участник2
Anton_PeplovЗаслуженный участник2
grizzlyЗаслуженный участник2
--mS--Заслуженный участник2
whitefoxЗаслуженный участник1
BrukvalubЗаслуженный участник1
Magazanik 1
alex_dorin 1
patzer2097Заслуженный участник1
realeugene 1
PETIKANTROP 1

Сообщения пользователя

ID
114099230.07.20161 5821 58200Solomon FefermanСвободный полёт
121291028.04.20171 0361 03600ЕвтушенкоПечальное известие
121281627.04.201781481400Оказывается, нет!Свободный полёт
98014419.02.20157517511200Конечные множества, ZFhttps://dxdy.ru/chulan-m-f75.html
74183630.06.2013660660940Как несколько секвенций объединить в однуhttps://dxdy.ru/chulan-m-f75.html
87164104.06.201462162100Конечные множества, ZFhttps://dxdy.ru/chulan-m-f75.html
97539508.02.201557157100О множестве непересекающихся множеств в ZF(C)https://dxdy.ru/chulan-m-f75.html
101936925.05.201554714750Теорема Кантора о мощностях и аксиома выбораhttps://dxdy.ru/chulan-m-f75.html
74032425.06.2013541541830Как несколько секвенций объединить в однуhttps://dxdy.ru/chulan-m-f75.html
119180711.02.201752452400Об аксиоме подстановки в ZF(C)Помогите решить / разобраться (М)
101928725.05.201551551500Теорема Кантора о мощностях и аксиома выбораhttps://dxdy.ru/chulan-m-f75.html
87094702.06.201450026800Конечные множества, ZFhttps://dxdy.ru/chulan-m-f75.html
53615607.02.201250030000теорема Цермело - какие акиомы ZF нужны для ее док-ва ?Мат. логика, основания математики, теория алгоритмов
104057726.07.201549849800Аксиома бесконечности ZFChttps://dxdy.ru/chulan-m-f75.html
117651513.12.201648648600О выразимости предиката для суммы натуральных чиселПомогите решить / разобраться (М)
87000031.05.201448427400Конечные множества, ZFhttps://dxdy.ru/chulan-m-f75.html
102728815.06.201548048000О существовании множества бесконечного по Дедекиндуhttps://dxdy.ru/chulan-m-f75.html
97700311.02.201547647600О множестве непересекающихся множеств в ZF(C)https://dxdy.ru/chulan-m-f75.html
87093002.06.201445945900Конечные множества, ZFhttps://dxdy.ru/chulan-m-f75.html
80814331.12.201345445400Выводимы ли в ZF аксиомы Пеано ?Мат. логика, основания математики, теория алгоритмов