Практическое применение математической логики

Чтобы рассказать о применении математической логики,нам следует знает что же это такое: Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. 1)Применение этот раздел математики нашел в компьютерах: Образно выражаясь, можно сказать, что компьютер состоит из материальной части и математического (программного) обеспечения, или, используя профессиональную лексику, из "железа" и "обуви". И к тому, и к другому имеет самое непосредственное отношение математическая логика, ни первое, ни второе без математической логики обойтись не могут. Ранее было рассмотрено применение математической логики к релейно-контактным (переключательным) схемам, являющимся неотъемлемой составной частью современного компьютера. Описание компьютерных программ с помощью математической логики Алгоритмическая логика (или динамическая логика, или программная логика, или логика Хоара) — раздел теоретического программирования, в рамках которого исследуются аксиоматические системы, представляющие средства для задания синтаксиса и семантики языков программирования, а также для синтеза компьютерных программ и их верификации (проверки правильности работы). Языки алгоритмических логик основываются на логике предикатов 1-го порядка и включают в себя высказывания вида \{A\}S\{B\}, читающиеся следующим образом: "Если до исполнения оператора S было выполнено A, то после него будет выполнено B". Здесь A называется предусловием, B — постусловием, либо обещанием S. На этом языке даются логические описания операторов присвоения и условного перехода, ветвления, цикла. 2)Применение методов дискретной математики в экономике При исследовании, анализе и решении управленческих проблем, моделировании объектов исследования и анализа широко используются методы формализированного представления, являющегося предметом рассмотрения в дискретной математике. К ним относятся методы, основанные на теоретико-множественных представлениях, графы, алгоритмы формальные системы, математическая логика. В экономике существует множество отраслей, использующих методы дискретной математики. Это и эконометрика, и логистика, и математическое моделирование. Так, в эконометрике булевские переменные применяются в исследовании регрессионных моделей с переменной структурой и в построении регрессионных моделей по неоднородным данным. В этом случае рассматривается лишь одно уравнение регрессии, куда вводятся булевские переменные, которые характеризуют изучаемый фактор. Данный метод удобен для выявления зависимости модели от некоторого фактора. Теория графов широко используется в логистике для описания потоков, задания маршрутов. Так схему дорог удобнее представить в виде ориентированного графа, и известными нам методами выбрать кратчайший путь. В настоящее время, прокладывая маршрут, нельзя не брать во внимание и пропускную способность магистралей, интерпретируя маршруты в графы, можно получить экономически выгодное решение. При помощи теории нечетких множеств, методом нечеткого предпочтения, можно выбрать конкурентоспособный товар или услугу. Поэтому, данная теория применяется в маркетологии, при исследовании рынков различных экономических благ. 2.1 Практическое применение жадного алгоритма. а территории некого города N размещены заводы и магазины, в которые поставляется продукция с этих заводов. В результате разработки были определены возможные трассы для прокладки коммуникаций и оценена стоимость их создания для каждой трассы. Стоимость прокладки коммуникаций для трассы между заводом №1 и магазином удобрений составляет 15 у.е., между заводом №1 и заводом №3 – 85 у.е., между заводом №1 и хлебозаводом – 20 у.е. Между магазином №1 и заводом №2 составит 25 у.е., между магазином №1 и обувной фабрикой – 65 у.е. Стоимость прокладки коммуникаций для трассы, соединяющей хлебозавод и магазин №2 - 5 у.е., между хлебозаводом и кафе – 50 у.е., между заводом №2 и кафе - 20 у.е., между магазином №2 и продуктовым магазином - 20 у.е., между продуктовым магазином и обувной фабрикой - 25 у.е, между продуктовым магазином и кафе – 35 у.е., между обувной фабрикой и магазином №3 - 15 у.е, между обувной фабрикой и аптекой – 40 у.е., между кафе и аптекой - 10 у.е., между магазином №3 и торговым центром - 20 у.е., между аптекой и заводом №3 составит 30 у.е, между аптекой и торговым центром – 45 у.е., между заводом №3 и торговым центром, - 25 у.е. Необходимо, чтобы коммуникации связали все объекты, затраты на прокладку данных коммуникаций должны быть минимальны. Заключение: Хоть я представил применение математической логики лишь в двух сферах,она имеет огромное значения во всей нашей жизни.