У нас вы можете посмотреть бесплатно Bilgisayar Bilimleri için Matematik - Bölüm 1: İspat Nedir? или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Bilgisayar Bilimleri için Matematik serimizin bu ilk videosuna hoş geldiniz! Bu yeni seride, MIT'nin ünlü "Mathematics for Computer Science" ders notlarını temel alarak bilgisayar bilimlerinin matematiksel temellerini keşfedeceğiz. Bu başlangıç bölümünde, mantığın en temel taşı olan "İspat" ve "Önerme" kavramlarına odaklanıyoruz. 00:00 - Seriye Giriş ve "Mathematics for Computer Science" PDF'inin Tanıtımı 01:00 - Ana Konu: İspat (Proof) Nedir? 01:08 - Önermenin (Proposition) Tanımı 01:40 - Örnek 1: Doğru Önerme (2+3=5) 02:07 - Örnek 2: Yanlış Önerme (5+2=8) 02:50 - Önerme Olmayan İfadelere Örnek ("Hava bugün güzel") 03:40 - Tartışma: "Claim 1.1.3" (n^2 + n + 41 her zaman asal mıdır?) 06:15 - İddianın Çürütülmesi (n=40 örneği) 07:32 - Tartışma: Euler'in Denklemi 10:51 - Kapanış ve Gelecek Videoların Konuları