Redeneren en Logica

Resolutie en Prolog

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.

Boommethode en resolutie

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.

Semantiek

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.

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

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.

Vertalen en Syntax deel 1

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.