Как мы учим компьютер думать. Урок 2

54 Просмотры

  • Спасибо! Поделитесь с друзьями!

    Вам не понравилось видео. Спасибо за то что поделились своим мнением!

admin
Издатель
Ukrainian IT-company. Machine Learning | Data Science | Artificial Intelligence
https://qudata.com/

Сегодня у нас вторая часть серии семинаров, посвященных тому, как мы учим компьютер думать. В этом семинаре мы будем обсуждать самые базовые статические аспекты логического подхода. Также мы сконцентрируемся на топологических аспектах, размеры и расстояния рассмотрим позже.
Семинар состоит из двух частей: сначала вспомним математическую логику, а затем подробно разберем аксиоматику мира кубиков, который является базовой моделью для математического вывода и построения аксиом.

Таймкод:
0:00:00 Начало видео
0:06:11 Сигнатура формальной теории
0:15:20 Булева логика: базовые операции
0:19:16 Булева алгебра
0:21:47 Импликация
0:29:35 Логическое следствие
0:43:33 Доказательство от противного
0:49:31 Кванторы
0:55:24 Мир ящиков: in, on, above
1:01:31 True, False и Undef
1:12:48 Аксиоматика отношения in#
1:24:43 Конъюнктивная нормальная форма
1:33:20 Аксиоматика отношения in

#нейронныесети #neuralnetwork #искусственныйинтеллект #нейросети #глубокоеобучение #ИИ #машинноеобучение #deeplearning #распознавание #qudata
Категория
Занимательная математика
Комментариев нет.

Следующее