|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
8615 |
12.02.2012, 16:29
PAV 
|
| Темы |
 |
Независимость аксиомы Паша
|
Gnome |
3 |
465 |
28.01.2011, 10:39
mihailm
|
|
доказательство тождества (ФАЛ)
|
OcbMuHor |
10 |
843 |
27.01.2011, 16:09
Мастак
|
|
мат. логика: что можно использовать в аксиоматическом методе
|
Di081 |
4 |
477 |
27.01.2011, 16:07
Di081
|
|
Подобное отображение упорядоченного множества
|
Виктор Викторов |
6 |
675 |
26.01.2011, 17:13
Виктор Викторов
|
|
задача на вычислимо-перечислимость множества
|
Lex3939 |
1 |
295 |
25.01.2011, 21:44
Профессор Снэйп
|
|
Теореия алгоритмов(посоветуйте задачник)
|
spraux |
2 |
408 |
24.01.2011, 23:46
Lazy
|
|
Вопросы экзаменатора (мат. логика и теория алгоритмов)
|
Wynardtage |
7 |
919 |
24.01.2011, 14:20
Xaositect
|
|
про алеф-один
|
BapuK |
13 |
1586 |
17.01.2011, 18:37
BapuK
|
|
Совершенная конъюнктивная нормальная форма и тавтологии
|
creative |
6 |
832 |
16.01.2011, 23:02
creative
|
 |
Задача на предикаты (привести к предваренной нормальн форме)
[ На страницу: 1, 2, 3, 4, 5 ]
|
Виктория123 |
71 |
16355 |
16.01.2011, 13:28
Чудо-в-перьях
|
|
Контининтуальные множества
[ На страницу: 1, 2 ]
|
Tarinal |
22 |
2277 |
13.01.2011, 18:47
Виктор Викторов
|
|
автомат для максимума языка
|
Arnoldinya |
5 |
503 |
13.01.2011, 16:49
Профессор Снэйп
|
|
Множества Хинтикки: как правильно построить?
[ На страницу: 1, 2 ]
|
Чудо-в-перьях |
15 |
2204 |
13.01.2011, 14:15
Чудо-в-перьях
|
|
NP-полнота
|
cyb12 |
1 |
324 |
07.01.2011, 16:46
Xaositect
|
|
а можно ли аксиому выбора формулировать так:
|
moscwicz |
4 |
570 |
02.01.2011, 15:26
Виктор Викторов
|
|
Привести в базис Пирса. Правильно ли?
|
smartchecker |
1 |
353 |
01.01.2011, 17:59
cyb12
|
|
Задача по Машинам Тьюринга.
|
DdK |
2 |
444 |
31.12.2010, 01:23
Профессор Снэйп
|
|
Формула счетного множества в сигнатуре теории множеств
|
3AKPbIBAKA |
1 |
310 |
31.12.2010, 00:57
Профессор Снэйп
|
|
мощность множества всех перестановок натурального ряда
[ На страницу: 1, 2 ]
|
Dialectic |
16 |
1811 |
29.12.2010, 22:53
Dialectic
|
|
Упростить ПФ
|
Мироника |
5 |
492 |
23.12.2010, 13:35
Sonic86
|
|
ДНФ и КНФ
|
Мироника |
2 |
595 |
23.12.2010, 12:24
Мироника
|
|
Позволяют ли правила вывода доказать ложность умозаключения?
[ На страницу: 1, 2 ]
|
creative |
17 |
1437 |
23.12.2010, 00:23
Maslov
|
|
Определение функции одной независимой переменной.
|
Mitrius_Math |
7 |
3384 |
21.12.2010, 23:25
AD
|
|
Дескриптивная сложность языка
|
FrenchCheese |
1 |
405 |
19.12.2010, 15:45
Xaositect
|
|
Доказ. равномощн. беск. мн. и его объед. с кон. или счетным
|
Alfucio |
5 |
493 |
17.12.2010, 16:03
ewert
|
|
Здравствуйте! Помогите доказать тождество (мат. логика)
|
Mary_strong |
11 |
1237 |
14.12.2010, 17:29
Виктор Викторов
|
|
Как построить ДМП-преобразователь?
|
crystalrose777 |
3 |
419 |
09.12.2010, 21:50
crystalrose777
|
|
Рекурсивно перечислимые множества
|
Everest |
9 |
782 |
09.12.2010, 21:31
Xaositect
|
|
Система аксиом фон Нёймана
|
Виктор Викторов |
6 |
651 |
05.12.2010, 22:21
Виктор Викторов
|
|
Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц
|
Samir |
5 |
614 |
05.12.2010, 01:25
Samir
|
|
Я тут подумал и решил, что должны выполнятся след. тождества
|
Иван_85 |
7 |
608 |
03.12.2010, 17:19
svv
|
|
Операции над высказываниями
[ На страницу: 1, 2, 3, 4 ]
|
Marina |
54 |
4691 |
29.11.2010, 14:09
Андрей АK
|
|
Аксиома фундирования
|
Виктор Викторов |
8 |
1012 |
27.11.2010, 03:02
Виктор Викторов
|
|
Помогите придумать алгоритм для машины Тьюринга
|
Samir |
8 |
1085 |
26.11.2010, 17:47
Toucan
|
|
Принцип подстановки
|
Виктор Викторов |
6 |
737 |
25.11.2010, 05:13
Виктор Викторов
|
|
Выводимости исчисления высказываний
|
Tribi |
5 |
1401 |
24.11.2010, 19:16
Tribi
|
|
Исчисления предикатов
|
bonika |
7 |
682 |
22.11.2010, 15:08
Maslov
|
|
О комбинаторах
|
arseniiv |
1 |
280 |
21.11.2010, 23:37
Xaositect
|
|
Не могу понять смысл фразы :)
|
Чудо-в-перьях |
6 |
828 |
21.11.2010, 17:21
Чудо-в-перьях
|
|
Задание с логическими высказываниями
|
krokha |
10 |
722 |
17.11.2010, 20:04
krokha
|
|
Конечных множеств счётное число(?)
[ На страницу: 1, 2 ]
|
arseniiv |
27 |
2413 |
17.11.2010, 14:05
arseniiv
|
|
Рефлексивность композиции рефлексивных отношений
|
NewStrannik |
2 |
454 |
15.11.2010, 19:56
NewStrannik
|
|
Аксиома бесконечности
[ На страницу: 1, 2 ]
|
Виктор Викторов |
21 |
2098 |
15.11.2010, 16:02
Виктор Викторов
|
|
Помогите доказать в исчислении высказываний
|
dirkul |
14 |
3025 |
15.11.2010, 10:05
dirkul
|
|
Опять непонятки с теоремой Цермело
|
caxap |
8 |
717 |
12.11.2010, 20:05
Виктор Викторов
|
|
Доказательства от противного
|
ИС |
14 |
1744 |
12.11.2010, 15:14
Виктор Викторов
|
|
Логические штучки (аксиомы исчисления высказываний)
|
arseniiv |
8 |
830 |
10.11.2010, 18:52
arseniiv
|
|
Логика. Импликация. Закон исключенного третьего.
|
krokha |
5 |
583 |
08.11.2010, 01:49
Виктор Викторов
|
|
свойство замкнутых классов
|
Marsel |
5 |
641 |
06.11.2010, 13:13
ИСН
|
|
Верещагин, Шень. Задача 122: |A^A|=|2^A|
|
caxap |
6 |
679 |
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}
