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

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

Номер заказа
137227
Создан
18 сентября 2014
Выполнен
2 января 1970
Стоимость работы
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 минут!
Заказать реферат