|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8928 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Независимость аксиомы Паша
|
Gnome |
3 |
479 |
28.01.2011, 10:39
mihailm
|
|
доказательство тождества (ФАЛ)
|
OcbMuHor |
10 |
881 |
27.01.2011, 16:09
Мастак
|
|
мат. логика: что можно использовать в аксиоматическом методе
|
Di081 |
4 |
494 |
27.01.2011, 16:07
Di081
|
|
Подобное отображение упорядоченного множества
|
Виктор Викторов |
6 |
706 |
26.01.2011, 17:13
Виктор Викторов
|
|
задача на вычислимо-перечислимость множества
|
Lex3939 |
1 |
301 |
25.01.2011, 21:44
Профессор Снэйп
|
|
Теореия алгоритмов(посоветуйте задачник)
|
spraux |
2 |
427 |
24.01.2011, 23:46
Lazy
|
|
Вопросы экзаменатора (мат. логика и теория алгоритмов)
|
Wynardtage |
7 |
954 |
24.01.2011, 14:20
Xaositect
|
|
про алеф-один
|
BapuK |
13 |
1662 |
17.01.2011, 18:37
BapuK
|
|
Совершенная конъюнктивная нормальная форма и тавтологии
|
creative |
6 |
866 |
16.01.2011, 23:02
creative
|
 |
Задача на предикаты (привести к предваренной нормальн форме)
[ На страницу: 1, 2, 3, 4, 5 ]
|
Виктория123 |
71 |
16703 |
16.01.2011, 13:28
Чудо-в-перьях
|
|
Контининтуальные множества
[ На страницу: 1, 2 ]
|
Tarinal |
22 |
2380 |
13.01.2011, 18:47
Виктор Викторов
|
|
автомат для максимума языка
|
Arnoldinya |
5 |
527 |
13.01.2011, 16:49
Профессор Снэйп
|
|
Множества Хинтикки: как правильно построить?
[ На страницу: 1, 2 ]
|
Чудо-в-перьях |
15 |
2296 |
13.01.2011, 14:15
Чудо-в-перьях
|
|
NP-полнота
|
cyb12 |
1 |
339 |
07.01.2011, 16:46
Xaositect
|
|
а можно ли аксиому выбора формулировать так:
|
moscwicz |
4 |
599 |
02.01.2011, 15:26
Виктор Викторов
|
|
Привести в базис Пирса. Правильно ли?
|
smartchecker |
1 |
361 |
01.01.2011, 17:59
cyb12
|
|
Задача по Машинам Тьюринга.
|
DdK |
2 |
456 |
31.12.2010, 01:23
Профессор Снэйп
|
|
Формула счетного множества в сигнатуре теории множеств
|
3AKPbIBAKA |
1 |
323 |
31.12.2010, 00:57
Профессор Снэйп
|
|
мощность множества всех перестановок натурального ряда
[ На страницу: 1, 2 ]
|
Dialectic |
16 |
1867 |
29.12.2010, 22:53
Dialectic
|
|
Упростить ПФ
|
Мироника |
5 |
509 |
23.12.2010, 13:35
Sonic86
|
|
ДНФ и КНФ
|
Мироника |
2 |
610 |
23.12.2010, 12:24
Мироника
|
|
Позволяют ли правила вывода доказать ложность умозаключения?
[ На страницу: 1, 2 ]
|
creative |
17 |
1492 |
23.12.2010, 00:23
Maslov
|
|
Определение функции одной независимой переменной.
|
Mitrius_Math |
7 |
3425 |
21.12.2010, 23:25
AD
|
|
Дескриптивная сложность языка
|
FrenchCheese |
1 |
414 |
19.12.2010, 15:45
Xaositect
|
|
Доказ. равномощн. беск. мн. и его объед. с кон. или счетным
|
Alfucio |
5 |
510 |
17.12.2010, 16:03
ewert
|
|
Здравствуйте! Помогите доказать тождество (мат. логика)
|
Mary_strong |
11 |
1278 |
14.12.2010, 17:29
Виктор Викторов
|
|
Как построить ДМП-преобразователь?
|
crystalrose777 |
3 |
431 |
09.12.2010, 21:50
crystalrose777
|
|
Рекурсивно перечислимые множества
|
Everest |
9 |
811 |
09.12.2010, 21:31
Xaositect
|
|
Система аксиом фон Нёймана
|
Виктор Викторов |
6 |
675 |
05.12.2010, 22:21
Виктор Викторов
|
|
Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц
|
Samir |
5 |
633 |
05.12.2010, 01:25
Samir
|
|
Я тут подумал и решил, что должны выполнятся след. тождества
|
Иван_85 |
7 |
632 |
03.12.2010, 17:19
svv
|
|
Операции над высказываниями
[ На страницу: 1, 2, 3, 4 ]
|
Marina |
54 |
4864 |
29.11.2010, 14:09
Андрей АK
|
|
Аксиома фундирования
|
Виктор Викторов |
8 |
1041 |
27.11.2010, 03:02
Виктор Викторов
|
|
Помогите придумать алгоритм для машины Тьюринга
|
Samir |
8 |
1117 |
26.11.2010, 17:47
Toucan
|
|
Принцип подстановки
|
Виктор Викторов |
6 |
765 |
25.11.2010, 05:13
Виктор Викторов
|
|
Выводимости исчисления высказываний
|
Tribi |
5 |
1418 |
24.11.2010, 19:16
Tribi
|
|
Исчисления предикатов
|
bonika |
7 |
718 |
22.11.2010, 15:08
Maslov
|
|
О комбинаторах
|
arseniiv |
1 |
286 |
21.11.2010, 23:37
Xaositect
|
|
Не могу понять смысл фразы :)
|
Чудо-в-перьях |
6 |
856 |
21.11.2010, 17:21
Чудо-в-перьях
|
|
Задание с логическими высказываниями
|
krokha |
10 |
753 |
17.11.2010, 20:04
krokha
|
|
Конечных множеств счётное число(?)
[ На страницу: 1, 2 ]
|
arseniiv |
27 |
2556 |
17.11.2010, 14:05
arseniiv
|
|
Рефлексивность композиции рефлексивных отношений
|
NewStrannik |
2 |
463 |
15.11.2010, 19:56
NewStrannik
|
|
Аксиома бесконечности
[ На страницу: 1, 2 ]
|
Виктор Викторов |
21 |
2176 |
15.11.2010, 16:02
Виктор Викторов
|
|
Помогите доказать в исчислении высказываний
|
dirkul |
14 |
3117 |
15.11.2010, 10:05
dirkul
|
|
Опять непонятки с теоремой Цермело
|
caxap |
8 |
751 |
12.11.2010, 20:05
Виктор Викторов
|
|
Доказательства от противного
|
ИС |
14 |
1797 |
12.11.2010, 15:14
Виктор Викторов
|
|
Логические штучки (аксиомы исчисления высказываний)
|
arseniiv |
8 |
860 |
10.11.2010, 18:52
arseniiv
|
|
Логика. Импликация. Закон исключенного третьего.
|
krokha |
5 |
606 |
08.11.2010, 01:49
Виктор Викторов
|
|
свойство замкнутых классов
|
Marsel |
5 |
659 |
06.11.2010, 13:13
ИСН
|
|
Верещагин, Шень. Задача 122: |A^A|=|2^A|
|
caxap |
6 |
703 |
03.11.2010, 22:59
caxap
|
|
|
![Новые сообщения [ Популярная тема ]](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}
