Matematička logika
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:33526/Details |
|---|---|
| Glavni autor: | Vuković, Mladen (-) |
| Vrsta građe: | Knjiga |
| Jezik: | hrv |
| Impresum: |
Zagreb:
Element,
2009.
|
| Izdanje: | 1. izd |
| Nakladnička cjelina: |
Udžbenici Sveučilišta u Zagrebu = Manualia Universitatis studiorum Zagrabiensis
|
| LEADER | 01068nam a2200229uu 4500 | ||
|---|---|---|---|
| 005 | 20141031091300.0 | ||
| 008 | s2009 |||||||||| ||hrv|d | ||
| 020 | |a 9789531975193 | ||
| 035 | |a HR-ZaFER 37957 | ||
| 040 | |a HR-ZaFER |b hrv |c HR-ZaFER |e ppiak | ||
| 041 | |a hrv | ||
| 080 | |a 510.6 | ||
| 100 | 1 | |9 32128 |a Vuković, Mladen | |
| 245 | |a Matematička logika / | ||
| 250 | |a 1. izd. | ||
| 260 | |a Zagreb: |b Element, |c 2009. | ||
| 300 | |a 215 str. ; |c 24 cm. | ||
| 490 | |a Udžbenici Sveučilišta u Zagrebu = Manualia Universitatis studiorum Zagrabiensis | ||
| 505 | 0 | 0 | |t Logika sudova. Jezik logike sudova. Interpretacije. Normalne forme. Testovi valjanosti. Rakun sudova ( Frege-Lukasiewiczev sistem). Prirodna dedukcija. Alternativne aksiomatizacije logike sudova. Neke neklasične logike sudova. |t Logika prvog reda. Jezik teorije prvog reda. Interpretacije i modeli. Preneksna normalna forma. Glavni test. Račun teorija prvog reda. Teorem potpunosti i posljedice. Primjeri teorija prvog reda. Ultraprodukti. |
| 942 | |c K |2 udc | ||
| 990 | |a 33219 | ||
| 999 | |c 33526 |d 33526 | ||