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

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

• 1
• 2
• 3
• 4
• 5