Жанры
Авторы
Контакты
О сайте
Книжные новинки
Популярные книги
Найти
Главная
Авторы
Michael Sipser
Wprowadzenie do teorii obliczeń
Читать книгу Wprowadzenie do teorii obliczeń - Michael Sipser - Страница 1
Оглавление
Предыдущая
Следующая
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
...
33
Оглавление
Купить и скачать книгу
Вернуться на страницу книги Wprowadzenie do teorii obliczeń
Оглавление
Страница 1
Страница 2
Страница 3
Страница 4
Spis treści
Przedmowa do pierwszego wydania
Do studentów
Do nauczycieli
Pierwsze wydanie
Uwagi do autora
Podziękowania
Przedmowa do drugiego wydania
Przedmowa do trzeciego wydania
0 .Wstęp
0.1 Automaty, obliczalność i złożoność
Teoria złożoności
Teoria obliczalności
Teoria automatów
0.2 Pojęcia matematyczne i terminologia
Zbiory
Ciągi i krotki
Funkcje i relacje
Grafy
Słowa i języki
Logika Boole’a
Podsumowanie terminów matematycznych
0.3 Definicje, twierdzenia i dowody
Znajdowanie dowodów
0.4 Typy dowodów
Dowód przez konstrukcję
Dowód nie wprost (przez sprowadzenie do sprzeczności)
Dowód indukcyjny
Dowód
Przypisy
Подняться наверх