Theoretische Informatik

[Razorhawk]

Ja ich hätte mal eine Frage ob jemand Onlinequellen kennt, in denen Inhalt von Theoretischer Informatik gut erklärt und ausführlich nieder geschreiben ist vielleicht auch mit guten Beispielen.
Also das wären Inhalte wie Aussagenlogik (alles was dazu gehört) und Logik der ersten Stufe (also Prädikatenlogik)