Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldigheid van redeneringen, verzamelingen van premissen (of aannames) en een conclusie. Wat is een geldige redenering, wanneer is een redenering logisch geldig, hoe kan men vaststellen of een gegeven redenering logisch geldig is, en hoe kan men zelf op logisch geldige wijze conclusies afleiden uit premissen. De collegereeks richt zich op geldig redeneren als basis voor academisch werk.

Redeneren en Logica

Resolutie en Prolog

Boommethode en resolutie

Semantiek

Vertalen en Syntax deel 2: syntax en semantiek van de predicatenlogica

Vertalen en Syntax deel 1

Verzamelingen deel 3

Verzamelingen deel 2

Verzamelingen deel 1

Natuurlijke deductie deel 2: meer Fitch voor de propositielogica

Natuurlijke deductie deel 1

Practicum en natuurlijke deductie

Boommethode voor de propositielogica

Semantiek en waarheidstafels deel 2

Semantiek en waarheidstafels deel 1

Waarheidstafels, redeneringen, syntaxis van PROP

English

hubhopper

Redeneren en Logica

hubhopper