У нас вы можете посмотреть бесплатно Logic & Foundations with Haskell :: Naive Set Theory или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
We cover the basic definitions of set theory in preparation for understanding the ZFC axioms. 00:00 Introduction 00:17 Definition: Sets 04:55 Definition: Empty set 06:44 Definition: Subsets 08:55 Definition: Set comprehension 09:27 Definition: Union, intersection, difference 12:53 Definition: Power set 15:29 Definition: Cartesian product 18:36 Prop: Identities for set-theoretic operations 24:56 Paradoxes arising from the naive view The playlist for the course can be found here: • Logic & Foundations with Haskell: Course I...