|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8508 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Упорядоченные пары по Куратовскому и Винеру и пустое множ.
|
olenellus |
8 |
2391 |
03.07.2011, 05:48
olenellus
|
|
Общепринятое знание
|
Gortaur |
13 |
2651 |
27.06.2011, 10:47
В.О.
|
|
Что такое метаматематика?
|
LaTeXScience |
13 |
2459 |
26.06.2011, 14:01
Someone
|
|
Регулярность множества и его дополнения
|
Zvezdochka |
5 |
1036 |
21.06.2011, 14:58
bnovikov
|
|
Задача трех тел, какой класс сложности ?
|
shkolnik |
4 |
535 |
18.06.2011, 22:17
shkolnik
|
|
Построение исчисления высказываний
|
ISS |
1 |
327 |
12.06.2011, 12:19
evalquote
|
|
Истинность в исчислении предикатов первого порядка
|
evalquote |
3 |
424 |
11.06.2011, 16:39
evalquote
|
|
Доказательство основной выводимости.
|
Overt |
4 |
865 |
10.06.2011, 09:52
Overt
|
|
Теорема дедукции в различных аксиоматиках
|
evalquote |
2 |
521 |
09.06.2011, 14:22
evalquote
|
|
Множества
|
Nogin Anton |
14 |
972 |
07.06.2011, 11:48
Nogin Anton
|
|
Какой смысл правила обобщения (GEN) в исчислении предикатов?
|
creative |
2 |
589 |
01.06.2011, 20:55
creative
|
|
Строго ли мое доказательство? Кванторы в формуле.
|
creative |
2 |
412 |
01.06.2011, 20:43
creative
|
|
Алгебра логики (ДНФ, КНФ, СДНФ, СКНФ)
|
Sverest |
1 |
717 |
30.05.2011, 16:00
creative
|
|
непонятные обозначения(матлогика)
|
0n0 |
5 |
727 |
30.05.2011, 14:29
Tlalok
|
|
Почему лямбда-исчисление свободна от логики? (Барендрегт)
|
creative |
3 |
544 |
27.05.2011, 17:22
arseniiv
|
|
Язык первого порядка; Строго ли мое простое доказательство?
|
creative |
4 |
482 |
26.05.2011, 10:53
creative
|
|
[Комбинаторы, λ-исчисление] Fx = F
|
arseniiv |
3 |
408 |
24.05.2011, 21:06
arseniiv
|
|
Подстановки в выражения языка первого порядка
|
creative |
4 |
663 |
17.05.2011, 10:31
creative
|
|
Закон двойного отрицания
|
Виктор Викторов |
2 |
435 |
01.05.2011, 20:51
Виктор Викторов
|
|
Тождественны или не тождественны?
[ На страницу: 1, 2 ]
|
Виктор Викторов |
18 |
2737 |
30.04.2011, 18:07
Виктор Викторов
|
|
Вопрос по булевой алгебре (Колмогоров: мат. логика)
|
creative |
6 |
470 |
25.04.2011, 14:05
creative
|
|
Нули и единицы в булевом кольце (Колмогоров мат. логика)
[ На страницу: 1, 2 ]
|
creative |
15 |
1287 |
22.04.2011, 23:54
ewert
|
 |
Чему равна мощность множества всех мощностей?
[ На страницу: 1, 2, 3 ]
|
caxap |
44 |
4704 |
18.04.2011, 17:35
Kallikanzarid
|
|
Вполне упорядоченные множества
[ На страницу: 1, 2 ]
|
JMH |
15 |
1349 |
13.04.2011, 22:52
Виктор Викторов
|
|
Формула тождественно истинна?
|
bonika |
5 |
630 |
11.04.2011, 22:03
bonika
|
|
Выполнимость в логике предикатов
|
bonika |
7 |
903 |
11.04.2011, 22:02
bonika
|
|
Автомат Мили и Мура. Определение.
|
Bars |
3 |
840 |
09.04.2011, 23:59
_hum_
|
|
АТД числа с операцией сложения
[ На страницу: 1, 2 ]
|
vopl |
18 |
1264 |
08.04.2011, 14:26
Joker_vD
|
|
Пример по математической логике из Мендельсона
|
Виктор Викторов |
6 |
661 |
03.04.2011, 21:21
Виктор Викторов
|
|
NP и CoNP
|
Razor |
4 |
500 |
29.03.2011, 18:56
Razor
|
|
О понятии параллельного алгоритма
[ На страницу: 1, 2 ]
|
AlexDem |
18 |
1327 |
27.03.2011, 15:32
whitefox
|
|
Подскажите как определить мощность множества
|
Dialectic |
14 |
3969 |
27.03.2011, 00:25
Профессор Снэйп
|
|
О множествах множеств включающих себя в качестве элемента
|
creative |
11 |
1461 |
23.03.2011, 18:53
creative
|
|
Определение выводимости
|
lofar |
4 |
694 |
14.03.2011, 21:09
lofar
|
|
Не подскажите множество меньше счетного, но больше конечного
[ На страницу: 1, 2 ]
|
erwins |
22 |
1792 |
09.03.2011, 17:25
Someone
|
|
Аксиома подстановки (по Френкелю).
[ На страницу: 1, 2 ]
|
Виктор Викторов |
16 |
2924 |
09.03.2011, 00:13
alex_dorin
|
|
критерий выпуклости множества
|
donny |
4 |
661 |
08.03.2011, 16:27
donny
|
|
Задача по перечислимым множествам
[ На страницу: 1, 2 ]
|
Until_Go_Pause |
23 |
2045 |
05.03.2011, 13:29
Профессор Снэйп
|
|
Минимизирование автомата
|
FrenchCheese |
2 |
320 |
02.03.2011, 12:06
Профессор Снэйп
|
|
Простые примеры Curry–Howard correspondence
|
Dims |
5 |
538 |
26.02.2011, 22:17
Xaositect
|
|
Аристотелевы умозаключения (силлогизмы) и мат. логика
|
creative |
3 |
437 |
26.02.2011, 20:47
creative
|
|
Существование декартова произведения
|
Виктор Викторов |
7 |
952 |
24.02.2011, 16:31
Виктор Викторов
|
|
Задачи на счетность множеств
|
Egornn |
5 |
607 |
20.02.2011, 02:12
Legioner93
|
|
Теория автоматов, определить грамматику
|
logonoff |
1 |
286 |
20.02.2011, 01:19
Профессор Снэйп
|
|
Аксиоматика теории доказательств
|
YaMolekula |
3 |
478 |
19.02.2011, 17:02
maxmatem
|
|
исчисление предикатов
|
BapuK |
2 |
423 |
07.02.2011, 15:31
BapuK
|
|
Доказать неравномощность множеств (Q и сечения Q)
[ На страницу: 1, 2 ]
|
Dialectic |
28 |
2469 |
04.02.2011, 21:05
Padawan
|
|
Как доказать невыводимость используя правила вывода?
[ На страницу: 1, 2 ]
|
creative |
17 |
2003 |
03.02.2011, 10:54
epros
|
|
Основная теорема о конечных множествах
|
Andrey173 |
5 |
501 |
29.01.2011, 20:17
Andrey173
|
|
Составление клаузы
|
Di081 |
3 |
783 |
28.01.2011, 19:32
Di081
|
|
|
![Новые сообщения [ Популярная тема ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_hot.gif "Новые сообщения [ Популярная тема ]"){kind=small}
![Новые сообщения [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_unread_locked.gif "Новые сообщения [ Тема закрыта ]"){kind=small}
![Нет новых сообщений [ Тема закрыта ]](https://dxdy-img.korotkov.co.uk/styles/subsilver2/imageset/topic_read_locked.gif "Нет новых сообщений [ Тема закрыта ]"){kind=small}
