Wird aktualisiert

Grundlagen der Logik und Logikprogrammierung Course ID:156

Prof. Dr. Lutz Schröder

Veröffentlicht: 2012-04-18

Grundlagen der Logik und Logikprogrammierung Course ID:156 - QR Code

Gratis 0%

13 Folgen

Video

Gratis 0%

13 Folgen

Video

Veröffentlicht: 2012-04-18

Aktuelle Folge

1 - Grundlagen der Logik und Logikprogrammierung

Länge: 1:26:15

Abspielen

Folgen-ID: 1000713414487

GUID: https://vp-cdn-balance.rrze.de/media/34edc2a634178361246a3f816b9262a5/68528daa/2012/04/18/FAU_S12_GLOLOP_ClipID_2169/20120418-Schroeder-GLoLoP-01-H.264-640x360.m4v

Erscheinungsdatum: 18.4.2012, 00:00:00

Beschreibung

1. Logisches Argumentieren

2. Quantoren

3. Relationen

4. Anfangsgründe von Prolog

5. Wahrheit

6. Klassische Logik

7. Logikkalküle

7. Prolog: Theoretische Grundlagen und Programmierpraxis

8. Fortgeschrittene Logikprogrammierung

9. Modellierung mit logischen Mitteln

10. Anwendungen der Logik in den Formalwissenschaften

Feed-URL

https://www.api.video.uni-erlangen.de/course/rss/156/SD

Apple Podcasts: Kundenrezensionen

Kein Eintrag

Erhältlich auf iTunes. Produktpreise und Verfügbarkeiten beziehen sich auf den 1.7.2025, 09:32:58 und können jederzeit geändert werden. Beim Kauf gelten der Preis und die Verfügbarkeit, wie sie auf iTunes zum Zeitpunkt des Kaufs angezeigt werden. Apple, das Apple Logo, Apple Music, iPad, iPhone, iPod, iPod touch, iTunes, iTunes Store, iTunes U, Mac und OS X sind Marken der Apple Inc., die in den USA und weiteren Ländern eingetragen sind. Apple Books, App Store und Mac App Store sind Dienstleistungsmarken von Apple Inc. IOS ist ein Warenzeichen oder eingetragenes Warenzeichen von Cisco in den USA und anderen Ländern und wird unter Lizenz verwendet. QR Code ist ein eingetragenes Warenzeichen von Denso Wave Incorporated in Japan und anderen Ländern. Alle anderen Warenzeichen, Logos und Urheberrechte sind Eigentum ihrer jeweiligen Inhaber.