 |
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
|
Научный форум dxdyМатематика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки |
| На страницу Пред. 1 ... 8, 9, 10, 11, 12, 13, 14 ... 17 След. |
|
|
|||||||
| Темы | Автор | Ответы | Просмотры | Последнее сообщение | |||
|---|---|---|---|---|---|---|---|
| Объявления | |||||||
 |
ВАЖНО! Прочтите перед написанием сообщения в этот раздел! | 1 |
11264 |
12.02.2012, 16:29 PAV |
|||
| Темы | |||||||
 |
Независимость аксиомы Паша | 3 |
603 |
28.01.2011, 10:39 mihailm |
|||
|
доказательство тождества (ФАЛ) | 10 |
1160 |
27.01.2011, 16:09 Мастак |
|||
|
мат. логика: что можно использовать в аксиоматическом методе | 4 |
625 |
27.01.2011, 16:07 Di081 |
|||
|
Подобное отображение упорядоченного множества | 6 |
945 |
26.01.2011, 17:13 Виктор Викторов |
|||
|
задача на вычислимо-перечислимость множества | 1 |
362 |
25.01.2011, 21:44 Профессор Снэйп |
|||
|
Теореия алгоритмов(посоветуйте задачник) | 2 |
528 |
24.01.2011, 23:46 Lazy |
|||
|
Вопросы экзаменатора (мат. логика и теория алгоритмов) | 7 |
1188 |
24.01.2011, 14:20 Xaositect |
|||
|
про алеф-один | 13 |
2290 |
17.01.2011, 18:37 BapuK |
|||
|
Совершенная конъюнктивная нормальная форма и тавтологии | 6 |
1062 |
16.01.2011, 23:02 creative |
|||
 |
Задача на предикаты (привести к предваренной нормальн форме) | 71 |
18681 |
16.01.2011, 13:28 Чудо-в-перьях |
|||
|
Контининтуальные множества | 22 |
3076 |
13.01.2011, 18:47 Виктор Викторов |
|||
|
автомат для максимума языка | 5 |
717 |
13.01.2011, 16:49 Профессор Снэйп |
|||
|
Множества Хинтикки: как правильно построить? | 15 |
2719 |
13.01.2011, 14:15 Чудо-в-перьях |
|||
|
NP-полнота | 1 |
418 |
07.01.2011, 16:46 Xaositect |
|||
|
а можно ли аксиому выбора формулировать так: | 4 |
776 |
02.01.2011, 15:26 Виктор Викторов |
|||
|
Привести в базис Пирса. Правильно ли? | 1 |
431 |
01.01.2011, 17:59 cyb12 |
|||
|
Задача по Машинам Тьюринга. | 2 |
635 |
31.12.2010, 01:23 Профессор Снэйп |
|||
|
Формула счетного множества в сигнатуре теории множеств | 1 |
389 |
31.12.2010, 00:57 Профессор Снэйп |
|||
|
мощность множества всех перестановок натурального ряда | 16 |
2408 |
29.12.2010, 22:53 Dialectic |
|||
|
Упростить ПФ | 5 |
746 |
23.12.2010, 13:35 Sonic86 |
|||
|
ДНФ и КНФ | 2 |
705 |
23.12.2010, 12:24 Мироника |
|||
|
Позволяют ли правила вывода доказать ложность умозаключения? | 17 |
1962 |
23.12.2010, 00:23 Maslov |
|||
|
Определение функции одной независимой переменной. | 7 |
3718 |
21.12.2010, 23:25 AD |
|||
|
Дескриптивная сложность языка | 1 |
575 |
19.12.2010, 15:45 Xaositect |
|||
|
Доказ. равномощн. беск. мн. и его объед. с кон. или счетным | 5 |
689 |
17.12.2010, 16:03 ewert |
|||
|
Здравствуйте! Помогите доказать тождество (мат. логика) | 11 |
1599 |
14.12.2010, 17:29 Виктор Викторов |
|||
|
Как построить ДМП-преобразователь? | 3 |
531 |
09.12.2010, 21:50 crystalrose777 |
|||
|
Рекурсивно перечислимые множества | 9 |
1069 |
09.12.2010, 21:31 Xaositect |
|||
|
Система аксиом фон Нёймана | 6 |
906 |
05.12.2010, 22:21 Виктор Викторов |
|||
|
Алгоритм для Машины Тьюринга: 3 состояния, записать 6 единиц | 5 |
804 |
05.12.2010, 01:25 Samir |
|||
|
Я тут подумал и решил, что должны выполнятся след. тождества | 7 |
850 |
03.12.2010, 17:19 svv |
|||
|
Операции над высказываниями | 54 |
6331 |
29.11.2010, 14:09 Андрей АK |
|||
|
Аксиома фундирования | 8 |
1388 |
27.11.2010, 03:02 Виктор Викторов |
|||
|
Помогите придумать алгоритм для машины Тьюринга | 8 |
1332 |
26.11.2010, 17:47 Toucan |
|||
|
Принцип подстановки | 6 |
1073 |
25.11.2010, 05:13 Виктор Викторов |
|||
|
Выводимости исчисления высказываний | 5 |
1628 |
24.11.2010, 19:16 Tribi |
|||
|
Исчисления предикатов | 7 |
959 |
22.11.2010, 15:08 Maslov |
|||
|
О комбинаторах | 1 |
351 |
21.11.2010, 23:37 Xaositect |
|||
|
Не могу понять смысл фразы :) | 6 |
1215 |
21.11.2010, 17:21 Чудо-в-перьях |
|||
|
Задание с логическими высказываниями | 10 |
1073 |
17.11.2010, 20:04 krokha |
|||
|
Конечных множеств счётное число(?) | 27 |
3360 |
17.11.2010, 14:05 arseniiv |
|||
|
Рефлексивность композиции рефлексивных отношений | 2 |
590 |
15.11.2010, 19:56 NewStrannik |
|||
|
Аксиома бесконечности | 21 |
2943 |
15.11.2010, 16:02 Виктор Викторов |
|||
|
Помогите доказать в исчислении высказываний | 14 |
3577 |
15.11.2010, 10:05 dirkul |
|||
|
Опять непонятки с теоремой Цермело | 8 |
1008 |
12.11.2010, 20:05 Виктор Викторов |
|||
|
Доказательства от противного | 14 |
2254 |
12.11.2010, 15:14 Виктор Викторов |
|||
|
Логические штучки (аксиомы исчисления высказываний) | 8 |
1169 |
10.11.2010, 18:52 arseniiv |
|||
|
Логика. Импликация. Закон исключенного третьего. | 5 |
772 |
08.11.2010, 01:49 Виктор Викторов |
|||
|
свойство замкнутых классов | 5 |
814 |
06.11.2010, 13:13 ИСН |
|||
|
Верещагин, Шень. Задача 122: |A^A|=|2^A| | 6 |
959 |
03.11.2010, 22:59 caxap |
|||
| Страница 11 из 17 |
[ Тем: 820 ] | На страницу Пред. 1 ... 8, 9, 10, 11, 12, 13, 14 ... 17 След. |
Модераторы: Модераторы Математики, Супермодераторы
Кто сейчас на конференции |
Сейчас этот форум просматривают: ClaudeBot |