Matematička logika
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:33526/TOC |
|---|---|
| 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
|
Sadržaj:
- 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.
- 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.