Logica is de wetenschap van het geldig redeneren. Ze neemt een centrale plaats in binnen de moderne informatiewetenschappen en in het bijzonder in de kunstmatige intelligentie.  De onderwerpen die behandeld worden zijn achtereenvolgend:

-- Syllogistiek (Aristoteles) en eenvoudige verzamelingenleer.

-- Propositielogica: eenvoudige zinnen-logica (Boole)

waar verrassend veel redeneervormen mee gemodelleerd kunnen worden.

-- Predicatenlogica: uitbreiding van de propositielogica met klassieke kwantoren.

-- Vertalen van in het Nederlands gestelde zinnen naar een predicaatlogische formulering.

-- Logische (on)geldigheid achterhalen met behulp van de tableau-methode (Beth), zowel voor propositielogica als predicatenlogica.

-- Mechanisering van het redeneren: resolutiemethode voor machinale deductie.

-- Andere deductiesystemen: natuurlijke deductie, Gentzen sequentsystemen.

-- Machinemodellen: wat is een programma?

-- Onbeslisbaarheid (Church/Turing) en onvolledigheid (Gödel): de grenzen van het mechanische en menselijk bewijzen/redeneren.

Verder wordt aandacht besteed aan basale computervaardigheden.