PickAClass · Fundamenten & Levenslang Leren · Kritisch Denken & Logica

Inleiding Logica & Redeneren

Leer de fundamentele principes van logisch redeneren, inclusief de kernverschillen tussen deductieve en inductieve argumenten. Bouw een basis voor het analyseren en construeren van solide argumenten.

2 courses

Faculteit der Computerwetenschappen

Bouw een solide basis in propositie- en predicaatlogica om te denken als een computerwetenschapper en complexe problemen op te lossen.

★ 4.6 (34)

Basisprincipes van Symbolische Modelcontrole

Een praktische introductie tot het verifiëren van de juistheid van systemen met behulp van geautomatiseerd redeneren en temporele logica.

★ 4.7 (26)