Про курс
У даному курсі розглядаються основи елементарної математичної логіки, які будуть корисні програмістам-початківцям. Базові логічні функції представлені у мові C# як окремих операторів мови та часто використовуються програмістами. Цільова аудиторія - програмісти, які використовують C #.
Цей курс входить до спеціальності:
Попередні Вимоги
Попередніх вимог немає. Курс підійде в першу чергу новачкам, які починають або почали вивчення мови C#.
Ви навчитеся
- розбиратися в основах класичної логіки
- розуміти апарат, на основі якого функціонують мови програмування
- розуміти та використовувати базові логічні функції
- 1 год 27 хв
- 16.02.2015
- 10
- 22.12.2018
- російська
Що входить до курсу
Вміння правильно міркувати необхідно у будь-якій людській діяльності, а особливо у програмуванні. Цей урок є введенням у класичну логіку. Розглядаються такі поняття як висловлювання, судження та силогізм.
У цьому відеоуроці будуть розглянуті такі теми:
- Висловлювання
- Судження
- Силогізм
Основним поняттям класичної логіки є висловлювання. Висловлювання є у програмуванні і виражаються за допомогою операторів мови C#. На уроці розглядаються різні форми та правила побудови висловлювань. Як не помилитись при побудові висловлювання?
Деякі висловлювання можна розкласти на окремі частини, водночас кожна така частина буде окремим висловлюванням. На цьому уроці розглядаються методи розкладання складних висловлювань на прості.
На цьому уроці розглядається логічна операція заперечення. Використання логічної функції заперечення під час побудови висловлювань.
На цьому уроці розглядається логічна функція – кон'юнкція (логічне І) та її використання під час роботи з висловлюваннями.
На цьому уроці розглядається логічна функція – диз'юнкція (логічне АБО) та її використання під час роботи з висловлюваннями.
На цьому уроці розглядається логічна функція – імплікація та її використання під час роботи з висловлюваннями.
На цьому уроці розглядається логічна функція – еквівалентність та її використання під час роботи з висловлюваннями.
На цьому уроці розглядається логічна функція – антикон'юнкція та її використання під час роботи з висловлюваннями.
На цьому уроці розглядається логічна функція – антидиз'юнкція та її використання під час роботи з висловлюваннями.
