Формальные теории
© Н.М. Светлов, 2006-2010
/10
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Страхование
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Презентация на тему Формальные теории
Содержание
- 1. Формальные теории
- 2. Литература Лорьер Ж.-Л. Системы искусственного интеллекта. М.:
- 3. 1. Формальные теории Формальные теории © Н.М. Светлов, 2006-2010 /10
- 4. Граф доказательства теоремы 3 Аксиома 1 Аксиома
- 5. 2. Интерпретация формальной теории Формальные теории © Н.М. Светлов, 2006-2010 /10
- 6. 2. Интерпретация формальной теории Формальные теории © Н.М. Светлов, 2006-2010 /10
- 7. 2. Интерпретация формальной теории Формальные теории © Н.М. Светлов, 2006-2010 /10
- 8. 2. Интерпретация формальной теории Формальные теории © Н.М. Светлов, 2006-2010 /10
- 9. Формальные теории © Н.М. Светлов, 2006-2010 /10
- 10. 4. Понятие изоморфизма в терминах теории формальных систем Формальные теории © Н.М. Светлов, 2006-2010 /10
Литература Лорьер Ж.-Л. Системы искусственного интеллекта. М.: Мир, 1991. Формальные теории
© Н.М. Светлов, 2006-2010 /10
Слайд 1Лекция 12. Формальные теории
Содержание лекции:
Определение формальной теории
Интерпретация формальной теории
Теоремы ограничения
Понятие изоморфизма
в терминах теории формальных систем
Слайд 2Литература
Лорьер Ж.-Л. Системы искусственного интеллекта. М.: Мир, 1991.
Формальные теории
© Н.М. Светлов,
2006-2010
/10
Слайд 4Граф доказательства теоремы 3
Аксиома 1
Аксиома 2
Аксиома 3
Аксиома 4
Правило 1
Теорема 1
Правило 2
Теорема
2
Правило 3
Теорема 3
Формальные теории
© Н.М. Светлов, 2006-2010
/10
Слайд 9Формальные теории
© Н.М. Светлов, 2006-2010
/10
3. Теоремы ограничения
Вторая теорема Гёделя
В формальной арифметике
существуют такие формулы p, что ни p, ни ¬p не являются теоремами (1931 г.)
Теорема Тарского
Не все истинные формулы формальной арифметики являются её теоремами (1935 г.)
В арифметике понятие истинности неформализуемо
Теорема Чёрча
Исчисление предикатов первого порядка неразрешимо (1936 г.)
Теорема Тарского
Не все истинные формулы формальной арифметики являются её теоремами (1935 г.)
В арифметике понятие истинности неформализуемо
Теорема Чёрча
Исчисление предикатов первого порядка неразрешимо (1936 г.)
Слайд 104. Понятие изоморфизма в терминах теории формальных систем
Формальные теории
© Н.М. Светлов,
2006-2010
/10
