379453
Book
In basket
WPROWADZENIE: Komputer ; Wizja Turinga ; Pół wieku sztucznej inteligencji ; Techniki rozwiązywania problemów ; Mechaniczny szachista ; Dwa tysiące lat logiki ; Idee współczesnej matematyki ; LOGIKA: Klasyczny rachunek zdań ; Pełna formalizacja ; Metamatematyka ; Twierdzenie Gödla ; Teoria obliczeń ; Maszyny Turinga ; Praktyka obliczeń ; Logiki nieklasyczne i metodologia nauk ; SZTUCZNA INTELIGENCJA: Inżynieria wiedzy ; Rozumowania zdroworozsądkowe ; Inteligencja obliczeniowa ; Maszyny uczące się ; Przetwarzanie języka naturalnego ; Sztuczna inteligencja i otoczenie ; Perspektywy.
Availability:
There are copies available to loan: sygn. A-102805 (1 egz.)
Notes:
Bibliography, etc. note
Bibliogr. s. [365]-371. Indeks.
Reviews:
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again