|
|
|
Регистрация Восстановить пароль |
|||||||
| Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
||||
 |
|
|
Опции темы | Поиск в этой теме |
20.05.2012, 17:29
|
#1 |
|
Регистрация: 31.03.2012
Сообщений: 3
|
Как доказать? (мат. логика)
Здравствуйте!
У меня вопрос: такой, как доказать, что дополнение множества геделевых номеров Tk* невыразимо в К. Подскажите в какую сторону копать, а то чего то я застрял на этой задачке. Спасибо! |
|
|
|
Похожие темы
|
||||
| Тема | Автор | Раздел | Ответов | Последнее сообщение |
| Мат програмка с росдела мат логики. | Sheva777 | Помощь студентам | 4 | 23.03.2012 23:48 |
| Логика предикатов (мат логика 2 задачи) | Deathcube | Помощь студентам | 0 | 27.02.2012 18:28 |
| Доказать, что бд относится к 3 нормальной форме, если нет то к какой | mo_Ouse | Microsoft Office Access | 0 | 22.12.2011 20:01 |
| Как разьяснить\доказать | HellMercenaries | Свободное общение | 15 | 28.07.2009 15:02 |
| доказать формулой(жел-но в градусах) Равнобедренный тупоугольный треугольник | ahtung | Microsoft Office Excel | 20 | 24.12.2008 11:44 |
