Matematinė logika, II d. Predikatų logika
Mokomoji knyga
| Autorius | Narimantas Listopadskis, Romualdas Markauskas |
|---|---|
| e. ISBN | 978-609-02-0631-7 |
| ISBN | 978-9955-25-399-0 |
| DOI | 10.5755/e01.9786090206317 |
| Leidykla | KTU leidykla "Technologija" |
| Leidimas | 1 |
| Išleidimo metai | 2008 |
| Puslapių sk. | 104 |
Anotacija
Mokomojoje knygoje supažindinama su dviem predikatų logikos aprašymais: predikatų algebra ir predikatų skaičiavimu. Taip pat pateikiamos užduotys savarankiškam darbui.