Видео курс Элементы математической логики - онлайн обучение ITVDN
ITVDN: курсы программирования
Видеокурсы по
программированию

Выбери свою IT специальность

Подписка

О курсе

В данном курсе рассматриваются основы элементарной математической логики, которые будут полезны начинающим программистам. Базовые логические функции представлены в языке C# в виде отдельных операторов языка и часто используются программистами. Целевая аудитория — программисты, использующие C#.

Читать дальше...

Этот курс входит в специальности:

Предварительные Требования

Предварительные требования отсутствуют. Курс подойдёт в первую очередь новичкам, которые начинают или уже начали изучение языка C#.

Читать дальше...

Вы научитесь

  • разбираться в основах классической логики
  • понимать аппарат, на основе которого функционируют языки программирования
  • понимать и использовать базовые логические функции
Читать дальше...
Скачать материалы курса Для получения материалов курса нужно авторизоваться
Получить сертификат Для получения сертификата нужно авторизоваться
  • Длительность: 1 ч 27 м
  • Курс создан: 16.02.2015
  • Уроков: 10 из
  • Обновлен: 22.12.2018
  • Язык: русский

Что входит в курс

  • 10 видео уроков
Войдите или зарегестрируйтесь для того чтоб продолжить просмотр бесплатного видео

Умение правильно рассуждать необходимо в любой человеческой деятельности, а особенно в программировании. Данный урок является введением в классическую логику. Рассматриваются такие понятия как высказывание, суждение и силлогизм. 

В этом видео уроке будут рассмотрены следующие темы: 

  • Высказывание
  • Суждение
  • Силлогизм
Читать дальше...

Основным понятием классической логики является высказывание. Высказывания имеются и в программировании и выражаются при помощи операторов языка C#. На уроке рассматриваются различные формы и правила построения высказываний. Как не ошибиться при построении высказывания?

Читать дальше...

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

Читать дальше...

На данном уроке рассматривается логическая операция отрицание. Использование логической функции отрицания при построении высказываний.

Читать дальше...

На данном уроке рассматривается логическая функция – конъюнкция (логическое И) и ее использование при работе с высказываниями.

Читать дальше...

На данном уроке рассматривается логическая функция – дизъюнкция (логическое ИЛИ) и ее использование при работе с высказываниями.

Читать дальше...

На данном уроке рассматривается логическая функция – импликация и ее использование при работе с высказываниями.

Читать дальше...

На данном уроке рассматривается логическая функция – эквиваленция и ее использование при работе с высказываниями.

Читать дальше...

На данном уроке рассматривается логическая функция – антиконъюнкция и ее использование при работе с высказываниями.

Читать дальше...

На данном уроке рассматривается логическая функция – антидизъюнкция и ее использование при работе с высказываниями.

Читать дальше...
ПОКАЗАТЬ ВСЕ
основные темы, рассматриваемые на уроке
0:00:17
Определение пропозициональной логики
0:02:13
Основоположник первой системы формальной логики
0:03:21
Силлогизм - это … . Примеры
0:10:50
Проверка силлогизма на правильность
0:15:53
Геометрическая и буквенная форма описания силлогизмов
ПОКАЗАТЬ ВСЕ

Покупай подпискус доступом ко всем курсам и сервисам

Библиотека современных IT знаний в удобном формате

Выбирай свой вариант подписки в зависимости от задач, стоящих перед тобой. Но если нужно пройти полное обучение с нуля до уровня специалиста, то лучше выбирать Базовый или Премиум. А для того чтобы изучить 2-3 новые технологии, или повторить знания, готовясь к собеседованию, подойдет Пакет Стартовый.

Стартовый
  • Все видеокурсы на 3 месяца
  • Тестирование по 10 курсам
  • Проверка 5 домашних заданий
  • Консультация с тренером 30 мин
59.99 $
Оформить подписку
Премиум Plus
  • Все видеокурсы на 1 год
  • Тестирование по 24 курсам
  • Проверка 20 домашних заданий
  • Консультация с тренером 120 мин
  • Скачивание видео уроков
199.99 $
Оформить подписку
Базовый
  • Все видеокурсы на 6 месяцев
  • Тестирование по 16 курсам
  • Проверка 10 домашних заданий
  • Консультация с тренером 60 мин
89.99 $
Оформить подписку
комментарии и обсуждения
Notification success