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

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

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




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

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

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

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

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

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

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

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



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