Чему вы научитесь:
- Понимание предмета и сути компьютерной логики
- Понимание основ логик другого типа
- Знание основ двоичной логики
- Умение оптимизировать двоичные функции
учебный центр
Введение в компьютерную логику
Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта.
для кого этот курс:
- Студенты технических вузов
- Разработчики программного обеспечения
- Инженеры-системотехники
- Преподаватели технических вузов
- Все, кто хочет понимать основы Computer Science
Этот курс включает:
- 7,5 часов видео по запросу
- Доступ через мобильные устройства и телевизор
- Полный пожизненный доступ
- Сертификат об окончании
преподаватель:
Душкин Роман Викторович