Скачать реферат #658 «Неразрешимость логики первого порядка»
| Название: | Неразрешимость логики первого порядка |
| Роздел: | Математика |
| Тип: | Реферат |
| Автор: | Неизвестен |
| Размер: | 70 Кбайт |
| Дата публикации: | 28.03.2011 |
Скачать реферат | |
Поиск рефератов
Loading
Последние рефераты раздела
- Анализ надёжности и резервирование технической системы
- Алгоритм решения Диофантовых уравнений
- Алгебраическое доказательство теоремы Пифагора
- Алгоритм муравья
- Векторная алгебра и аналитическая геометрия
- Зарождение и создание теории действительного числа
- Вероятностные процессы и математическая статистика в автоматизированных системах