Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Matematička logika 1 (CROSBI ID 743818)

Druge vrste radova | ostalo

• Obrazovni materijal (nedefinirano )

Vuković, Mladen Matematička logika 1. Zagreb: PMF-Matematički odjel, 2007. 260..

Podaci o odgovornosti

Vuković, Mladen

hrvatski

Matematička logika 1

Skripta je namijenjena studentima treće godine preddiplomskog studija matematike. U prvom poglavlju je obrađena klasična logika sudova (semantika, hilbertovski sistem i sistem prirodne dedukcije). U drugom poglavlju razmatra se logika prvog reda (semantika, hilbertovski sistem, teorija modela).

logika sudova; logika prvog reda

nije evidentirano

engleski

Mathematical Logic 1

nije evidentirano

propositional logic; first-order logic

nije evidentirano

Podaci o izdanju

Zagreb: PMF-Matematički odjel

260

2007.

nije evidentirano

objavljeno

Povezanost rada

Matematika