Grundbegriffe der Informatik, Vorlesung, WS17/18

17: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.12.2017

Listen Later
17 |
0:00:00 Starten
0:14:00 Wo sind wir?
0:18:18 Zwei wichtige Schriften von al-Kharizmi
0:21:43 Lösen einer Sorte quadratischer Gleichung nach al-Kharazmi
0:24:11 Algorithmusbegriff informal
0:26:20 Diskussion des informellen Algorithmusbegriffs
0:35:21 Korrektheit eines Algorithmus
0:35:50 Beweis von al-Khwaraizmi
0:40:51 Beweis durch Nachrechnen
0:43:36 Eine einfache ,,Programmiersprache''
0:46:12 Hoare-Tripel
0:47:47 mZusicherungen in Hoare-Tripeln
0:50:50 Bedeutung von Programmen
0:51:59 Gültigkeit von Hoare-Tripeln
0:56:20 Axiome für Hoare-Kalkül
0:59:59 Ableitungsregeln
1:03:35 Beispiel
1:15:27 Regel H T-I
1:17:17 Beispiel für H T-I
1:23:46 Erinnerung
1:25:06 Algorithmus für die Multiplikation
...more
View all episodesView all episodes
Download on the App Store
Grundbegriffe der Informatik, Vorlesung, WS17/18By Karlsruher Institut für Technologie (KIT)

More shows like Grundbegriffe der Informatik, Vorlesung, WS17/18

View all
KIT Campus – Studieren und mehr | 2013 by Karlsruher Institut für Technologie (KIT)

KIT Campus – Studieren und mehr | 2013

0 Listeners

IEEE International Conference on Robotics and Automation, 2013 by Karlsruher Institut für Technologie (KIT)

IEEE International Conference on Robotics and Automation, 2013

0 Listeners

CAD tutorial in Mechanical Design, WT13/14 by Karlsruhe Institute of Technology (KIT)

CAD tutorial in Mechanical Design, WT13/14

0 Listeners

KIT Campus – Studieren und mehr | 2014 by Karlsruher Institut für Technologie (KIT)

KIT Campus – Studieren und mehr | 2014

0 Listeners

Internationales Forum am ZAK by Karlsruher Institut für Technologie (KIT)

Internationales Forum am ZAK

0 Listeners

Transport Phenomena in the Biosphere by Karlsruher Institut für Technologie (KIT)

Transport Phenomena in the Biosphere

0 Listeners

Einführung in die Geophysik 1, WS17/18, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Geophysik 1, WS17/18, Vorlesung

0 Listeners

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20 by Karlsruher Institut für Technologie (KIT)

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20

0 Listeners

Kulturwissenschaft gestern und morgen by Karlsruher Institut für Technologie (KIT)

Kulturwissenschaft gestern und morgen

0 Listeners