Redeneren en Logica

By Technology Education

Redeneren en Logica episodes

October 15, 2010 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.
1 hr 12 min
October 12, 2010 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.
1 hr 13 min
October 08, 2010 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.
1 hr 25 min
October 05, 2010 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.
1 hr 11 min
October 01, 2010 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.
37 min
September 29, 2010 Verzamelingen deel 3
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.
1 hr 28 min
September 28, 2010 Verzamelingen deel 2
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.
34 min
September 28, 2010 Verzamelingen 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.
37 min
September 24, 2010 Natuurlijke deductie deel 2: meer Fitch voor de propositielogica
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.
1 hr
September 22, 2010 Natuurlijke deductie 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.
1 hr 30 min