Europolis: Informatik für Spiele und Verkehr : Extension der Mengenlehre

algorithm Algorithmus Allmenge already AMPELSTEUERUNG Auto axiom axion Cantor case chess class theory closed complement Comprehension Scheme Computer condition consider consistent construct contradiction course daher Dana Scott decidable Definition different Elemente ersten example exist extensions first following forall formulas function game Gewinnkalkül gibt given Gottlob Frege Grube Informatik INSTITUT FUER 25 intersection Inverszüge Kalah Klasse KM/H ko(Ru Ko(X Kurt Gödel Learning Logic Logik machine Mancala mathematicians Mathematik means mehrwertiger Logik Menge modal split Modell möglich moves muß NACT Naïve Axiomatic Naive Mengenlehre nearly-closed need network non-in Normal(x Normalinverszug number Optimaler Spieler Österreich Patho pathological player positions possible Potenzmenge Prädikatenlogik predicate Principle Programm pulk restricted similar SIMULA Simulation small Spielfeld STATISTIK UND INFORMATIK Steine Stellungen Strategien system systems term time traffic universal set Universität Wien unserer valid variable vehicles Verkehr VERKEHRSMODELL want Weiß Werner Schimanovich wffs WIEN 24 Wiener Kreises work Zielgrube