 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 8, 9, 10, 11, 12, 13, 14 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11194 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Независимость аксиомы Паша | 3 |
578 |
28.01.2011, 10:39 mihailm |
|||
|
доказательство тождества (ФАЛ) | 10 |
1099 |
27.01.2011, 16:09 Мастак |
|||
|
мат. логика: что можно использовать в аксиоматическом методе | 4 |
606 |
27.01.2011, 16:07 Di081 |
|||
|
Подобное отображение упорядоченного множества | 6 |
901 |
26.01.2011, 17:13 Виктор Викторов |
|||
|
задача на вычислимо-перечислимость множества | 1 |
345 |
25.01.2011, 21:44 Профессор Снэйп |
|||
|
Теореия алгоритмов(посоветуйте задачник) | 2 |
497 |
24.01.2011, 23:46 Lazy |
|||
|
Вопросы экзаменатора (мат. логика и теория алгоритмов) | 7 |
1144 |
24.01.2011, 14:20 Xaositect |
|||
|
про алеф-один | 13 |
2214 |
17.01.2011, 18:37 BapuK |
|||
|
Совершенная конъюнктивная нормальная форма и тавтологии | 6 |
1016 |
16.01.2011, 23:02 creative |
|||
 |
Задача на предикаты (привести к предваренной нормальн форме) | 71 |
18520 |
16.01.2011, 13:28 Чудо-в-перьях |
|||
|
Контининтуальные множества | 22 |
2965 |
13.01.2011, 18:47 Виктор Викторов |
|||
|
автомат для максимума языка | 5 |
676 |
13.01.2011, 16:49 Профессор Снэйп |
|||
|
Множества Хинтикки: как правильно построить? | 15 |
2674 |
13.01.2011, 14:15 Чудо-в-перьях |
|||
|
NP-полнота | 1 |
394 |
07.01.2011, 16:46 Xaositect |
|||
|
а можно ли аксиому выбора формулировать так: | 4 |
733 |
02.01.2011, 15:26 Виктор Викторов |
|||
|
Привести в базис Пирса. Правильно ли? | 1 |
408 |
01.01.2011, 17:59 cyb12 |
|||
|
Задача по Машинам Тьюринга. | 2 |
614 |
31.12.2010, 01:23 Профессор Снэйп |
|||
|
Формула счетного множества в сигнатуре теории множеств | 1 |
372 |
31.12.2010, 00:57 Профессор Снэйп |
|||
|
мощность множества всех перестановок натурального ряда | 16 |
2331 |
29.12.2010, 22:53 Dialectic |
|||
|
Упростить ПФ | 5 |
719 |
23.12.2010, 13:35 Sonic86 |
|||
|
ДНФ и КНФ | 2 |
681 |
23.12.2010, 12:24 Мироника |
|||
|
Позволяют ли правила вывода доказать ложность умозаключения? | 17 |
1892 |
23.12.2010, 00:23 Maslov |
|||
|
Определение функции одной независимой переменной. | 7 |
3671 |
21.12.2010, 23:25 AD |
|||
|
Дескриптивная сложность языка | 1 |
564 |
19.12.2010, 15:45 Xaositect |
|||
|
Доказ. равномощн. беск. мн. и его объед. с кон. или счетным | 5 |
652 |
17.12.2010, 16:03 ewert |
|||
|
Здравствуйте! Помогите доказать тождество (мат. логика) | 11 |
1554 |
14.12.2010, 17:29 Виктор Викторов |
|||
|
Как построить ДМП-преобразователь? | 3 |
514 |
09.12.2010, 21:50 crystalrose777 |
|||
|
Рекурсивно перечислимые множества | 9 |
1021 |
09.12.2010, 21:31 Xaositect |
|||
|
Система аксиом фон Нёймана | 6 |
884 |
05.12.2010, 22:21 Виктор Викторов |
|||
|
Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц | 5 |
770 |
05.12.2010, 01:25 Samir |
|||
|
Я тут подумал и решил, что должны выполнятся след. тождества | 7 |
813 |
03.12.2010, 17:19 svv |
|||
|
Операции над высказываниями | 54 |
6159 |
29.11.2010, 14:09 Андрей АK |
|||
|
Аксиома фундирования | 8 |
1348 |
27.11.2010, 03:02 Виктор Викторов |
|||
|
Помогите придумать алгоритм для машины Тьюринга | 8 |
1279 |
26.11.2010, 17:47 Toucan |
|||
|
Принцип подстановки | 6 |
1041 |
25.11.2010, 05:13 Виктор Викторов |
|||
|
Выводимости исчисления высказываний | 5 |
1593 |
24.11.2010, 19:16 Tribi |
|||
|
Исчисления предикатов | 7 |
913 |
22.11.2010, 15:08 Maslov |
|||
|
О комбинаторах | 1 |
334 |
21.11.2010, 23:37 Xaositect |
|||
|
Не могу понять смысл фразы :) | 6 |
1173 |
21.11.2010, 17:21 Чудо-в-перьях |
|||
|
Задание с логическими высказываниями | 10 |
1011 |
17.11.2010, 20:04 krokha |
|||
|
Конечных множеств счётное число(?) | 27 |
3231 |
17.11.2010, 14:05 arseniiv |
|||
|
Рефлексивность композиции рефлексивных отношений | 2 |
556 |
15.11.2010, 19:56 NewStrannik |
|||
|
Аксиома бесконечности | 21 |
2881 |
15.11.2010, 16:02 Виктор Викторов |
|||
|
Помогите доказать в исчислении высказываний | 14 |
3548 |
15.11.2010, 10:05 dirkul |
|||
|
Опять непонятки с теоремой Цермело | 8 |
975 |
12.11.2010, 20:05 Виктор Викторов |
|||
|
Доказательства от противного | 14 |
2170 |
12.11.2010, 15:14 Виктор Викторов |
|||
|
Логические штучки (аксиомы исчисления высказываний) | 8 |
1090 |
10.11.2010, 18:52 arseniiv |
|||
|
Логика. Импликация. Закон исключенного третьего. | 5 |
734 |
08.11.2010, 01:49 Виктор Викторов |
|||
|
свойство замкнутых классов | 5 |
775 |
06.11.2010, 13:13 ИСН |
|||
|
Верещагин, Шень. Задача 122: |A^A|=|2^A| | 6 |
915 |
03.11.2010, 22:59 caxap |
|||
| Страница 11 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 8, 9, 10, 11, 12, 13, 14 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |