Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу

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

Номер заказа
78952
Создан
21 июня 2013
Выполнен
4 января 1970
Стоимость работы
490
Проблема по высшей математике. Срочно закажу курсовую работу по высшей математике. Есть буквально 3 дня. Тема работы «Перевод теорем с естественного языка на формальный. ».
Всего было
15 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу
Или вы можете купить эту работу...
Страниц: 39
Оригинальность: Неизвестно
490
Не подошла
данная работа?
Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу

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

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

1.Клини С. Математическая логика: Пер. с англ. — М.: Мир, 1976.
2.Ковалев В.В. Финансовый анализ: методы и процедуры. — М.: Финансы и статистика, 2001. — 560 с.
3.Котлер Ф. Основы маркетинга: Пер. с англ. — М.: Прогресс, 1993. — 736 с.
4.Левин Р., Дранг Д., Эдельсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике: Пер. с англ. — М.: Финансы и статистика, 1991. — 239 с.
5.Мишенин А.И. Теория экономических информационных систем. — М.: Финансы и статистика, 1993. — 166 с.
6.Нейлор К. Как построить свою экспертную систему. — М.: Энергоатомиздат, 1991. — 288 с.
7.Осовский С. Нейронные сети для обработки информации: Пер. с польского И.Д. Руданского. — М.: Финансы и статистика, 2002. — 344 с.
8.Павлов С.Н. Показать все
Символически это можно записать так: .6Для того чтобы дифференцируемая на некотором промежутке функция была постоянной необходимо и достаточно, чтобы выполнялось условие . .7Наибольшим общим делителем чисел и называется наибольшее натуральное число , являющееся делителем как для , так и для :делится на делится на 8Всякое целое разлагается на произведение простых сомножителей и притом единственным образом (с точностью до порядка сомножителей).
Автор24 - это фриланс-биржа. Все работы, представленные на сайте, загружены нашими пользователями, которые согласились с правилами размещения работ на ресурсе и обладают всеми необходимыми авторскими правами на данные работы. Скачивая работу вы соглашаетесь с тем что она не будет выдана за свою, а будет использована исключительно как пример или первоисточник с обязательной ссылкой на авторство работы. Если вы правообладатель и считаете что данная работа здесь размещена без вашего разрешения - пожалуйста, заполните форму и мы обязательно удалим ее с сайта. Заполнить форму
Оценим бесплатно
за 10 минут
Эта работа вам не подошла?
У наших авторов вы можете заказать любую учебную работу от 200 руб.
Оформите заказ и авторы начнут откликаться уже через 10 минут!
Заказать курсовую работу