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

3 wyniki

Brak okładki

Książka

W koszyku

oceń

Podstawy logiki i wnioskowania / Łukasz N. Węsierski. - Rzeszów : Oficyna Wydaw. Politechniki Rzeszowskiej, 2004. - 150 s. : rys., tab., wykr. ; 24 cm.

Autor

Węsierski Łukasz N.

Temat

Automaty Logika

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-84833 (1 egz.)

Książka

W koszyku

oceń

Teoria automatów i lingwistyka matematyczna / Stanisław Kowalski, Andrzej Włodzimierz Mostowski. - Warszawa : Państwowe Wydaw. Naukowe, 1979. - 115, [1] s. : rys., tab. ; 25 cm.

Autor

Kowalski Stanisław (informatyk) Mostowski Andrzej Włodzimierz.

Temat

Automaty Językoznawstwo matematyczne

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-54011 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Podstawy logiki i wnioskowania / Łukasz N. Węsierski. - Wyd. 2. - Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, 2009. - 204 s. : rys. ; 24 cm.

Autor

Węsierski Łukasz (1943- ).

Temat

Automaty Logika

Gatunek

Podręcznik akademicki.

Bibliogr. s. [203]-204.

1. Rachunek zdań ; 2. Elementy teorii zbiorów ; 3. Rachunek predykatów ; 4. Algebry boole'a i funkcje boolowskie ; 5. Podstawy teorii języków ; 6. Automaty i systemy przełączające ; 7. Metodyka wnioskowania ; 8. Systemy ekspertowe.

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-93356 (1 egz.)