Вход

Перевод теорем с естественного языка на формальный.

Рекомендуемая категория для самостоятельной подготовки:
Курсовая работа*
Код 328866
Дата создания 08 июля 2013
Страниц 39
Мы сможем обработать ваш заказ (!) 19 марта в 16:00 [мск]
Файлы будут доступны для скачивания только после обработки заказа.
1 310руб.
КУПИТЬ

Содержание

Оглавление
Введение
Словарь, синтаксис, семантика
Выполнимые и общезначимые формулы
Дизъюнкты и нормальные формы
Принцип резолюций
Доказательства невыполнимости, основанные на принципе резолюций
Исчисление предикатов
Подстановка и конкретизация
Предваренная и нормальные формы
Сколемовские и клаузальные формы
Унификация
Логическое представление
Примеры
Заключение
Список литературы

Введение

Перевод теорем с естественного языка на формальный.

Фрагмент работы для ознакомления

Символически это можно записать так: .6Для того чтобы дифференцируемая на некотором промежутке функция была постоянной необходимо и достаточно, чтобы выполнялось условие . .7Наибольшим общим делителем чисел и называется наибольшее натуральное число , являющееся делителем как для , так и для :делится на делится на 8Всякое целое разлагается на произведение простых сомножителей и притом единственным образом (с точностью до порядка сомножителей).9Теорема: Банаха-Штенгауза AnA n слабо 1) {║An║}- ограничена 2) AnA, x’X, x’=x10Теорема: Хана Банаха.

Список литературы

СПИСОК ЛИТЕРАТУРЫ

1.Клини С. Математическая логика: Пер. с англ. — М.: Мир, 1976.
2.Ковалев В.В. Финансовый анализ: методы и процедуры. — М.: Финансы и статистика, 2001. — 560 с.
3.Котлер Ф. Основы маркетинга: Пер. с англ. — М.: Прогресс, 1993. — 736 с.
4.Левин Р., Дранг Д., Эдельсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике: Пер. с англ. — М.: Финансы и статистика, 1991. — 239 с.
5.Мишенин А.И. Теория экономических информационных систем. — М.: Финансы и статистика, 1993. — 166 с.
6.Нейлор К. Как построить свою экспертную систему. — М.: Энергоатомиздат, 1991. — 288 с.
7.Осовский С. Нейронные сети для обработки информации: Пер. с польского И.Д. Руданского. — М.: Финансы и статистика, 2002. — 344 с.
8.Павлов С.Н.Системы искусственного интеллекта: Учебное методическое пособие. — Томск: Томский межвузовский центр дистанционного образования, 2002. — 93 с.
9.Павлов С.Н. Интеллектуальные информационные системы: Учебное пособие. — Томск: Томский межвузовский центр дистанционного образования, 2004. — 328 с.
10. Павлов С.Н. Системы искусственного интеллекта: Учебное пособие. — Томск: Томский межвузовский центр дистанционного образования, 2002. — 187 с.
11. Руководство по дипломному проектированию: Учебное пособие / Составители: М.А. Афонасова, Н.Г. Орликова, Ф.А. Красина. — Томск: Томский межвузовский центр дистанционного образования, 2003. — 91 с.
12. Савицкая Г.Н. Анализ хозяйственной деятельности предприятия. — Мн.: Новое знание, 2002. — 704 с.
13. Тельнов Ю.Ф. Интеллектуальные информационные системы в экономике. — М.: Московский государственный университет экономики, статистики и информатики, 1998. — 174 с.
14. Уэно Х., Кояма Т., Окамото Т., Мацуби Б., Исудзука М. Представление и использование знаний: Пер. с япон. / Под ред. Х. Уэно, М. Исудзука. — М.: Мир, 1989. — 220 с.
15. Цикритзис Д., Лоховски Ф. Модели данных / Пер. с англ. — М.: Финансы и статистика, 1985. — 344 с.
16. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем: Пер. с англ. — М.: Наука, 1983. — 358 с.
17. Шеремет А.Д., Сайфулин Р.С. Методика финансового анализа предприятия. — М.: ИНФРА, 1996. — 176 с.
18.Элти Дж., Кумбс М. Экспертные системы: концепции и примеры: Пер. с англ. — М.: Финансы и статистика, 1987. — 191 с.
Очень похожие работы
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00453
© Рефератбанк, 2002 - 2024