
Engels
Education
Tijdelijke aanbieding
Daarna € 9,99 / maandElk moment opzegbaar.
Over Redeneren en Logica
Delft University of Technology on iTunes
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.
Kies je abonnement
Tijdelijke aanbieding
Premium
20 uur aan luisterboeken
Podcasts die je alleen op Podimo hoort
Gratis podcasts
Elk moment opzegbaar
1 maand voor € 1
Daarna € 9,99 / maand
Premium Plus
Onbeperkt luisterboeken
Podcasts die je alleen op Podimo hoort
Gratis podcasts
Elk moment opzegbaar
Probeer 30 dagen gratis
Daarna € 11,99 / month
1 maand voor € 1. Daarna € 9,99 / maand. Elk moment opzegbaar.