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

Элементы математической логики

Номер заказа
137227
Создан
18 сентября 2014
Выполнен
19 сентября 2014
Стоимость работы
400
Проблема по высшей математике. Срочно закажу реферат по высшей математике. Есть буквально 1 день. Тема работы «Элементы математической логики ».
Всего было
18 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу
Или вы можете купить эту работу...
Страниц: 17
Оригинальность: Неизвестно
400
Не подошла
данная работа?
Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу

нет
Введение
Логика — наука, изучающая с формальной точки зрения понятия, методы их определения и преобразования, суждения о них и структуры доказательных рассуждений. Ее создание сделало возможным развитие европейской науки, а ее переход на стадию математической логики оказал большое влияние на всю европейскую научную мысль.
Логика имеет уникальную историю. Она была создана в классической Греции, практически одним человеком – Аристотелем.
Логику Аристотеля часто называют философской либо формальной. Она стала неотъемлемым компонентом образования европейских философов, юристов, теологов, т. е. людей, длительное время составлявших подавляющую и самую влиятельную часть образованного слоя общества.
Древние математики заметили, что логика могла бы стать математической наукой. Предвестники нового Показать все
Содержание

Введение 3
Основные понятия алгебры высказываний. Логические высказывания, логические операции над высказываниями 4
Строение теорем. Необходимое и достаточное условия 8
Булева алгебра 10
Предикаты. Кванторы всеобщности и существования 12
Применение математической логики в алгоритмизации, теории автоматов, языках и грамматике 15
Литература 17

Литература
1. Непейвода Н.Н. Прикладная логика/ Н.Н. Непейвода. – Изд. НГУ, 2000. – 494 с.
2. Шатурная О.С. Математическая логика и теория алгоритмов. Конспект лекций/ О.С. Шатурная – Саратов.: СГТУ, 2003. – 26 с.
3. Шевелёв Ю. П. Дискретная математика/ Ю. П. Шевелёв. – Томск, 2003. – 119 с.
4. Википедия. Интернет [электронный ресурс] – Режим доступа. – URL: http://ru.wikipedia.org/wiki
5. Математический форум Math Help Planet. Приложение алгебры высказываний к доказательству теорем. Интернет [электронный ресурс] – Режим доступа. – URL: http://mathhelpplanet.com
6. Каширин И. Теория автоматов. Интернет [электронный ресурс] – Режим доступа. – URL: http://teorya.hut.ru/page2.htm
7. Области применения математической логики. Интернет [электронный ресурс] – Режим доступа. – URL: http://ulfek. Показать все
Это утверждение может быть справедливым, и тогда оно называется теоремой, обратной для теоремы X→Y, которая, в свою очередь, называется прямой теоремой. Если же утверждение не выполняется, то говорят, что обратная теорема для теоремы неверна. Таким образом, при доказательстве теоремы нужно четко выделять, каково ее условие и что доказывается. Доказательство прямой теоремы не дает оснований для вывода о том, что и обратная теорема также верна. Обратная теорема требует специальной проверки. Это обусловлено тем, что формулы X→Y и Y→X, выражающие структуры прямой и обратной теорем, не равносильны. Их неравносильность можно усмотреть также из таблиц истинности данных формул [5].Необходимое и достаточное условияС понятиями прямой и обратной теорем тесно связан вопрос о необходимых и достаточны Показать все
Автор24 - это фриланс-биржа. Все работы, представленные на сайте, загружены нашими пользователями, которые согласились с правилами размещения работ на ресурсе и обладают всеми необходимыми авторскими правами на данные работы. Скачивая работу вы соглашаетесь с тем что она не будет выдана за свою, а будет использована использовать исключительно как пример или первоисточник с обязательной ссылкой на авторство работы. Если вы правообладатель и считаете что данная работа здесь размещена без вашего разрешения - пожалуйста, заполните форму и мы обязательно удалим ее с сайта. Заполнить форму
Оценим бесплатно
за 10 минут
Эта работа вам не подошла?
У наших авторов вы можете заказать любую учебную работу от 200 руб.
Оформите заказ и авторы начнут откликаться уже через 10 минут!
Заказать реферат