TU Delft Beeldbank
Home · About · Disclaimer ·

Search results also available in MS Excel format.

Showing 1 to 20 of 395 found. Next | Sort by date

1 Natuurlijke deductie deel 1
lecture Electrical Engineering, Mathematics and Computer Science     2010-09-22    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

2 Natuurlijke deductie deel 2: meer Fitch voor de propositielogica
lecture Electrical Engineering, Mathematics and Computer Science     2010-09-24    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

3 Verzamelingen deel 1
lecture Electrical Engineering, Mathematics and Computer Science     2010-09-28    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [PDF] [Abstract]

1

4 Verzamelingen deel 2
lecture Electrical Engineering, Mathematics and Computer Science     2010-09-28    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [PDF] [Abstract]

1

5 Verzamelingen deel 3
lecture Electrical Engineering, Mathematics and Computer Science     2010-09-29    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [PDF] [Abstract]

1

6 Vertalen en Syntax deel 1
lecture Electrical Engineering, Mathematics and Computer Science     2010-10-01    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

7 Vertalen en Syntax deel 2: syntax en semantiek van de predicatenlogica
lecture Electrical Engineering, Mathematics and Computer Science     2010-10-05    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

8 Semantiek
lecture Electrical Engineering, Mathematics and Computer Science     2010-10-08    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

9 Boommethode en resolutie
lecture Electrical Engineering, Mathematics and Computer Science     2010-10-12    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

10 Resolutie en Prolog
lecture Electrical Engineering, Mathematics and Computer Science     2010-10-15    
Lecturer: Klos, T.B.
Keywords: reasoning · logical reasoning · logic · premise · hypothesis · validity
[MP4] [Abstract]

1

11 Turingmachines en de Church-Turing-these
lecture Electrical Engineering, Mathematics and Computer Science     2009-04-07    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

12 De Turingmachine
lecture Electrical Engineering, Mathematics and Computer Science     2009-04-14    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

13 Opsommers en het 10e probleem van Hilbert
lecture Electrical Engineering, Mathematics and Computer Science     2009-04-21    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

14 Niet-deterministische Turingmachines en hun equivalentie met gewone Turingmachines
lecture Electrical Engineering, Mathematics and Computer Science     2009-04-17    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

15 Het Entscheidungsproblem, de Church-Turing these en het coderen van Turingmachines en problemen
lecture Electrical Engineering, Mathematics and Computer Science     2009-04-21    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

16 Oneindigheid, Hotel Hilbert, en aftelbare en overaftelbare verzamelingen
lecture Electrical Engineering, Mathematics and Computer Science     2009-04-24    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

17 Voorkennis - Automaten en Talen
lecture Electrical Engineering, Mathematics and Computer Science     2009-05-08    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

18 Beslisbare problemen, het Stopprobleem en de onbelisbaarheid ervan, en Universele Turingmachines
lecture Electrical Engineering, Mathematics and Computer Science     2009-05-12    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

19 Berekenbaarheidstheorie: reduceerbaarheid (1)
lecture Electrical Engineering, Mathematics and Computer Science     2009-05-15    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

20 Berekenbaarheidstheorie: reduceerbaarheid (2)
lecture Electrical Engineering, Mathematics and Computer Science     2009-05-19    
Lecturer: Tonino, J.F.M.
Keywords: informatica · turing machines · decidability · automata and languages · reductions · recursion theorem
[MP4] [Abstract]

1

Search results also available in MS Excel format.

Showing 1 to 20 of 395 found. Next | Sort by date