Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Algorytmy Wzorce UML » Inżynieria oprogramowania » 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:
 Prószyński i S-ka
Czas odrodzony. Od kryzysu w fizyce do przyszłości Wszechświata

Czas odrodzony. Od kryzysu w fizyce do przyszłości Wszechświata

42.90zł
34.32zł
Wprowadzenie do teorii obliczeń 65.10zł 49.48zł
Wprowadzenie do teorii obliczeń

Autor: Michael Sipser

ISBN: 978-83-204-3436-1

Ilość stron: 486

Data wydania: 01/2009

Podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych  komputerów.

Składa się z trzech części.  Pierwsza poświęcona automatom i językom formalnym. Omówiono w niej  niedeterminizm, równoważność automatów deterministycznych i niedeterministycznych, wyrażenia regularne, kryteria nieregularności języków, a także  języki bezkontekstowe.

Druga część dotyczy  teorii obliczalności . Opisano w niej  ograniczenia współczesnych komputerów, wyjaśniono pojęcia  rozstrzygalności i nierozstrzygalności.

Trzecia część jest poświęcona teorii złożoności. Przedstawiono w niej  podstawowe klasy złożoności obliczeniowej, klasę problemów NP- zupełnych, a także klasyfikację problemów ze względu na możliwość automatycznego ich rozwiązywania przy ograniczonych zasobach.

Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach.

Rozdziały:

0. Wprowadzenie             
0.1. Automaty, obliczalność i złożoność   
0.2. Oznaczenia matematyczne i terminologia   
0.3. Definicje, twierdzenia i dowody
0.4. Rodzaje dowodów
Ćwiczenia, zadania i rozwiązania

CZĘŚĆ I. Automaty i języki

1. Języki regularne
1.1. Automaty skończone  
1.2. Niedeterminizm 
1.3. Wyrażenia regularne   
l.4. Języki nieregularne
Ćwiczenia, zadania i rozwiązania

2. Języki bezkontekstowe
2.1. Gramatyki bezkontekstowe
2.2. Automaty ze stosem   
2.3. Języki inne niż bezkontekstowe   
Ćwiczenia, zadania i rozwiązania

CZĘŚĆ II. Teoria obliczalności 

3. Teza Churcha-Turinga             
3.1. Maszyny Turinga 
3.2. Rodzaje maszyn Turinga  
3.3. Definicja algorytmu 
Ćwiczenia, zadania i rozwiązania 

4. Rozstrzygalność         
4.l. Języki rozstrzygalne   
4.2. Problem stopu 
Ćwiczenia, zadania i rozwiązania 

5. Redukowalność           
5.1. Problemy nierozstrzygalne z teorii języków  
5.2. Prosty problem nierozstrzygalny 
5.3. Redukcja przez odwzorowanie 
Ćwiczenia, zadania i rozwiązania

6. Zaawansowane zagadnienia z teorii obliczalności              
6.1. Twierdzenie o rekursji  
6.2. Rozstrzygalność w logice
6.3. Redukowalność w sensie Turinga  
6.4. Pojęcie informacji   
Ćwiczenia, zadania i rozwiązania

CZĘŚĆ III. Teoria złożoności

7. Złożoność czasowa      
7.1. Pomiar złożoności   
7.2. Klasa P  
7.3. Klasa NP  
7.4.  NP-zupełność  
7.5. Inne problemy NP-zupełne
Ćwiczenia, zadania i rozwiązania

8. Złożoność pamięciowa 
8.1. Twierdzenie Savitcha
8.2. Klasa PSPACE  
8.3. PSPACE -zupełność
8.4. Klasy L i NL  
8.5. NL- zupełność
8.6. Klasa NL jest równa klasie coNL   
Ćwiczenia, zadania i rozwiązania

9. Problemy trudne
9.1. Twierdzenia o hierarchii  
9.2. Relatywizacja
9.3. Złożoność obwodów (sieci) logicznych  
Ćwiczenia, zadania i rozwiązania

10. Zaawansowane zagadnienia z teorii złożoności   
10.1. Algorytmy aproksymacyjne   
10.2. Algorytmy losowe  
10.3. Alternacje
10.4. Systemy dowodów interakcyjnych
10.5. Obliczenia równoległe  
10.6. Kryptografia   
Ćwiczenia, zadania i rozwiązania

Wprowadzenie do teorii obliczeń
Tytuł książki: "Wprowadzenie do teorii obliczeń"
Autor: Michael Sipser
Wydawnictwo: WNT
Cena: 65.10zł 49.48zł
Klienci, którzy kupili „Wprowadzenie do teorii obliczeń”, kupili także:
<b>Inżynieria systemów informacyjnych</b>, <font color="navy">Paul Beynon-Davies</font>, <font color="green"> Wydawnictwo WNT</font>
Inżynieria systemów informacyjnych, Paul Beynon-Davies, Wydawnictwo WNT
<b>Podstawy elektroniki cyfrowej Wydanie 5</b>, <font color="navy">Józef Kalisz</font>, <font color="green"> Wydawnictwo WKiŁ</font>
Podstawy elektroniki cyfrowej Wydanie 5, Józef Kalisz, Wydawnictwo WKiŁ
<b>Wprowadzenie do teorii automatów języków i obliczeń</b>, <font color="navy">John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman</font>, <font color="green"> Wydawnictwo Naukowe PWN</font>
Wprowadzenie do teorii automatów języków i obliczeń, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Wydawnictwo Naukowe PWN
<b>Wprowadzenie do metod numerycznych Wydanie 2</b>, <font color="navy">Jurij Povstenko</font>, <font color="green"> Wydawnictwo EXIT</font>
Wprowadzenie do metod numerycznych Wydanie 2, Jurij Povstenko, Wydawnictwo EXIT
<b>Podstawowy kurs systemów baz danych Wydanie III</b>, <font color="navy">Jeffrey D. Ullman, Jennifer Widom</font>, <font color="green"> Wydawnictwo HELION</font>
Podstawowy kurs systemów baz danych Wydanie III, Jeffrey D. Ullman, Jennifer Widom, Wydawnictwo HELION
<b>Złożoność obliczeniowa</b>, <font color="navy">Christos H. Papadimitriou</font>, <font color="green"> Wydawnictwo HELION</font>
Złożoność obliczeniowa, Christos H. Papadimitriou, Wydawnictwo HELION
 Koszyk
0 przedmiotów
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo WNT
 Kategoria:
 SQL
MySQL szybki start wydanie II

MySQL szybki start wydanie II

82.95zł
58.89zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
Bazy danych i PostgreSQL od podstaw Richard Stones, Neil Matthew HELION
JavaScript mocne strony Douglas Crockford HELION
Zaawansowane modele finansowe z wykorzystaniem Excela i VBA Mary Jackson, Mike Staunton HELION
Head First Ajax Edycja polska (Rusz głową) Rebecca Riordan HELION
JUnit pragmatyczne testy jednostkowe w Javie Andy Hunt, Dave Thomas HELION
Jądro Linuksa Przewodnik programisty Robert Love HELION
Chemia organiczna Część III Clayden J., Greeves N.,. Warren S., Wothers S WNT
Cisza w sieci Praktyczny przewodnik po pasywnym rozpoznaniu i atakach pośrednich Michał Zalewski HELION
Delphi 7 Kompendium programisty Adam Boduch HELION

wtorek, 23 październik 2018   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami