Приветствую Вас Гость | Регистрация | Вход

Математическая логика

В категории Математическая логика собраны бесплатные онлайн видео уроки по этой теме. Математическая логика - это раздел математики, в котором изучаются доказательства и вопросы оснований математики. Математическая логика основана на применении математических методов и исследовании мышления с помощью исчислений (формализованных языков). Таким образом, суждения формулируются на неком точном языке, имеющем свой синтаксис и семантику. Синтаксис - это правила построения объектов языка, т.е. формулы. Семантика – это совокупность соглашений, которые описывают понимание формул и позволяют считать одни формулы верными, а другие - нет. Изучение математической логики по видео урокам будет полезно как для начинающих, так и для более опытных математиков. Видеоуроки из рубрики Математическая логика Вы можете смотреть бесплатно в любое удобное время. К некоторым видео урокам по математической логике приложены дополнительные материалы, которые можно скачать. Приятного Вам обучения!




Математическая логика и теория алгоритмов, логика высказываний

В этом онлайн уроке рассказывается о логике высказываний, математическая логика и теория алгоритмов. Лекцию проводит академик Алексей Львович Семенов. Разговор пойдет про логические константы или значения 0 и 1 (Ложь и Истина). Кроме того есть еще и логические имена, которые можно ограничить алфавитом. Существуют такие логические связки как Отрицание (не), Конъюнкция (и), Дизъюнкция (или), Импликация (влечет, если то ), Эквивалентность (равносильно). Индуктивное построение формулы (исчисление)...

Классы логических функций, монотонные и линейные функции

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

Высказывания и логические связки

В этом видео уроке рассказывается о таких понятиях математической логики как высказывания и логические связки. Данная лекция относится к курсу дискретной математики. Занятие проводит доктор технических наук, профессор Кузнецов Олег Петрович. Логика является одной из самых древних наук, которая была создана великим древнегреческим ученым - Аристотелем. Практически в неизменном виде данная наука просуществовала до середины девятнадцатого века. Начиная с этого времени логика стала математической...

Булева алгебра - законы, функции, проблема полноты, эквивалентность формул

Видео «Булева алгебра - законы, функции, проблема полноты, эквивалентность формул» посвящено вопросу о том, что собой представляет булева алгебра. Данная лекция относится к курсу по дискретной математике, а точнее одному из её разделов - математическая логика. Урок проводит Кузнецов Олег Петрович, который является доктором технических наук. Здесь вы узнаете, что такое функция Штрих Шеффера и Стрелка Пирса. Они будут представлены соответствующими таблицами. Кроме табличного способа на этом...



Если у Вас есть качественные видео уроки, которых нет на нашем сайте, то Вы можете добавить их в нашу коллекцию. Для этого Вам необходимо загрузить их на видеохостинг (например, YouTube) и добавить код видео в форму добавления уроков. Возможность добавлять свои материалы доступна только для зарегистрированных пользователей.