|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9895 |
12.02.2012, 16:29
PAV
|
| Темы |
 |
Упорядоченные пары по Куратовскому и Винеру и пустое множ.
|
olenellus |
8 |
2678 |
03.07.2011, 05:48
olenellus
|
|
Общепринятое знание
|
Gortaur |
13 |
3065 |
27.06.2011, 10:47
В.О.
|
|
Что такое метаматематика?
|
LaTeXScience |
13 |
2904 |
26.06.2011, 14:01
Someone
|
|
Регулярность множества и его дополнения
|
Zvezdochka |
5 |
1184 |
21.06.2011, 14:58
bnovikov
|
|
Задача трех тел, какой класс сложности ?
|
shkolnik |
4 |
635 |
18.06.2011, 22:17
shkolnik
|
|
Построение исчисления высказываний
|
ISS |
1 |
379 |
12.06.2011, 12:19
evalquote
|
|
Истинность в исчислении предикатов первого порядка
|
evalquote |
3 |
530 |
11.06.2011, 16:39
evalquote
|
|
Доказательство основной выводимости.
|
Overt |
4 |
1020 |
10.06.2011, 09:52
Overt
|
|
Теорема дедукции в различных аксиоматиках
|
evalquote |
2 |
592 |
09.06.2011, 14:22
evalquote
|
|
Множества
|
Nogin Anton |
14 |
1289 |
07.06.2011, 11:48
Nogin Anton
|
|
Какой смысл правила обобщения (GEN) в исчислении предикатов?
|
creative |
2 |
681 |
01.06.2011, 20:55
creative
|
|
Строго ли мое доказательство? Кванторы в формуле.
|
creative |
2 |
502 |
01.06.2011, 20:43
creative
|
|
Алгебра логики (ДНФ, КНФ, СДНФ, СКНФ)
|
Sverest |
1 |
788 |
30.05.2011, 16:00
creative
|
|
непонятные обозначения(матлогика)
|
0n0 |
5 |
904 |
30.05.2011, 14:29
Tlalok
|
|
Почему лямбда-исчисление свободна от логики? (Барендрегт)
|
creative |
3 |
637 |
27.05.2011, 17:22
arseniiv
|
|
Язык первого порядка; Строго ли мое простое доказательство?
|
creative |
4 |
592 |
26.05.2011, 10:53
creative
|
|
[Комбинаторы, λ-исчисление] Fx = F
|
arseniiv |
3 |
483 |
24.05.2011, 21:06
arseniiv
|
|
Подстановки в выражения языка первого порядка
|
creative |
4 |
791 |
17.05.2011, 10:31
creative
|
|
Закон двойного отрицания
|
Виктор Викторов |
2 |
503 |
01.05.2011, 20:51
Виктор Викторов
|
|
Тождественны или не тождественны?
[ На страницу: 1, 2 ]
|
Виктор Викторов |
18 |
3325 |
30.04.2011, 18:07
Виктор Викторов
|
|
Вопрос по булевой алгебре (Колмогоров: мат. логика)
|
creative |
6 |
592 |
25.04.2011, 14:05
creative
|
|
Нули и единицы в булевом кольце (Колмогоров мат. логика)
[ На страницу: 1, 2 ]
|
creative |
15 |
1613 |
22.04.2011, 23:54
ewert
|
 |
Чему равна мощность множества всех мощностей?
[ На страницу: 1, 2, 3 ]
|
caxap |
44 |
5811 |
18.04.2011, 17:35
Kallikanzarid
|
|
Вполне упорядоченные множества
[ На страницу: 1, 2 ]
|
JMH |
15 |
1698 |
13.04.2011, 22:52
Виктор Викторов
|
|
Формула тождественно истинна?
|
bonika |
5 |
744 |
11.04.2011, 22:03
bonika
|
|
Выполнимость в логике предикатов
|
bonika |
7 |
1101 |
11.04.2011, 22:02
bonika
|
|
Автомат Мили и Мура. Определение.
|
Bars |
3 |
928 |
09.04.2011, 23:59
_hum_
|
|
АТД числа с операцией сложения
[ На страницу: 1, 2 ]
|
vopl |
18 |
1660 |
08.04.2011, 14:26
Joker_vD
|
|
Пример по математической логике из Мендельсона
|
Виктор Викторов |
6 |
786 |
03.04.2011, 21:21
Виктор Викторов
|
|
NP и CoNP
|
Razor |
4 |
604 |
29.03.2011, 18:56
Razor
|
|
О понятии параллельного алгоритма
[ На страницу: 1, 2 ]
|
AlexDem |
18 |
1705 |
27.03.2011, 15:32
whitefox
|
|
Подскажите как определить мощность множества
|
Dialectic |
14 |
4437 |
27.03.2011, 00:25
Профессор Снэйп
|
|
О множествах множеств включающих себя в качестве элемента
|
creative |
11 |
1763 |
23.03.2011, 18:53
creative
|
|
Определение выводимости
|
lofar |
4 |
793 |
14.03.2011, 21:09
lofar
|
|
Не подскажите множество меньше счетного, но больше конечного
[ На страницу: 1, 2 ]
|
erwins |
22 |
2249 |
09.03.2011, 17:25
Someone
|
|
Аксиома подстановки (по Френкелю).
[ На страницу: 1, 2 ]
|
Виктор Викторов |
16 |
3331 |
09.03.2011, 00:13
alex_dorin
|
|
критерий выпуклости множества
|
donny |
4 |
769 |
08.03.2011, 16:27
donny
|
|
Задача по перечислимым множествам
[ На страницу: 1, 2 ]
|
Until_Go_Pause |
23 |
2505 |
05.03.2011, 13:29
Профессор Снэйп
|
|
Минимизирование автомата
|
FrenchCheese |
2 |
378 |
02.03.2011, 12:06
Профессор Снэйп
|
|
Простые примеры Curry–Howard correspondence
|
Dims |
5 |
662 |
26.02.2011, 22:17
Xaositect
|
|
Аристотелевы умозаключения (силлогизмы) и мат. логика
|
creative |
3 |
507 |
26.02.2011, 20:47
creative
|
|
Существование декартова произведения
|
Виктор Викторов |
7 |
1162 |
24.02.2011, 16:31
Виктор Викторов
|
|
Задачи на счетность множеств
|
Egornn |
5 |
725 |
20.02.2011, 02:12
Legioner93
|
|
Теория автоматов, определить грамматику
|
logonoff |
1 |
334 |
20.02.2011, 01:19
Профессор Снэйп
|
|
Аксиоматика теории доказательств
|
YaMolekula |
3 |
553 |
19.02.2011, 17:02
maxmatem
|
|
исчисление предикатов
|
BapuK |
2 |
485 |
07.02.2011, 15:31
BapuK
|
|
Доказать неравномощность множеств (Q и сечения Q)
[ На страницу: 1, 2 ]
|
Dialectic |
28 |
3158 |
04.02.2011, 21:05
Padawan
|
|
Как доказать невыводимость используя правила вывода?
[ На страницу: 1, 2 ]
|
creative |
17 |
2443 |
03.02.2011, 10:54
epros
|
|
Основная теорема о конечных множествах
|
Andrey173 |
5 |
704 |
29.01.2011, 20:17
Andrey173
|
|
Составление клаузы
|
Di081 |
3 |
867 |
28.01.2011, 19:32
Di081
|
