|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9162 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Независимость аксиомы Паша
|
Gnome |
3 |
495 |
28.01.2011, 10:39
mihailm
|
|
доказательство тождества (ФАЛ)
|
OcbMuHor |
10 |
921 |
27.01.2011, 16:09
Мастак
|
|
мат. логика: что можно использовать в аксиоматическом методе
|
Di081 |
4 |
508 |
27.01.2011, 16:07
Di081
|
|
Подобное отображение упорядоченного множества
|
Виктор Викторов |
6 |
734 |
26.01.2011, 17:13
Виктор Викторов
|
|
задача на вычислимо-перечислимость множества
|
Lex3939 |
1 |
305 |
25.01.2011, 21:44
Профессор Снэйп
|
|
Теореия алгоритмов(посоветуйте задачник)
|
spraux |
2 |
440 |
24.01.2011, 23:46
Lazy
|
|
Вопросы экзаменатора (мат. логика и теория алгоритмов)
|
Wynardtage |
7 |
985 |
24.01.2011, 14:20
Xaositect
|
|
про алеф-один
|
BapuK |
13 |
1741 |
17.01.2011, 18:37
BapuK
|
|
Совершенная конъюнктивная нормальная форма и тавтологии
|
creative |
6 |
889 |
16.01.2011, 23:02
creative
|
 |
Задача на предикаты (привести к предваренной нормальн форме)
[ На страницу: 1, 2, 3, 4, 5 ]
|
Виктория123 |
71 |
16918 |
16.01.2011, 13:28
Чудо-в-перьях
|
|
Контининтуальные множества
[ На страницу: 1, 2 ]
|
Tarinal |
22 |
2491 |
13.01.2011, 18:47
Виктор Викторов
|
|
автомат для максимума языка
|
Arnoldinya |
5 |
544 |
13.01.2011, 16:49
Профессор Снэйп
|
|
Множества Хинтикки: как правильно построить?
[ На страницу: 1, 2 ]
|
Чудо-в-перьях |
15 |
2324 |
13.01.2011, 14:15
Чудо-в-перьях
|
|
NP-полнота
|
cyb12 |
1 |
346 |
07.01.2011, 16:46
Xaositect
|
|
а можно ли аксиому выбора формулировать так:
|
moscwicz |
4 |
622 |
02.01.2011, 15:26
Виктор Викторов
|
|
Привести в базис Пирса. Правильно ли?
|
smartchecker |
1 |
364 |
01.01.2011, 17:59
cyb12
|
|
Задача по Машинам Тьюринга.
|
DdK |
2 |
462 |
31.12.2010, 01:23
Профессор Снэйп
|
|
Формула счетного множества в сигнатуре теории множеств
|
3AKPbIBAKA |
1 |
328 |
31.12.2010, 00:57
Профессор Снэйп
|
|
мощность множества всех перестановок натурального ряда
[ На страницу: 1, 2 ]
|
Dialectic |
16 |
1943 |
29.12.2010, 22:53
Dialectic
|
|
Упростить ПФ
|
Мироника |
5 |
525 |
23.12.2010, 13:35
Sonic86
|
|
ДНФ и КНФ
|
Мироника |
2 |
617 |
23.12.2010, 12:24
Мироника
|
|
Позволяют ли правила вывода доказать ложность умозаключения?
[ На страницу: 1, 2 ]
|
creative |
17 |
1562 |
23.12.2010, 00:23
Maslov
|
|
Определение функции одной независимой переменной.
|
Mitrius_Math |
7 |
3476 |
21.12.2010, 23:25
AD
|
|
Дескриптивная сложность языка
|
FrenchCheese |
1 |
420 |
19.12.2010, 15:45
Xaositect
|
|
Доказ. равномощн. беск. мн. и его объед. с кон. или счетным
|
Alfucio |
5 |
528 |
17.12.2010, 16:03
ewert
|
|
Здравствуйте! Помогите доказать тождество (мат. логика)
|
Mary_strong |
11 |
1326 |
14.12.2010, 17:29
Виктор Викторов
|
|
Как построить ДМП-преобразователь?
|
crystalrose777 |
3 |
439 |
09.12.2010, 21:50
crystalrose777
|
|
Рекурсивно перечислимые множества
|
Everest |
9 |
839 |
09.12.2010, 21:31
Xaositect
|
|
Система аксиом фон Нёймана
|
Виктор Викторов |
6 |
708 |
05.12.2010, 22:21
Виктор Викторов
|
|
Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц
|
Samir |
5 |
658 |
05.12.2010, 01:25
Samir
|
|
Я тут подумал и решил, что должны выполнятся след. тождества
|
Иван_85 |
7 |
650 |
03.12.2010, 17:19
svv
|
|
Операции над высказываниями
[ На страницу: 1, 2, 3, 4 ]
|
Marina |
54 |
5043 |
29.11.2010, 14:09
Андрей АK
|
|
Аксиома фундирования
|
Виктор Викторов |
8 |
1076 |
27.11.2010, 03:02
Виктор Викторов
|
|
Помогите придумать алгоритм для машины Тьюринга
|
Samir |
8 |
1141 |
26.11.2010, 17:47
Toucan
|
|
Принцип подстановки
|
Виктор Викторов |
6 |
797 |
25.11.2010, 05:13
Виктор Викторов
|
|
Выводимости исчисления высказываний
|
Tribi |
5 |
1432 |
24.11.2010, 19:16
Tribi
|
|
Исчисления предикатов
|
bonika |
7 |
748 |
22.11.2010, 15:08
Maslov
|
|
О комбинаторах
|
arseniiv |
1 |
292 |
21.11.2010, 23:37
Xaositect
|
|
Не могу понять смысл фразы :)
|
Чудо-в-перьях |
6 |
881 |
21.11.2010, 17:21
Чудо-в-перьях
|
|
Задание с логическими высказываниями
|
krokha |
10 |
791 |
17.11.2010, 20:04
krokha
|
|
Конечных множеств счётное число(?)
[ На страницу: 1, 2 ]
|
arseniiv |
27 |
2682 |
17.11.2010, 14:05
arseniiv
|
|
Рефлексивность композиции рефлексивных отношений
|
NewStrannik |
2 |
472 |
15.11.2010, 19:56
NewStrannik
|
|
Аксиома бесконечности
[ На страницу: 1, 2 ]
|
Виктор Викторов |
21 |
2272 |
15.11.2010, 16:02
Виктор Викторов
|
|
Помогите доказать в исчислении высказываний
|
dirkul |
14 |
3172 |
15.11.2010, 10:05
dirkul
|
|
Опять непонятки с теоремой Цермело
|
caxap |
8 |
781 |
12.11.2010, 20:05
Виктор Викторов
|
|
Доказательства от противного
|
ИС |
14 |
1864 |
12.11.2010, 15:14
Виктор Викторов
|
|
Логические штучки (аксиомы исчисления высказываний)
|
arseniiv |
8 |
892 |
10.11.2010, 18:52
arseniiv
|
|
Логика. Импликация. Закон исключенного третьего.
|
krokha |
5 |
622 |
08.11.2010, 01:49
Виктор Викторов
|
|
свойство замкнутых классов
|
Marsel |
5 |
676 |
06.11.2010, 13:13
ИСН
|
|
Верещагин, Шень. Задача 122: |A^A|=|2^A|
|
caxap |
6 |
716 |
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}
