зывать теоремы. Например, в 1781 г. была открыта планета Уран. Наблюдения показали, что движение этой планеты отличается от теоретически вычисленного движения. Французский ученый Леверье (1811-1877гг. ), логически рассуждая и выполнив довольно сложные вычисления, определил влияние на Уран другой планеты и указал место ее нахождения. В 1846 г. астроном Галле подтвердил существование планеты, которая была названа Нептун. При этом они использовали логику математических рассуждений и вычислений.
Второй исходной точкой наших рассмотрений является выяснение того, что значит, что математическая функция вычислима и ее можно вычислить с помощью некоторого алгоритма, формального правила, точно описанной процедуры. У этих двух исходных постановок есть много общего, они естественно объединяются под общим названием "математическая логика", где под математической логикой понимается прежде всего логика математических рассуждений и математических действий.
Я выбрала именно эту тему, потому что владение элементами математической логики поможет мне в моей будущей экономической профессии. Ведь маркетолог анализирует тенденции рынка, цены, объём оборота и методы маркетинга, собирает данные о конкурирующих организациях, выдаёт рекомендации. Для этого нужно использовать знание логики.
Цель работы: изучить и использовать возможности математической логики в решении проблем в различных областях и деятельности человека.
Задачи:
1. Проанализировать литературу о сущности и возникновении математической логики.
2. Изучить элементы математической логики.
3. Подобрать и решить задачи с элементами математической логики.
Методы: анализ литературы, понятий, метод аналогий в решении задач, самонаблюдение.
1. Из истории возникновения мате
Страницы: << < 1 | 2 | 3 | 4 > >>