🗊Презентация Логика высказываний и булевы алгебры (Boolean Algebra and Logic)

Категория: Математика
Нажмите для полного просмотра!
Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №1Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №2Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №3Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №4Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №5Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №6Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №7Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №8Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №9Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №10Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №11Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №12Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №13Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №14Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №15Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №16Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №17Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №18Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №19Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №20Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №21Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №22Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №23Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №24Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №25Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №26Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №27Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №28Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №29Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №30Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №31Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №32Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №33Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №34Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №35
Скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Логика высказываний и булевы алгебры (Boolean Algebra and Logic). Доклад-сообщение содержит 35 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Логика высказываний и булевы алгебры (Boolean Algebra and Logic) Автор курса: Гринченков Дмитрий Валерьевич, доцент, к.т.н., заведующий кафедрой ПОВТ
Описание слайда:
Логика высказываний и булевы алгебры (Boolean Algebra and Logic) Автор курса: Гринченков Дмитрий Валерьевич, доцент, к.т.н., заведующий кафедрой ПОВТ

Слайд 2


Лекции – 18 часов Практические занятия – 18 часов Лабораторные работы – 18 часов Экзамен
Описание слайда:
Лекции – 18 часов Практические занятия – 18 часов Лабораторные работы – 18 часов Экзамен

Слайд 3


ВВЕДЕНИЕ
Описание слайда:
ВВЕДЕНИЕ

Слайд 4


Математическая логика (ее называют также формальной логикой, теорией доказательств) изучает законы и формы корректных человеческих рассуждений. Этот раздел математики имеет особое значение в изучении математических наук.
Описание слайда:
Математическая логика (ее называют также формальной логикой, теорией доказательств) изучает законы и формы корректных человеческих рассуждений. Этот раздел математики имеет особое значение в изучении математических наук.

Слайд 5


С одной стороны, предметом изучения математической логики является конкретная область знаний, связанная с расширением, развитием и формализацией положений и законов Булевой алгебры. Положения этой теории лежат в основе таких направлений исследований, как дискретная математика, функциональное и логическое программирование, системы искусственного интеллекта и др.
Описание слайда:
С одной стороны, предметом изучения математической логики является конкретная область знаний, связанная с расширением, развитием и формализацией положений и законов Булевой алгебры. Положения этой теории лежат в основе таких направлений исследований, как дискретная математика, функциональное и логическое программирование, системы искусственного интеллекта и др.

Слайд 6


С другой стороны, положения математической логики носят всеобщий характер, так как они определяют понятия и правила строгого выполнения логических доказательств. Строгое доказательство правильности тех или иных утверждений – это центральное звено любой математической теории.
Описание слайда:
С другой стороны, положения математической логики носят всеобщий характер, так как они определяют понятия и правила строгого выполнения логических доказательств. Строгое доказательство правильности тех или иных утверждений – это центральное звено любой математической теории.

Слайд 7


Главная цель математической логики  дать точное и адекватное определение понятия "математическое доказательство". Поскольку математика является наукой, в которой все утверждения доказываются с помощью умозаключений, математическая логика может представляться как инструмент (как совокупность средств) для описания правил построения множества других математических теорий.
Описание слайда:
Главная цель математической логики  дать точное и адекватное определение понятия "математическое доказательство". Поскольку математика является наукой, в которой все утверждения доказываются с помощью умозаключений, математическая логика может представляться как инструмент (как совокупность средств) для описания правил построения множества других математических теорий.

Слайд 8


С точки зрения построения математической теории весь комплекс знаний в некоторой предметной области удобно разделить на две части: Содержательная часть теории (семантика). Формальная часть теории (синтаксис).
Описание слайда:
С точки зрения построения математической теории весь комплекс знаний в некоторой предметной области удобно разделить на две части: Содержательная часть теории (семантика). Формальная часть теории (синтаксис).

Слайд 9


Содержательная часть теории (семантика), которая непосредственно связана с изучаемым объектом и позволяет описывать его поведение и свойства в терминах соответствующей области знания; все утверждения такого описания имеют содержательный смысл. Содержательная часть теории (семантика), которая непосредственно связана с изучаемым объектом и позволяет описывать его поведение и свойства в терминах соответствующей области знания; все утверждения такого описания имеют содержательный смысл.
Описание слайда:
Содержательная часть теории (семантика), которая непосредственно связана с изучаемым объектом и позволяет описывать его поведение и свойства в терминах соответствующей области знания; все утверждения такого описания имеют содержательный смысл. Содержательная часть теории (семантика), которая непосредственно связана с изучаемым объектом и позволяет описывать его поведение и свойства в терминах соответствующей области знания; все утверждения такого описания имеют содержательный смысл.

Слайд 10


Формальная часть теории (синтаксис), основу которой составляет набор правил, позволяющих осуществлять преобразования и формировать новые истинные утверждения на основе ранее доказанных. Эта часть теории носит абстрактный характер и не связывается с конкретным реальным объектом. Более того, полученные в формальной теории результаты могут относиться к большому количеству различных объектов реальной жизни.
Описание слайда:
Формальная часть теории (синтаксис), основу которой составляет набор правил, позволяющих осуществлять преобразования и формировать новые истинные утверждения на основе ранее доказанных. Эта часть теории носит абстрактный характер и не связывается с конкретным реальным объектом. Более того, полученные в формальной теории результаты могут относиться к большому количеству различных объектов реальной жизни.

Слайд 11


Пример. Рассмотрим цепочку логических рассуждений: - из А следует В; - из С следует А. Вывод: из С следует В. Эта цепочка рассуждений может иметь практически любое содержание.
Описание слайда:
Пример. Рассмотрим цепочку логических рассуждений: - из А следует В; - из С следует А. Вывод: из С следует В. Эта цепочка рассуждений может иметь практически любое содержание.

Слайд 12


Например: Все люди смертны. Сократ  человек. Следовательно, Сократ смертен. Все студенты сдали сессию. Петров  студент. Следовательно, Петров сдал сессию.
Описание слайда:
Например: Все люди смертны. Сократ  человек. Следовательно, Сократ смертен. Все студенты сдали сессию. Петров  студент. Следовательно, Петров сдал сессию.

Слайд 13


Обычно формальная теория (исчисление) строится по типовой схеме, предусматривающей определение символов, из которых строятся формулы, и правил, по которым доказывается истинность новых формул.
Описание слайда:
Обычно формальная теория (исчисление) строится по типовой схеме, предусматривающей определение символов, из которых строятся формулы, и правил, по которым доказывается истинность новых формул.

Слайд 14


Примером семантической теории является булева алгебра (алгебра высказываний). Одной из основных задач этой теории является установление значения истинности (или ложности) сложных (составных) высказываний и формирования в ее рамках средств, для описания реальных логических устройств.
Описание слайда:
Примером семантической теории является булева алгебра (алгебра высказываний). Одной из основных задач этой теории является установление значения истинности (или ложности) сложных (составных) высказываний и формирования в ее рамках средств, для описания реальных логических устройств.

Слайд 15


Другим примером построения математической теории является теория предикатов. Другим примером построения математической теории является теория предикатов. Семантическая часть этой теории – логика предикатов, она представляет расширение логики высказываний в части описания множества отношений и двоичных функций (в том числе функций непрерывных переменных).
Описание слайда:
Другим примером построения математической теории является теория предикатов. Другим примером построения математической теории является теория предикатов. Семантическая часть этой теории – логика предикатов, она представляет расширение логики высказываний в части описания множества отношений и двоичных функций (в том числе функций непрерывных переменных).

Слайд 16


Синтаксической частью этой теории является исчисление предикатов,  это формальная система, которая дает инструмент для доказательства истинных в данной теории утверждений (теорем).
Описание слайда:
Синтаксической частью этой теории является исчисление предикатов,  это формальная система, которая дает инструмент для доказательства истинных в данной теории утверждений (теорем).

Слайд 17


История развития Интерес к логике возник еще в VI  IV вв. до н.э. Оформление же ее как самостоятельной науки произошло в трудах греческого философа Аристотеля (384  322 гг. до н.э.), который в своих "Аналитиках" систематизи-ровал известные до него сведения, и эта система стала впоследствии называться формальной логикой.
Описание слайда:
История развития Интерес к логике возник еще в VI  IV вв. до н.э. Оформление же ее как самостоятельной науки произошло в трудах греческого философа Аристотеля (384  322 гг. до н.э.), который в своих "Аналитиках" систематизи-ровал известные до него сведения, и эта система стала впоследствии называться формальной логикой.

Слайд 18


Формальная логика в ее первоначальном виде, просуществовала без особых изменений двадцать столетий. Сравнительно рано возникла идея и о том, что, записав исходные посылки формулами, похожими на математические, удастся заменить все рассуждения формальными "вычислениями". Уже в средние века делались попытки даже создания таких "логических" машин.
Описание слайда:
Формальная логика в ее первоначальном виде, просуществовала без особых изменений двадцать столетий. Сравнительно рано возникла идея и о том, что, записав исходные посылки формулами, похожими на математические, удастся заменить все рассуждения формальными "вычислениями". Уже в средние века делались попытки даже создания таких "логических" машин.

Слайд 19


Развитие математики выявило недостатки логики, разработанной Аристотилем, и потребовало дальнейшего ее развития. Идеи о построении логики на математической основе были высказаны немецким математиком Г. Лейбницем (1646  1716) в конце XVII века.
Описание слайда:
Развитие математики выявило недостатки логики, разработанной Аристотилем, и потребовало дальнейшего ее развития. Идеи о построении логики на математической основе были высказаны немецким математиком Г. Лейбницем (1646  1716) в конце XVII века.

Слайд 20


Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволит всякое рассуждение заменить вычислением. Лейбниц говорил: «Мы употребляем знаки не только для того, чтобы передать наши мысли другим лицам, но и для того, что­бы облегчить сам процесс нашего мышления».
Описание слайда:
Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволит всякое рассуждение заменить вычислением. Лейбниц говорил: «Мы употребляем знаки не только для того, чтобы передать наши мысли другим лицам, но и для того, что­бы облегчить сам процесс нашего мышления».

Слайд 21


Первая реализация идей Лейбница, положившая начало современному аппарату математической логики (точнее, алгебре логики), принадлежит английскому ученому Дж. Булю (1815  1864). Он создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний.
Описание слайда:
Первая реализация идей Лейбница, положившая начало современному аппарату математической логики (точнее, алгебре логики), принадлежит английскому ученому Дж. Булю (1815  1864). Он создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний.

Слайд 22


Введение символических обозначений в логику имело огромное значение, именно благодаря введению символов в логику была получена основа для создания новой науки  математической логики. Применение математики к логике позволило представить логические теории в новой удобной форме и применить вычислительный аппарат к решению задач, ранее практически недоступных человеческому мышлению, что существенно расширило область логических исследований. Ставшие в конце XIX века актуальными вопросы обоснования основных математических понятий также имели логическую природу, что привело к дальнейшему активному развитию математической логики.
Описание слайда:
Введение символических обозначений в логику имело огромное значение, именно благодаря введению символов в логику была получена основа для создания новой науки  математической логики. Применение математики к логике позволило представить логические теории в новой удобной форме и применить вычислительный аппарат к решению задач, ранее практически недоступных человеческому мышлению, что существенно расширило область логических исследований. Ставшие в конце XIX века актуальными вопросы обоснования основных математических понятий также имели логическую природу, что привело к дальнейшему активному развитию математической логики.

Слайд 23


Особенности математического мышления объясняются особенностями математических абстракций и многообразием их взаимосвязей, которые отражаются в логической систематизации математики, в доказательстве математических теорем. Именно поэтому современную математическую логику определяют как раздел математики, посвященный изучению математических доказательств и вопросов оснований математики.
Описание слайда:
Особенности математического мышления объясняются особенностями математических абстракций и многообразием их взаимосвязей, которые отражаются в логической систематизации математики, в доказательстве математических теорем. Именно поэтому современную математическую логику определяют как раздел математики, посвященный изучению математических доказательств и вопросов оснований математики.

Слайд 24


Существенное развитие математическая логика получила в работах Г.Фреге (1848  1925), посвященных теории формальных языков, и Д.Пеано (1858  1932), который применил математическую логику для обоснования арифметики и теории множеств.
Описание слайда:
Существенное развитие математическая логика получила в работах Г.Фреге (1848  1925), посвященных теории формальных языков, и Д.Пеано (1858  1932), который применил математическую логику для обоснования арифметики и теории множеств.

Слайд 25


Однако особое значение этот раздел математики приобрел после инициативы Д.Гильберта (1862  1943), выступившего в 20-х годах прошлого века с программой обоснования математики на базе математической логики, именно с этого момента и начинается активное развитие современной математической логики.
Описание слайда:
Однако особое значение этот раздел математики приобрел после инициативы Д.Гильберта (1862  1943), выступившего в 20-х годах прошлого века с программой обоснования математики на базе математической логики, именно с этого момента и начинается активное развитие современной математической логики.

Слайд 26


Теории Д. Гильберта и его школа основывались на построении математических теорий как синтаксических теорий, в которых все утверждения записываются формулами в некотором алфавите и точно указываются правила вывода одних формул из других. В теорию как составная часть входит математическая логика. Таким образом, математическая теория, непротиворечивость которой требовалось доказать, стала предметом другой математической теории, которую Гильберт назвал метаматематикой, или теорией доказательств.
Описание слайда:
Теории Д. Гильберта и его школа основывались на построении математических теорий как синтаксических теорий, в которых все утверждения записываются формулами в некотором алфавите и точно указываются правила вывода одних формул из других. В теорию как составная часть входит математическая логика. Таким образом, математическая теория, непротиворечивость которой требовалось доказать, стала предметом другой математической теории, которую Гильберт назвал метаматематикой, или теорией доказательств.

Слайд 27


В связи с этим решается задача построения синтаксической, то есть формализованной аксиоматической теории самой математической логики. Выбирая по-разному системы аксиом и правила вывода одних формул из других, получают различные синтаксические логические теории. Каждую из них называют логическим исчислением.
Описание слайда:
В связи с этим решается задача построения синтаксической, то есть формализованной аксиоматической теории самой математической логики. Выбирая по-разному системы аксиом и правила вывода одних формул из других, получают различные синтаксические логические теории. Каждую из них называют логическим исчислением.

Слайд 28


Для математиков это открытие логических парадоксов, затронувших основы теории множеств. Распространение аксиоматического метода в построении различных математических теорий, в первую очередь геометрии, а затем арифметики, теории групп и т.д. В аксиоматическом построении математической теории предварительно выбираются некоторая система базовых понятий и отношения между ними. Эти понятия и отношения часто называются основными. Далее без доказательства принимаются основные положения рассматриваемой теории  аксиомы. Все дальнейшее содержание теории выводится логически из аксиом.
Описание слайда:
Для математиков это открытие логических парадоксов, затронувших основы теории множеств. Распространение аксиоматического метода в построении различных математических теорий, в первую очередь геометрии, а затем арифметики, теории групп и т.д. В аксиоматическом построении математической теории предварительно выбираются некоторая система базовых понятий и отношения между ними. Эти понятия и отношения часто называются основными. Далее без доказательства принимаются основные положения рассматриваемой теории  аксиомы. Все дальнейшее содержание теории выводится логически из аксиом.

Слайд 29


Впервые аксиоматическое построение математической теории было предпринято Евклидом в построении геометрии.
Описание слайда:
Впервые аксиоматическое построение математической теории было предпринято Евклидом в построении геометрии.

Слайд 30


Изложение этой теории в «Началах» Евклида не безупречно. Евклид здесь пытается дать определение исходных понятий (точки, прямой, плоскости). В доказательстве теорем используются нигде явно не сформулированные положения, которые считаются очевидными. Таким образом, в этом построении отсутствует необходимая логическая строгость, хотя истинность всех положений теории не вызывает сомнений. Такой подход к аксиоматическому построению теории оставался единственным до XIX века, позднее появляются различные варианты неклассических логик.
Описание слайда:
Изложение этой теории в «Началах» Евклида не безупречно. Евклид здесь пытается дать определение исходных понятий (точки, прямой, плоскости). В доказательстве теорем используются нигде явно не сформулированные положения, которые считаются очевидными. Таким образом, в этом построении отсутствует необходимая логическая строгость, хотя истинность всех положений теории не вызывает сомнений. Такой подход к аксиоматическому построению теории оставался единственным до XIX века, позднее появляются различные варианты неклассических логик.

Слайд 31


Непротиворечивость аксиоматической теории является одним из основных требований, предъявляемых к системе аксиом данной теории. Она означает, что из данной системы аксиом нельзя логическим путем вывести два противоречащих друг другу утверждения. Интерес инженеров связан с тем, что в рамках математической логики уже создан аппарат для расчета действия самых различных вычислительных и управляющих дискретных устройств и систем.
Описание слайда:
Непротиворечивость аксиоматической теории является одним из основных требований, предъявляемых к системе аксиом данной теории. Она означает, что из данной системы аксиом нельзя логическим путем вывести два противоречащих друг другу утверждения. Интерес инженеров связан с тем, что в рамках математической логики уже создан аппарат для расчета действия самых различных вычислительных и управляющих дискретных устройств и систем.

Слайд 32


Первым идею применимости математической логики для формального описания сложных цепей, состоящих из технических объектов, вступающих в дискретные отношения, высказал в 1910 г. профессор С.-Петербургского университета П.Эренфест. Он предложил описывать релейные схемы, имевшие уже в то время большое значение для техники связи, с помощью аппарата логики. Но поскольку эти цепи были довольно примитивны и не требовали для своей разработки теоретической базы, идеи Эренфеста были надолго забыты.
Описание слайда:
Первым идею применимости математической логики для формального описания сложных цепей, состоящих из технических объектов, вступающих в дискретные отношения, высказал в 1910 г. профессор С.-Петербургского университета П.Эренфест. Он предложил описывать релейные схемы, имевшие уже в то время большое значение для техники связи, с помощью аппарата логики. Но поскольку эти цепи были довольно примитивны и не требовали для своей разработки теоретической базы, идеи Эренфеста были надолго забыты.

Слайд 33


И лишь в 1938 г. американский инженер К.Шеннон использовал на практике алгебру логики Дж. Буля для анализа и расчета релейных схем. В дальнейшем достижения математической логики стали использоваться при создании технических средств для информационных и вычислительных систем. Кроме того, результаты, полученные в логической теории языков, применяются при создании формальных языков программирования и элементов искусственного интеллекта.
Описание слайда:
И лишь в 1938 г. американский инженер К.Шеннон использовал на практике алгебру логики Дж. Буля для анализа и расчета релейных схем. В дальнейшем достижения математической логики стали использоваться при создании технических средств для информационных и вычислительных систем. Кроме того, результаты, полученные в логической теории языков, применяются при создании формальных языков программирования и элементов искусственного интеллекта.

Слайд 34


Рекомендуемая литература по курсу
Описание слайда:
Рекомендуемая литература по курсу

Слайд 35


Логика высказываний и булевы алгебры (Boolean Algebra and Logic), слайд №35
Описание слайда:

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию