40469
Brak okładki
Książka
W koszyku
Logika matematyczna w informatyce / M. Ben-Ari ; Tł. Mirosława Miłkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2005. - 335 s. : rys. ; 25 cm.
(Klasyka Informatyki)
Autor
Ben-Ari M. Miłkowska Mirosława. Tł.
Temat
Logika
Instytut
IS
Indeks ISBN
83-204-2972-2
1. Wprowadzenie 2. Rachunek zadań: formuły, modele, tabele semantyczne; 3. Rachunek zadań: systemy dowodzenia; 4. Rachunek zadań: rezolucja i diagramy binarnych decyzji; 5. Rachunek predyktatów: formuły, modele, tabele sematyczne; 6. Rachunek predykatów: systemy dowodzenia; 7. Rachunek predykatów: rezolucja; 8. Programowanie w logice; 9. Programy: sematyka i weryfikacja; 10. Programy: formalne specyfikacje w notacji Z; 11. Logika temporalna: formuły, modele, tabele semantyczne; 12. Logika temporalna: systemy dowodzenia i zastosowania;
zob. w.bibliotece.pl
Status dostępności:
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 24788 (1 egz.)
Czytelnia - Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 24787/XXI czyt. (1 egz.)
Strefa uwag:
Uwaga dotycząca bibliografii
Bibliogr.s. 333
Recenzje:
Potwierdź wykonanie raportu
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej