Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 14.12.2016, 16

Grundbegriffe der Informatik, Vorlesung, WS16/17

İçerik Karlsruher Institut für Technologie (KIT) tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Karlsruher Institut für Technologie (KIT) veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.

7+ y ago 1:09:14

MP4•Bölüm sayfası

16 | 0:00:00 Starten 0:00:52 Logisch äquivalente Formeln 0:07:01 Weitere allgemeingültige Formeln 0:10:02 Deduktionstheorem 0:13:22 Skizze eines Beispiels 0:24:55 Großzügige Benutzung von Prädikatenlogik 0:27:04 Zusammenfassung 0:27:58 Kapitel 14 0:29:57 Eine Zeitreise...wohin?... 0:30:29 ...da wären wir... 0:32:35 Zwei wichtige Schriften von al-Kharizmi 0:40:00 Algorithmusbegriff informell 0:48:49 Korrektheit eines Algorithmus 0:50:02 Beweis von al_Khwarizmi 0:53:51 Beweis durch Nachrechnen 0:55:31 Eine einfache ""Programmiersprache"" 0:59:31 Hoare-Tripel 1:04:59 Hoare-Kalkül

27 bölüm

#Hochschulbildung #Bildung #Vorlesung #Informatik #Korrektheit #Berechnungskomplexität #Syntax #Semantik #Grammatiken #Mastertheorem #Graphen #Karlsruher Instituts Für Technologie KIT #Video #KIT