Математическая логика и теория алгоритмов, логика высказываний - смотреть онлайн видео урок бесплатно!
Р
е
к
л
а
м
а
Приветствую Вас Гость | Регистрация | Вход

Реклама

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

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


  • Автор: Семенов А.Л.
  • Длительность: 34:42
  • Дата: 18.07.2013
  • Смотрели: 2
  • Рейтинг: 0.0/0

Отзывы и комментарии: 0
Никто ещё не оставил комментариев, станьте первым.

Реклама

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