SOWA OPAC : Wojewódzka i Miejska Biblioteka Publiczna w RzeszowieKatalog centralny

3 wyniki

Brak okładki

Książka

W koszyku

oceń

Sieci Petri : podstawy, zastosowania, teoria / Peter H. Starke ; tł. Jacek Żurek. - Warszawa : Państwowe Wydaw. Naukowe, 1987. - 149, [3] s. : rys. ; 24 cm.

Autor

Starke Peter H. Żurek Jacek.

Temat

Automaty Grafy Sieć komputerowa

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-65498 (1 egz.)

Książka

W koszyku

oceń

Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie 3. (1 w WN PWN). - Warszawa : Wydawnictwo Naukowe PWN, 2020. - XVIII, 480 stron : ilustracje ; 24 cm.

Autor

Sipser Michael. Włodarz Marek.

Forma i typ

Książki Publikacje dydaktyczne

Odbiorca

Szkoły wyższe

Temat

Automaty Teoria automatów Teoria obliczalności Teoria obliczeń Złożoność obliczeniowa

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Tytuł oryginału: "Introduction to the theory of computation" 2013.

Bibliografia na stronach 465-468. Indeks.

Dla studentów informatyki na wszystkich wyższych uczelniach.

Automaty i języki ; Teoria obliczalności ; Teoria złożoności.

Wprowadzenie do teorii obliczeń to najpopularniejszy podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Książka składa się z trzech części. Pierwsza jest 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. Trzecia edycja zawiera zupełnie nowy podrozdział poświęcony deterministycznym językom bezkontekstowym. Została też wzbogacona o nowe ćwiczenia, problemy i przykłady. Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach. [www.azymut.pl, 2020]

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)

Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)

Biblioteka zamknięta

Brak okładki

Książka

W koszyku

Wstęp do matematyki dyskretnej / S.W. Jabłoński ; [z jęz. ros. tł.] Leszek Rudak. - Warszawa : Wydaw. Naukowe PWN, 1991. - 288 s. : rys., wykr. ; 24 cm.

Autor

Âblonskij Sergej Vsevolodovič. Rudak Leszek.

Temat

Cybernetyka matematyczna Matematyka Automaty Grafy. Kombinatoryka Logika matematyczna Teoria systemów

Indeks

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia Główna - wypożyczalnia (Sokoła 13)

Są egzemplarze dostępne do wypożyczenia: sygn. A-70667 (1 egz.)