|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8928 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Упорядоченные пары по Куратовскому и Винеру и пустое множ.
|
olenellus |
8 |
2483 |
03.07.2011, 05:48
olenellus
|
|
Общепринятое знание
|
Gortaur |
13 |
2819 |
27.06.2011, 10:47
В.О.
|
|
Что такое метаматематика?
|
LaTeXScience |
13 |
2602 |
26.06.2011, 14:01
Someone
|
|
Регулярность множества и его дополнения
|
Zvezdochka |
5 |
1087 |
21.06.2011, 14:58
bnovikov
|
|
Задача трех тел, какой класс сложности ?
|
shkolnik |
4 |
567 |
18.06.2011, 22:17
shkolnik
|
|
Построение исчисления высказываний
|
ISS |
1 |
344 |
12.06.2011, 12:19
evalquote
|
|
Истинность в исчислении предикатов первого порядка
|
evalquote |
3 |
461 |
11.06.2011, 16:39
evalquote
|
|
Доказательство основной выводимости.
|
Overt |
4 |
908 |
10.06.2011, 09:52
Overt
|
|
Теорема дедукции в различных аксиоматиках
|
evalquote |
2 |
548 |
09.06.2011, 14:22
evalquote
|
|
Множества
|
Nogin Anton |
14 |
1099 |
07.06.2011, 11:48
Nogin Anton
|
|
Какой смысл правила обобщения (GEN) в исчислении предикатов?
|
creative |
2 |
623 |
01.06.2011, 20:55
creative
|
|
Строго ли мое доказательство? Кванторы в формуле.
|
creative |
2 |
441 |
01.06.2011, 20:43
creative
|
|
Алгебра логики (ДНФ, КНФ, СДНФ, СКНФ)
|
Sverest |
1 |
740 |
30.05.2011, 16:00
creative
|
|
непонятные обозначения(матлогика)
|
0n0 |
5 |
787 |
30.05.2011, 14:29
Tlalok
|
|
Почему лямбда-исчисление свободна от логики? (Барендрегт)
|
creative |
3 |
581 |
27.05.2011, 17:22
arseniiv
|
|
Язык первого порядка; Строго ли мое простое доказательство?
|
creative |
4 |
524 |
26.05.2011, 10:53
creative
|
|
[Комбинаторы, λ-исчисление] Fx = F
|
arseniiv |
3 |
433 |
24.05.2011, 21:06
arseniiv
|
|
Подстановки в выражения языка первого порядка
|
creative |
4 |
703 |
17.05.2011, 10:31
creative
|
|
Закон двойного отрицания
|
Виктор Викторов |
2 |
460 |
01.05.2011, 20:51
Виктор Викторов
|
|
Тождественны или не тождественны?
[ На страницу: 1, 2 ]
|
Виктор Викторов |
18 |
2863 |
30.04.2011, 18:07
Виктор Викторов
|
|
Вопрос по булевой алгебре (Колмогоров: мат. логика)
|
creative |
6 |
505 |
25.04.2011, 14:05
creative
|
|
Нули и единицы в булевом кольце (Колмогоров мат. логика)
[ На страницу: 1, 2 ]
|
creative |
15 |
1379 |
22.04.2011, 23:54
ewert
|
 |
Чему равна мощность множества всех мощностей?
[ На страницу: 1, 2, 3 ]
|
caxap |
44 |
5025 |
18.04.2011, 17:35
Kallikanzarid
|
|
Вполне упорядоченные множества
[ На страницу: 1, 2 ]
|
JMH |
15 |
1438 |
13.04.2011, 22:52
Виктор Викторов
|
|
Формула тождественно истинна?
|
bonika |
5 |
664 |
11.04.2011, 22:03
bonika
|
|
Выполнимость в логике предикатов
|
bonika |
7 |
951 |
11.04.2011, 22:02
bonika
|
|
Автомат Мили и Мура. Определение.
|
Bars |
3 |
868 |
09.04.2011, 23:59
_hum_
|
|
АТД числа с операцией сложения
[ На страницу: 1, 2 ]
|
vopl |
18 |
1372 |
08.04.2011, 14:26
Joker_vD
|
|
Пример по математической логике из Мендельсона
|
Виктор Викторов |
6 |
704 |
03.04.2011, 21:21
Виктор Викторов
|
|
NP и CoNP
|
Razor |
4 |
531 |
29.03.2011, 18:56
Razor
|
|
О понятии параллельного алгоритма
[ На страницу: 1, 2 ]
|
AlexDem |
18 |
1441 |
27.03.2011, 15:32
whitefox
|
|
Подскажите как определить мощность множества
|
Dialectic |
14 |
4105 |
27.03.2011, 00:25
Профессор Снэйп
|
|
О множествах множеств включающих себя в качестве элемента
|
creative |
11 |
1545 |
23.03.2011, 18:53
creative
|
|
Определение выводимости
|
lofar |
4 |
726 |
14.03.2011, 21:09
lofar
|
|
Не подскажите множество меньше счетного, но больше конечного
[ На страницу: 1, 2 ]
|
erwins |
22 |
1926 |
09.03.2011, 17:25
Someone
|
|
Аксиома подстановки (по Френкелю).
[ На страницу: 1, 2 ]
|
Виктор Викторов |
16 |
3068 |
09.03.2011, 00:13
alex_dorin
|
|
критерий выпуклости множества
|
donny |
4 |
690 |
08.03.2011, 16:27
donny
|
|
Задача по перечислимым множествам
[ На страницу: 1, 2 ]
|
Until_Go_Pause |
23 |
2162 |
05.03.2011, 13:29
Профессор Снэйп
|
|
Минимизирование автомата
|
FrenchCheese |
2 |
337 |
02.03.2011, 12:06
Профессор Снэйп
|
|
Простые примеры Curry–Howard correspondence
|
Dims |
5 |
570 |
26.02.2011, 22:17
Xaositect
|
|
Аристотелевы умозаключения (силлогизмы) и мат. логика
|
creative |
3 |
456 |
26.02.2011, 20:47
creative
|
|
Существование декартова произведения
|
Виктор Викторов |
7 |
1019 |
24.02.2011, 16:31
Виктор Викторов
|
|
Задачи на счетность множеств
|
Egornn |
5 |
646 |
20.02.2011, 02:12
Legioner93
|
|
Теория автоматов, определить грамматику
|
logonoff |
1 |
297 |
20.02.2011, 01:19
Профессор Снэйп
|
|
Аксиоматика теории доказательств
|
YaMolekula |
3 |
501 |
19.02.2011, 17:02
maxmatem
|
|
исчисление предикатов
|
BapuK |
2 |
441 |
07.02.2011, 15:31
BapuK
|
|
Доказать неравномощность множеств (Q и сечения Q)
[ На страницу: 1, 2 ]
|
Dialectic |
28 |
2639 |
04.02.2011, 21:05
Padawan
|
|
Как доказать невыводимость используя правила вывода?
[ На страницу: 1, 2 ]
|
creative |
17 |
2170 |
03.02.2011, 10:54
epros
|
|
Основная теорема о конечных множествах
|
Andrey173 |
5 |
531 |
29.01.2011, 20:17
Andrey173
|
|
Составление клаузы
|
Di081 |
3 |
809 |
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}
