НГУ

Форумы НГУ
Текущее время: Ср фев 21, 2018 4:26 am

Часовой пояс: UTC + 7 часов




Начать новую тему  [ Тем: 6189 ]  На страницу 1, 2, 3, 4, 5 ... 124  След.
 Темы   Автор   Ответы   Просмотры   Последнее сообщение 
Нет непрочитанных сообщений Проблемы теории вычислимости

slb

5

11890

Ср янв 30, 2008 11:42 am

Коба Перейти к последнему сообщению

Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. ПРАВИЛА ФОРУМА

slb

0

5601

Сб фев 04, 2006 11:00 pm

slb Перейти к последнему сообщению

Нет непрочитанных сообщений Разрежьте квадрат на 6 треугольников, среди которых есть...

Xenia1996

2

583

Ср мар 29, 2017 3:25 am

Xenia1996 Перейти к последнему сообщению

Нет непрочитанных сообщений Страничка по мат.логике в НГУ

Pavel E. Alaev

1

421

Сб фев 11, 2017 6:26 pm

Kadetov Перейти к последнему сообщению

Нет непрочитанных сообщений Чётные - слева, тройки - справа

Xenia1996

0

238

Пн янв 23, 2017 3:36 pm

Xenia1996 Перейти к последнему сообщению

Нет непрочитанных сообщений Сумма - нулевая, а произведение?

Xenia1996

0

252

Вт янв 17, 2017 3:09 pm

Xenia1996 Перейти к последнему сообщению

Нет непрочитанных сообщений Минусы и плюсы в квадрате

Xenia1996

0

219

Пн янв 16, 2017 6:00 am

Xenia1996 Перейти к последнему сообщению

Нет непрочитанных сообщений Вопрос про логики

Arastun

0

346

Пн сен 12, 2016 5:23 pm

Arastun Перейти к последнему сообщению

Нет непрочитанных сообщений Помогите подобрать логические задачи для ребенка

terrazn

0

393

Чт июл 07, 2016 9:04 pm

terrazn Перейти к последнему сообщению

Нет непрочитанных сообщений Найти мощность множества

Deluna

8

16211

Вт апр 07, 2015 7:52 pm

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений Может ли быть континуум-гипотеза независимой от ZFC?

o. s.

4

2044

Пн мар 09, 2015 2:41 pm

alex_dorin Перейти к последнему сообщению

Нет непрочитанных сообщений О функциональных символах - общий подход для элимин. фун.cим

alex_dorin

0

541

Сб мар 07, 2015 11:40 pm

alex_dorin Перейти к последнему сообщению

Нет непрочитанных сообщений О конечных множествах

alex_dorin

3

1028

Пт фев 20, 2015 7:12 pm

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений Вложения Помогите, кто разбирается.

ya11

0

709

Ср янв 14, 2015 11:47 pm

ya11 Перейти к последнему сообщению

Нет непрочитанных сообщений элиминация кванторов и сколемизация -- это одно и то же ?

alex_dorin

4

3349

Пн ноя 10, 2014 7:53 pm

Muhsan12 Перейти к последнему сообщению

Нет непрочитанных сообщений Solving equitations by factoring

Slava_bangkok

3

1621

Сб окт 11, 2014 2:19 am

Kadetov Перейти к последнему сообщению

Нет непрочитанных сообщений Прогр реал преобр формата TPTP или DFG в пренексную форму

alex_dorin

0

598

Пн окт 06, 2014 3:40 pm

alex_dorin Перейти к последнему сообщению

Нет непрочитанных сообщений Разрешение парадокса Зенона из Элеи "Дихотомия"

Пётр Карлов

0

899

Вт авг 26, 2014 4:17 pm

Пётр Карлов Перейти к последнему сообщению

Нет непрочитанных сообщений виртуальность(матрица)

Изучающий

2

2147

Вт июл 22, 2014 9:01 pm

Изучающий Перейти к последнему сообщению

Нет непрочитанных сообщений алглоритм получения декартова произведения n множеств

alex_dorin

3

2880

Ср апр 30, 2014 10:26 pm

clever222 Перейти к последнему сообщению

Нет непрочитанных сообщений Булевозначный анализ и гипотеза континуума (спецкурс)

[ На страницуНа страницу: 1, 2, 3, 4 ]

AGu

50

16126

Пн апр 28, 2014 6:04 pm

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений GPS – универсальный решатель задач. Логические аге

dima_nau

0

940

Пт мар 21, 2014 1:12 am

dima_nau Перейти к последнему сообщению

Нет непрочитанных сообщений Алгоритмы Маркова.Не знаю с чего начать

Marinka

0

933

Чт мар 20, 2014 1:38 pm

Marinka Перейти к последнему сообщению

Нет непрочитанных сообщений Вложения Понятие аргументации. Структура аргументации

wrathebe

0

1328

Чт янв 16, 2014 4:00 am

wrathebe Перейти к последнему сообщению

Нет непрочитанных сообщений Доказательство, что 1 не равна 0?

skl

1

1373

Пн янв 13, 2014 10:16 pm

Pavel E. Alaev Перейти к последнему сообщению

Нет непрочитанных сообщений Выводимы ли в ZF аксиомы Пеано ?

alex_dorin

3

1737

Вт дек 31, 2013 6:55 pm

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений о сравнении мощностей очень простых множеств в ZF

alex_dorin

1

1278

Чт ноя 21, 2013 8:28 pm

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений Логика. Логический анализ коммуникативного акта.

Alinochkha

1

1731

Пт окт 04, 2013 3:46 pm

bolbot Перейти к последнему сообщению

Нет непрочитанных сообщений Помогите понять содержательный смысл управляемых подстановок

alex_dorin

0

1294

Вт сен 17, 2013 2:33 pm

alex_dorin Перейти к последнему сообщению

Нет непрочитанных сообщений Спецсеминар "Теория вычислимости"

[ На страницуНа страницу: 1 ... 5, 6, 7 ]

slb

98

61442

Вс апр 21, 2013 3:19 pm

N. Bazhenov Перейти к последнему сообщению

Нет непрочитанных сообщений Студенческие соревнования по проектированию в MATLAB и Simul

Matlab

0

1313

Сб мар 23, 2013 6:43 pm

Matlab Перейти к последнему сообщению

Нет непрочитанных сообщений Поиск доказ в первопорядковой логике в генценовских системах

alex_dorin

1

1821

Пт фев 15, 2013 2:55 pm

alex_dorin Перейти к последнему сообщению

Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. Доказать, что около Каспийского моря можно описать квадрат

Xenia1996

1

1810

Вс дек 02, 2012 12:33 pm

slb Перейти к последнему сообщению

Нет непрочитанных сообщений Бесконечное множество попарно взаимно простых

Xenia1996

1

1641

Чт ноя 29, 2012 2:44 pm

Xenia1996 Перейти к последнему сообщению

Нет непрочитанных сообщений Олимпиадная задача, которую я придумала

Xenia1996

3

2217

Пн ноя 26, 2012 10:28 pm

Sin-liki-unninni Перейти к последнему сообщению

Нет непрочитанных сообщений Логический спор - помогите определить кто прав?

volesa

3

2391

Сб ноя 24, 2012 2:43 am

Xenia1996 Перейти к последнему сообщению

Нет непрочитанных сообщений Учебная литература

analitik777

0

1472

Ср ноя 14, 2012 11:11 pm

analitik777 Перейти к последнему сообщению

Нет непрочитанных сообщений Насчет закона де Моргана

Изучающий

3

2777

Сб окт 27, 2012 12:11 am

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений Разница между синтезом, дедукцией и силлогизмом

leviaphan

4

3741

Сб авг 18, 2012 5:40 pm

mac_alleb Перейти к последнему сообщению

Нет непрочитанных сообщений случайные числа, генерируемые людьми

Cagnaccio

6

4861

Ср май 30, 2012 1:06 pm

Коба Перейти к последнему сообщению

Нет непрочитанных сообщений Вакансия

Sibnia

0

1499

Ср май 16, 2012 3:00 pm

Sibnia Перейти к последнему сообщению

Нет непрочитанных сообщений Спецкурс "Теория нумераций"

Коба

13

6419

Вт май 15, 2012 1:41 pm

Коба Перейти к последнему сообщению

Нет непрочитанных сообщений Метод резолюций и предваренная нормальная форма

alex_dorin

0

1728

Пн фев 27, 2012 6:25 pm

alex_dorin Перейти к последнему сообщению

Нет непрочитанных сообщений Теорема Лёвенгейма - Сколема для NBG

alex_dorin

2

2746

Вс янв 08, 2012 8:51 am

.esp. Перейти к последнему сообщению

Нет непрочитанных сообщений Симпатичная задача про вп и впм множества.

Коба

0

1808

Сб дек 24, 2011 4:54 am

Коба Перейти к последнему сообщению

Нет непрочитанных сообщений Разрешима ли эта задача (про перезапись слов)?

AGu

0

1598

Вс дек 11, 2011 10:09 pm

AGu Перейти к последнему сообщению

Нет непрочитанных сообщений Выступление Максима Алексеева в НГУ

Коба

0

1975

Сб ноя 12, 2011 11:20 pm

Коба Перейти к последнему сообщению

Нет непрочитанных сообщений последовательность Морса-Туэ

Евген

0

1774

Ср ноя 02, 2011 7:51 pm

Евген Перейти к последнему сообщению

Нет непрочитанных сообщений О некоторых алгебрах возникающих в теории множеств

ЯКИМ

3

2917

Пт окт 28, 2011 10:34 pm

Коба Перейти к последнему сообщению

Нет непрочитанных сообщений Простая задача

tonks

3

3080

Пт окт 28, 2011 8:42 pm

Коба Перейти к последнему сообщению

Показать темы за:  Поле сортировки  
Начать новую тему  [ Тем: 6189 ]  На страницу 1, 2, 3, 4, 5 ... 124  След.

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Непрочитанные сообщения Непрочитанные сообщения    Нет непрочитанных сообщений Нет непрочитанных сообщений    Объявление Объявление
Непрочитанные сообщения [ Популярная тема ] Непрочитанные сообщения [ Популярная тема ]    Нет непрочитанных сообщений [ Популярная тема ] Нет непрочитанных сообщений [ Популярная тема ]    Прилепленная Прилепленная
Непрочитанные сообщения [ Тема закрыта ] Непрочитанные сообщения [ Тема закрыта ]    Нет непрочитанных сообщений [ Тема закрыта ] Нет непрочитанных сообщений [ Тема закрыта ]    Перенесённая Перенесённая
Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB