40469
No cover
Book
In basket
Logika matematyczna w informatyce / M. Ben-Ari ; Tł. Mirosława Miłkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2005. - 335 s. : rys. ; 25 cm.
(Klasyka Informatyki)
Author
Ben-Ari M. Miłkowska Mirosława. Tł.
Subject
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
Availability:
Wypożyczalnia
There are copies available to loan: sygn. 24788 (1 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 24787/XXI czyt. (1 egz.)
Notes:
Bibliography, etc. note
Bibliogr.s. 333
Reviews:
Confirm report execution
Also derive:
shelf marks
IDs
subject headings
location
summary
ISBN number
sort key
adres wersji elektronicznej
copies localization
opis fizyczny
Report sorting:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again