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

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

Номер заказа
137227
Создан
18 сентября 2014
Выполнен
19 сентября 2014
Стоимость работы
400
Проблема по высшей математике. Срочно закажу реферат по высшей математике. Есть буквально 1 день. Тема работы «Элементы математической логики ».
Всего было
18 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 72000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свой Реферат
Или вы можете купить эту работу...
Страниц: 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 минут!
Заказать реферат
Другие работы по этому предмету
Математическая модель прогнозирования цен акций
Дипломные работы, Высшая математика
Стоимость 1300 руб.
Определение характеристик вала по спектру частот его крутильных колебаний
Дипломные работы, Высшая математика
Стоимость 2000 руб.
Численный анализ газодинамических течений
Дипломные работы, Высшая математика
Стоимость 2500 руб.
Численное моделирование двумерной обратной задачи для параболического уравнения
Дипломные работы, Высшая математика
Стоимость 5000 руб.
Проективное соответствие форм первой и второй ступеней
Дипломные работы, Высшая математика
Стоимость 3000 руб.
Нормальное распределение в гильбертовом пространстве
Дипломные работы, Высшая математика
Стоимость 1800 руб.
Линейные интегральные уравнения Фредгольма 2-го рода
Дипломные работы, Высшая математика
Стоимость 3800 руб.