|
|
| Темы |
Автор |
Ответы |
Просмотры |
Последнее сообщение |
| Объявления |
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел!
|
PAV |
1 |
9897 |
12.02.2012, 16:29
PAV
|
| Темы |
 |
Независимость аксиомы Паша
|
Gnome |
3 |
542 |
28.01.2011, 10:39
mihailm
|
|
доказательство тождества (ФАЛ)
|
OcbMuHor |
10 |
1017 |
27.01.2011, 16:09
Мастак
|
|
мат. логика: что можно использовать в аксиоматическом методе
|
Di081 |
4 |
562 |
27.01.2011, 16:07
Di081
|
|
Подобное отображение упорядоченного множества
|
Виктор Викторов |
6 |
816 |
26.01.2011, 17:13
Виктор Викторов
|
|
задача на вычислимо-перечислимость множества
|
Lex3939 |
1 |
328 |
25.01.2011, 21:44
Профессор Снэйп
|
|
Теореия алгоритмов(посоветуйте задачник)
|
spraux |
2 |
471 |
24.01.2011, 23:46
Lazy
|
|
Вопросы экзаменатора (мат. логика и теория алгоритмов)
|
Wynardtage |
7 |
1076 |
24.01.2011, 14:20
Xaositect
|
|
про алеф-один
|
BapuK |
13 |
2032 |
17.01.2011, 18:37
BapuK
|
|
Совершенная конъюнктивная нормальная форма и тавтологии
|
creative |
6 |
954 |
16.01.2011, 23:02
creative
|
 |
Задача на предикаты (привести к предваренной нормальн форме)
[ На страницу: 1, 2, 3, 4, 5 ]
|
Виктория123 |
71 |
17671 |
16.01.2011, 13:28
Чудо-в-перьях
|
|
Контининтуальные множества
[ На страницу: 1, 2 ]
|
Tarinal |
22 |
2766 |
13.01.2011, 18:47
Виктор Викторов
|
|
автомат для максимума языка
|
Arnoldinya |
5 |
610 |
13.01.2011, 16:49
Профессор Снэйп
|
|
Множества Хинтикки: как правильно построить?
[ На страницу: 1, 2 ]
|
Чудо-в-перьях |
15 |
2500 |
13.01.2011, 14:15
Чудо-в-перьях
|
|
NP-полнота
|
cyb12 |
1 |
375 |
07.01.2011, 16:46
Xaositect
|
|
а можно ли аксиому выбора формулировать так:
|
moscwicz |
4 |
688 |
02.01.2011, 15:26
Виктор Викторов
|
|
Привести в базис Пирса. Правильно ли?
|
smartchecker |
1 |
388 |
01.01.2011, 17:59
cyb12
|
|
Задача по Машинам Тьюринга.
|
DdK |
2 |
588 |
31.12.2010, 01:23
Профессор Снэйп
|
|
Формула счетного множества в сигнатуре теории множеств
|
3AKPbIBAKA |
1 |
352 |
31.12.2010, 00:57
Профессор Снэйп
|
|
мощность множества всех перестановок натурального ряда
[ На страницу: 1, 2 ]
|
Dialectic |
16 |
2133 |
29.12.2010, 22:53
Dialectic
|
|
Упростить ПФ
|
Мироника |
5 |
668 |
23.12.2010, 13:35
Sonic86
|
|
ДНФ и КНФ
|
Мироника |
2 |
652 |
23.12.2010, 12:24
Мироника
|
|
Позволяют ли правила вывода доказать ложность умозаключения?
[ На страницу: 1, 2 ]
|
creative |
17 |
1752 |
23.12.2010, 00:23
Maslov
|
|
Определение функции одной независимой переменной.
|
Mitrius_Math |
7 |
3586 |
21.12.2010, 23:25
AD
|
|
Дескриптивная сложность языка
|
FrenchCheese |
1 |
544 |
19.12.2010, 15:45
Xaositect
|
|
Доказ. равномощн. беск. мн. и его объед. с кон. или счетным
|
Alfucio |
5 |
588 |
17.12.2010, 16:03
ewert
|
|
Здравствуйте! Помогите доказать тождество (мат. логика)
|
Mary_strong |
11 |
1440 |
14.12.2010, 17:29
Виктор Викторов
|
|
Как построить ДМП-преобразователь?
|
crystalrose777 |
3 |
478 |
09.12.2010, 21:50
crystalrose777
|
|
Рекурсивно перечислимые множества
|
Everest |
9 |
933 |
09.12.2010, 21:31
Xaositect
|
|
Система аксиом фон Нёймана
|
Виктор Викторов |
6 |
803 |
05.12.2010, 22:21
Виктор Викторов
|
|
Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц
|
Samir |
5 |
720 |
05.12.2010, 01:25
Samir
|
|
Я тут подумал и решил, что должны выполнятся след. тождества
|
Иван_85 |
7 |
749 |
03.12.2010, 17:19
svv
|
|
Операции над высказываниями
[ На страницу: 1, 2, 3, 4 ]
|
Marina |
54 |
5742 |
29.11.2010, 14:09
Андрей АK
|
|
Аксиома фундирования
|
Виктор Викторов |
8 |
1251 |
27.11.2010, 03:02
Виктор Викторов
|
|
Помогите придумать алгоритм для машины Тьюринга
|
Samir |
8 |
1208 |
26.11.2010, 17:47
Toucan
|
|
Принцип подстановки
|
Виктор Викторов |
6 |
972 |
25.11.2010, 05:13
Виктор Викторов
|
|
Выводимости исчисления высказываний
|
Tribi |
5 |
1534 |
24.11.2010, 19:16
Tribi
|
|
Исчисления предикатов
|
bonika |
7 |
840 |
22.11.2010, 15:08
Maslov
|
|
О комбинаторах
|
arseniiv |
1 |
315 |
21.11.2010, 23:37
Xaositect
|
|
Не могу понять смысл фразы :)
|
Чудо-в-перьях |
6 |
1107 |
21.11.2010, 17:21
Чудо-в-перьях
|
|
Задание с логическими высказываниями
|
krokha |
10 |
904 |
17.11.2010, 20:04
krokha
|
|
Конечных множеств счётное число(?)
[ На страницу: 1, 2 ]
|
arseniiv |
27 |
2960 |
17.11.2010, 14:05
arseniiv
|
|
Рефлексивность композиции рефлексивных отношений
|
NewStrannik |
2 |
506 |
15.11.2010, 19:56
NewStrannik
|
|
Аксиома бесконечности
[ На страницу: 1, 2 ]
|
Виктор Викторов |
21 |
2525 |
15.11.2010, 16:02
Виктор Викторов
|
|
Помогите доказать в исчислении высказываний
|
dirkul |
14 |
3376 |
15.11.2010, 10:05
dirkul
|
|
Опять непонятки с теоремой Цермело
|
caxap |
8 |
882 |
12.11.2010, 20:05
Виктор Викторов
|
|
Доказательства от противного
|
ИС |
14 |
2015 |
12.11.2010, 15:14
Виктор Викторов
|
|
Логические штучки (аксиомы исчисления высказываний)
|
arseniiv |
8 |
988 |
10.11.2010, 18:52
arseniiv
|
|
Логика. Импликация. Закон исключенного третьего.
|
krokha |
5 |
682 |
08.11.2010, 01:49
Виктор Викторов
|
|
свойство замкнутых классов
|
Marsel |
5 |
730 |
06.11.2010, 13:13
ИСН
|
|
Верещагин, Шень. Задача 122: |A^A|=|2^A|
|
caxap |
6 |
842 |
03.11.2010, 22:59
caxap
|
