🎓 LOGIK 05 | Rechenregeln
Channel: Prof. Dr. Michael Helbig
Date: 2013-10-01

🔴 Dieses Video ist Teil der Playlist: https://www.youtube.com/playlist?list=PLDkKPlx5HxBdmLRQBZbAMEzHBoPbeq8lX 

THEMEN:

LOGIK
1. Intro
2. Aussagen
3. Umgangssprache und Wahrheitstafeln
4. Verknüpfungen von Aussagen
5. Rechenregeln
6. Prädikate
7. Quantoren

ANWENDUNGEN
1. Entwurf von Schaltkreisen: Logikgatter NICHT-/UND-/ODER-Gatter
2. Entwurf von Schaltkreisen: NAND-Gatter
3. Entwurf von Schaltkreisen: Disjunktive Normalform (DNF) mit zwei Parametern
4. Entwurf von Schaltkreisen: Disjunktive Normalform (DNF) von XOR & XOR-Gatter
5. Entwurf von Schaltkreisen: Disjunktive Normalform (DNF) mit drei Parametern
6. Programmierung: Wahrheitswerte false/true in C/Java, Demo in IDE
7. Programmierung: Verknüpfungen UND, ODER, NICHT in C/Java
8. Programmierung: Beispiel 1 - Auswertung einer Aussage in C
9. Programmierung: Bitweise logische Operatoren UND/ODER in C/Java
10. Programmierung: Beispiel 2 - If-Bedingung auswerten
11. Programmierung: Beispiel - If-Bedingung vereinfachen, Absorption

🔴 mehr Videos, Skripte und Aufgaben unter https://www.bigdev.de/teaching

_____________________________________________________
INHALT: 

00:00 Einleitung
00:24 Rechenregeln: Negation 
02:57 Übung: De Morgansche Regeln sind Tautologien
03:18 Übung: Negations-Rechenregel (III) beweisen 
05:42 Übung: Aussage negieren 
07:28 Rechenregeln: Distributivgesetze 
08:10 Übung: Aussage mittels der Distributivgesetze vereinfachen 

#logik #mathematik #programmieren