Czy umysł jest maszyną? Krytyka komputacyjnej teorii umysłu
- ECTS: 3p.
- Wymiar: 30h
- Forma zaliczenia: egzamin
- Prowadzący: ks. dr hab. Adam Olszewski
- Dostępne w ramach:
- wykład monograficzny ∈ fil/jm/IV
- wykład monograficzny ∈ fil/jm/IV
- wykład monograficzny ∈ fil/jm/V
- wykład monograficzny ∈ fil/jm/V
- wykłady monograficzne ∈ fil/Ist/III
- wykłady monograficzne ∈ fil/Ist/III
Treść:
Przedmiotem wykładu są podstawowe modele obliczalności: funkcje rekurencyjne, maszyny Turinga, maszyny Posta, lambda-rachunek. Zostaną one przedstawione szczegółowo w pierwszym semestrze. Następnie zapoznamy się z tzw. komputacyjną teorią umysłu, która zostanie poddana krytycznej ocenie.
Cel Dydaktyczny:
Poznanie formalnych modeli obliczalności – szczególnie maszyny Turinga.
Analiza krytyczna założeń komputacyjnej teorii umysłu.
Analiza krytyczna założeń komputacyjnej teorii umysłu.
Lista Lektur:
Wymagane teksty:Cutland N., Computability, Cambridge 1980.
Fodor J., The Language of Thought, 1975.
Odifreddi P., Classical Recurion Theory, North-Holland 1999.
Putnam H., Minds and Machines, 1961.
Troelstra, van Dalen, Constructivism in mathematics, North-Holland 1988.
Krótka bibliografia pomocnicza:
Hetmański M., Umysł a maszyny, Lublin 2000.
Pinker S., Jak działa umysł, Ksiązka i Wiedza 1994.
egzaminy w sesji zimowej
Strona www w trakcie reorganizacji
lutowy termin egzaminów dyplomowych
Najbliższy termin egzaminów dyplomowych: 09.02.2012 godz. 10.00.
dyzury kierowników specjalności
NOWE SPECJALNOŚCI NA STUDIACH MAGISTERSKICH
STUDY IN ENGLISH
W roku akad. 2010/2011 Wydział Filozoficzny oferuje wykłady prowadzone w języku angielskim!