Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Algorytmy Wzorce UML » Sieci neuronowe » Moje Konto  |  Zawartość Koszyka  |  Do Kasy   
 Wybierz kategorię
Algorytmy Wzorce UML
  Algorytmy
  Inżynieria oprogramowania
  Sieci neuronowe
  Techniki programowania
  UML
  Wyrażenia regularne
  Wzorce projektowe
  Zarządzanie projektami
Bazy danych
Bezpieczeństwo
Bioinformatyka
Biznes Ekonomia Firma
Chemia
DTP Design
E-biznes
Ekonometria
Elektronika Elektrotechnika
Energetyka
Fizyka
GIS
Grafika użytkowa
Hardware
Informatyczne systemy zarządzania
Informatyka w szkole
Internet
Języki programowania
Matematyka
Multimedia
Obsługa komputera
Office
Poradniki
Programowanie gier
Programy inżynierskie
Programy matematyczne
Serwery
Sieci Firewalle Protokoły
Słowniki
Systemy operacyjne
Technika
Telekomunikacja
Tworzenie stron WWW

Zobacz pełny katalog »
 Wydawnictwo:
 BTC
Mikrokontrolery 68HC08 w praktyce

Mikrokontrolery 68HC08 w praktyce

70.00zł
56.00zł
Sztuczna inteligencja i logika Wydanie II 55.00zł 40.15zł
Sztuczna inteligencja i logika Wydanie II

Tytuł: Sztuczna inteligencja i logika Wydanie II
Autor: Andrzej Kisielewicz
ISBN: 978-83-01-19492-5
Ilość stron: 380
Data wydania: 08/2017 (wydanie 2)
Oprawa: Miękka
Format: 16.5x23.5cm
Wydawnictwo: Naukowe PWN
Cena: 55.00zł 40.15zł


Od ponad pół wieku uczeni próbują zrealizować marzenie o skonstruowaniu sztucznego umysłu, który dorównywałby ludzkiemu mózgowi. Autor niniejszej książki krytycznie przygląda się próbom stworzenia sztucznej inteligencji bazującym na osiągnięciach logiki formalnej.

Rozprawia się z licznymi nieporozumieniami i przesądami, które przez lata narosły wokół tego niezwykle intrygującego tematu. Dostarcza czytelnikowi informacji o przedmiocie badań nad sztuczną inteligencją, ich metodologii, historii i rezultatach, a także perspektywach rysujących się w tej dziedzinie.

Próba stworzenia sztucznej inteligencji poprzez zastosowanie osiągnięć logiki okazała się przedsięwzięciem naukowym - zdaniem autora - „dość awanturniczym”, bo podjętym bez odpowiednich narzędzi i rozeznania. Książka stanowi solidne podsumowanie tego przedsięwzięcia, które w naturalny sposób łączy się z podsumowaniem osiągnięć logiki. Na tej bazie rozważone są też perspektywy rozwoju dziedziny.

Popularność tematu, liczna fora dyskusyjne w Internecie, filozoficzne i pseudofilozoficzne rozważania na temat sztucznej inteligencji, a przede wszystkim mnóstwo nieporozumień i przesądów związanych z tym tematem - wszystko to sprawiło, że swoimi rozważaniami autor postanowił podzielić się z możliwie szerokim gronem czytelników. Książkę swoją starał się napisać tak, aby do jej przeczytania i zrozumienia wystarczały ciekawość i ogólne wykształcenie.

Szczególni adresaci tej książki to z jednej strony naukowcy różnych specjalności, którym  nieobca jest ogólna refleksja nad nauką i metodą naukową, a z drugiej strony studenci i młodzi naukowcy w dziedzinach informatyki i matematyki, którzy otwarci są na radykalną zmianę poglądów, nawet w znanych sobie kwestiach.

Książka może służyć jako podręcznik uzupełniający do różnych wykładów z zakresu sztucznej inteligencji, inteligencji obliczeniowej, systemów ekspertowych czy też systemów wspomagania decyzji (business intelligence). Na wydziałach innych niż matematyczno-informatyczne może stanowić podręcznik podstawowy na kursie logiki ze szczególnym uwzględnieniem zastosowań w sztucznej inteligencji. Może wreszcie być podstawą do zajęć seminaryjnych dotyczących wykorzystania metod matematycznych w nauce, filozofii matematyki i logiki, granic naukowego poznania.

Spis treści:

CZĘŚĆ I: WPROWADZENIE

1. Komputer 
1.1. Kółko i krzyżyk 
1.2. Kodowanie 
1.3. Odrobina fantazji  
1.4. Komputer z pudełek
1.5. Programowanie w języku maszynowym 
1.6. Architektura von Neumanna
1.7. System binarny 
1.8. Programowanie w języku wyższego rzędu 
1.9. Praktyczne możliwości komputera
 
2. Wizja Turinga
2.1. Przedmiot badań
2.2. Test Turinga
2.3. Czy komputer może myśleć?         
2.4. Sukces czy porażka?        
2.5. Silna AI i słaba AI 

3. Pół wieku sztucznej inteligencji
3.1. Entuzjastyczne początki
3.2. Doza realizmu
3.3. Inżynieria wiedzy
3.4. Piąta Generacja
3.5. Rok 2001
3.6. Kierunki badań 
3.7. Stan badań w roku 2010
3.8. Inteligencja obliczeniowa 
3.9. HLAI i GAI — sztuczna inteligencja na ludzkim poziomie 

4. Techniki rozwiązywania problemów            
4.1. Kombinatoryczna eksplozja
4.2. Problemy logiczne
4.3. Ogólne metody rozwiązywania problemów                
4.4. Algorytm  
4.5. Problemy przeszukiwania               
4.6. Reprezentacje graficzne problemów 
4.7. Przeszukiwanie grafu
4.8. Przeszukiwanie kierowane informacją         
4.9. Heurystyki          
4.10. Naśladowanie natury 

5. Mechaniczny szachista   
5.1. Szachy 
5.2. Minimax i strategie gry
5.3. Funkcja ewaluacyjna 
5.4. Algorytm alfa-beta
5.5. Sukces 
5.6. Warcaby 
5.7. Go         
5.8. Dalsze perspektywy

6. Dwa tysiące lat logiki  
6.1. Arystoteles
6.2. Piąty postulat
6.3. Wizje Leibniza
6.4. Obalenie Euklidesa           
6.5. Matematyzacja logiki      
6.6. Światowy kongres matematyczny                
6.7. Antyriornie          
6.8. Program Hilberta               
6.9. Nierozstrzygalność            
6.10. Istota obliczania                

7. Idee współczesnej matematyki 
7.1. Odkrycie liczby niewymiernej
7.2. Rachunek prawdopodobieństwa   
7.3. Wzór Bayesa      
7.4. Wielkie twierdzenie Fermata
7.5. Problem czterech barw     
7.6. Matematyka dyskretna   
7.7. Zawodna intuicja              
7.8. Ciała i grupy
7.9. Teoria zbiorów   
7.10. Co to jest liczba?               
7.11. Paradoksy nieskończoności            
7.12. Argument przekątniowy  
7.13. Twierdzenie Cantora        
7.14. Zbiór wszystkich słów      

CZĘŚĆ II: LOGIKA

8. Klasyczny rachunek zdań              
8.1. Sylogistyka         
8.2. Rachunek zdań  
8.3. Koniunkcja i alternatywa               
8.4. Implikacja          
8.5. Negacja               
8.6. Inne spójniki       
8.7. Metoda zero-jedynkowa                 
8.8. Schematy wnioskowań    
8.9. Inne ujęcia          

9. Pełna formalizacja           
9.1. Kwantyfikatory
9.2. Relacje 
9.3. Aksjomatyzacja                
9.4. Teorie   
9.5. Formalizacja języka matematyki
9.6. Hipoteza Goldbacha        
9.7. Język formalny  
9.8. Termy   
9.9. Formuły               
9.10. Zmienne              
9.11. Aksjomaty logiczne          
9.12. Reguły wnioskowania      
9.13. Arytmetyka elementarna                
9.14. Twierdzenia i dowody      

10.  Metamatematyka             
10.1. Semantyka         
10.2. Definicja prawdy               
10.3. Twierdzenie Godła o pełności        
10.4. Twierdzenie o niesprzeczności        
10.5. Redukcja pojęć  
10.6. Redukcja matematyki do logiki    
10.7. Antynomie          
10.8. Aksjomatyzacja teorii zbiorów      
10.9. System ZF           
10.10. Aksjomatyzacja matematyki        
10.11. Aksjomat wyboru             
10.12. Program Hilberta               
10.13. Półrozstrzygalność            

11.  Twierdzenie Godła            
11.1. Formalizacja metamatematyki     
11.2. Dowód  
11.3. Immanentna niezupełność             
11.4. Nieudowadnialność niesprzeczności             
11.5. Nierozstrzygalność logiki                 
11.6. Metateoria          

12.  Teoria obliczeń   
12.1. Wyrażenia i termy             
12.2. Algorytm             
12.3. Efektywne rozstrzyganie
12.4. Kodowanie         
12.5. Kodowanie binarne          
12.6. Funkcje rekurencyjne       

13.  Maszyny Turinga              
13.1. Definicja maszyny Turinga            
13.2. Przykład I           
13.3. Obliczanie funkcji             
13.4. Przykład II          
13.5. Równoważność definicji  
13.6. Maszyna RAM  
13.7. Teza Churcha     
13.8. Rozstrzygalność
13.9. Języki formalne                 
13.10. Rozumowanie    
13.11. Klasy rekurencyjności      
13.12. Argument z teorii mnogości            
13.13. Problem stopu    
13.14. Inne problemy nierozstrzygalne     

14.  Praktyka obliczeń  
14.1. Teoria i praktyka               
14.2. Algorytmy praktyczne     
14.3. Czas wielomianowy          
14.4. Złożoność obliczeniowa  
14.5. Klasa NP             
14.6. P^NP     
14.7. Szyfrowanie        

15.  Logiki nieklasyczne i metodologia nauk      
15.1. Logiki wielowartościowe 
15.2. Logiki rnodalne  
15.3. Logika intuicjonistyczna
15.4. Logiki dopuszczające sprzeczność               
15.5. Logika rozmyta                 
15.6. Logika indukcji  
15.7. Wiedza analityczna i syntetyczna 
15.8. Bayesianizm       
15.9. Zakład holenderski           
15.10. Logika prawdopodobieństwa         
15.11. Logika nieformalna          
15.12. Dedukcjonizm    
15.13. Metodologia nauk
15.14. Definicje              
15.15. Braki logiki formalnej      

CZĘŚĆ III: SZTUCZNA INTELIGENCJA

16.  Inżynieria wiedzy              
16.1. Bazy wiedzy       
16.2. Mechanizm wnioskowania             
16.3. Rezolucja            
16.4. Koriiunkcyjna postać normalna    
16.5. Eliminacja kwantyfikatorów          
16.6. Unifikacja           
16.7. W kierunku praktyki         
16.8. Walka z kombinatoryczną eksplozją           
16.9. Automatyczne dowodzenie twierdzeń         
16.10. Hipoteza Robbinsa           
16.11. Programowanie logiczne  
16.12. Systemy ekspertowe         

17.  Rozumowania zdroworozsądkowe               
17.1. Formalizacja wiedzy zdroworozsądkowej                  
17.2. Ontologia             
17.3. CYC      
17.4. Ramy i sieci semantyczne               
17.5. Logiki deskrypcji               
17.6. Kłopoty z logiką pierwszego rzędu               
17.7. Niepewność wiedzy           
17.8. Sieci bayesowskie              
17.9. Logiki niemonotoniczne 
17.10. Logika domniemań          
17.11. Perspektywy       

18.  Inteligencja obliczeniowa
18.1. Obliczeniowy model mózgu            
18.2. Perceptron           
18.3. Uczenie neuronu                
18.4. Sztuczne sieci neuronowe                
18.5. Perspektywy sieci neuronowych    
18.6. Mózg i komputer               
18.7. Algorytmy genetyczne     
18.8. Obliczenia ewolucyjne     
18.9. Inteligencja rojowiska      
18.10. Inteligencja obliczeniowa                
18.11. Perspektywy inteligencji obliczeniowej        

19.  Maszyny uczące się          
19.1. Drzewa decyzyjne             
19.2. Funkcje boolowskie i hipotezy       
19.3. Uczące się programy        
19.4. Uczenie gier logicznych    
19.5. Teoria uczenia się              
19.6. Uczenie obliczeniowe       
19.7. Ogólna teoria wnioskowania indukcyjnego                
19.8. Prawdopodobieństwo algorytmiczne            
19.9. Maszyna Godła

20.  Przetwarzanie języka naturalnego                
20.1. Trzy problemy    
20.2. Rozpoznawanie mowy    
20.3. Struktura gramatyczna    
20.4. Analiza znaczenia             
20.5. Znaczenie zdania
20.6. NLP       
20.7. Tłumaczenie maszynowe               
20.8. Mówiące bazy danych     
20.9. Komputer rozumny          
20.10. Wyszukiwanie informacji               
20.11. Chatboty i inne  

21.  Sztuczna inteligencja i otoczenie                   
21.1. Automatyczne planowanie             
21.2. Robotyka            
21.3. Komputerowe widzenie   
21.4. Kognitywistyka  
21.5. Prawo Moore'a   
21.6. Futurologia          

22.  Perspektywy       
22.1. Problem badań interdyscyplinarnych           
22.2. Problemy z logiką              
22.3. Rozpoznanie klęski poznawczej    
22.4. Logika formalna i sztuczna inteligencja      
22.5. Metoda naukowa              
22.6. Podejście inżynierskie       
22.7. Sceptycyzm i optymizm 
22.8. Sztuczna inteligencja w matematyce           
22.9. Wiedza nieformalna         
22.10. Realne perspektywy         
22.11. Ograniczone dziedziny     
22.12. W kierunku rozumienia języka naturalnego

Sztuczna inteligencja i logika Wydanie II
Tytuł książki: "Sztuczna inteligencja i logika Wydanie II"
Autor: Andrzej Kisielewicz
Wydawnictwo: Naukowe PWN
Cena: 55.00zł 40.15zł
Klienci, którzy kupili „Sztuczna inteligencja i logika Wydanie II”, kupili także:
<b>Ponadczasowe strony internetowe</b>, <font color="navy">Alexander Dawson</font>, <font color="green"> Wydawnictwo HELION</font>
Ponadczasowe strony internetowe, Alexander Dawson, Wydawnictwo HELION
<b>Filozofia Kaizen. Jak mały krok może zmienić Twoje życie (wydanie ekskluzywne + CD)</b>, <font color="navy">Robert Maurer Ph.D.</font>, <font color="green"> Wydawnictwo Onepress</font>
Filozofia Kaizen. Jak mały krok może zmienić Twoje życie (wydanie ekskluzywne + CD), Robert Maurer Ph.D., Wydawnictwo Onepress
<b>Platforma Android Nowe wyzwania</b>, <font color="navy">Erik Hellman</font>, <font color="green"> Wydawnictwo HELION</font>
Platforma Android Nowe wyzwania, Erik Hellman, Wydawnictwo HELION
<b>Podręcznik projektantów WWW Smashing Magazine</b>, <font color="navy">Smashing Magazine</font>, <font color="green"> Wydawnictwo HELION</font>
Podręcznik projektantów WWW Smashing Magazine, Smashing Magazine, Wydawnictwo HELION
<b>Algorytmizacja i programowanie w MATLABIE</b>, <font color="navy">Kazimierz Banasiak</font>, <font color="green"> Wydawnictwo BTC</font>
Algorytmizacja i programowanie w MATLABIE, Kazimierz Banasiak, Wydawnictwo BTC
<b>Projektowanie systemów CMS przy użyciu PHP i jQuery</b>, <font color="navy">Kae Verens</font>, <font color="green"> Wydawnictwo HELION</font>
Projektowanie systemów CMS przy użyciu PHP i jQuery, Kae Verens, Wydawnictwo HELION
 Koszyk
0 przedmiotów
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo Naukowe PWN
 Kategoria:
 Ekonometria
Ekonometria Metody i ich zastosowanie Wydanie 4

Ekonometria Metody i ich zastosowanie Wydanie 4

56.90zł
48.37zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
UNIX. Sztuka programowania Eric S. Raymond HELION
SQL Rusz głową (Head first) Lynn Beighley HELION
Systemy uczące się Wydanie 2 Paweł Cichosz WNT
World of Warcraft Strategia sukcesu Eric Dekker HELION
Informatyka Europejczyka Podręcznik dla szkół ponadgimnazjalnych. Zakres podstawowy (Wydanie II) Jarosław Skłodowski HELION
JUnit pragmatyczne testy jednostkowe w Javie Andy Hunt, Dave Thomas HELION
UML 2.1 ćwiczenia Praca zbiorowa pod redakcją Stanisława Wryczy HELION
Excel 2007/2010 PL Ćwiczenia zaawansowane Krzysztof Masłowski HELION
SAP R/3 Przewodnik dla menadżerów Vivek Kale HELION

piątek, 22 wrzesień 2017   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami