Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 645000

Svojstva klasične logike

Kovač, Srećko
Svojstva klasične logike
Zagreb: Hrvatski studiji Sveučilišta u Zagrebu, 2013

CROSBI ID: 645000 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Svojstva klasične logike
(Properties of Classical Logic)

Autori
Kovač, Srećko

Vrsta obrazovnog materijala
Ostalo (nedefinirano)

Izdavač
Hrvatski studiji Sveučilišta u Zagrebu

Grad
Zagreb

Godina
2013

Stranica
X, 128

ISBN
978-953-7823-34-4

Ključne riječi
logički jezik; deduktivni sustav; pouzdanost; potpunost; odlučljivost; nepotpuinost; logika višega reda
(logical language; deductive system; soundness; completeness; decidability; incompleteness; nepotpuinost; higher-order logic)

Sažetak
Izlaže se gradivo za naprjedni kolegij logike koje uključuje svojstva jezika logike prvoga reda, pouzdanost i potpunost deduktivnoga sustava logike prvoga reda, Churchov poučak o neodlučljivosti logike prvoga reda, Peanovu aritmetiku i Gödelove poučke o nepotpunosti, logiku višega reda i njezina svojstva. Kao podsjetnik dodan je i sažet opis logike prvoga reda.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija



POVEZANOST RADA

Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)

Ustanove:
Institut za filozofiju, Zagreb

Profili:

Avatar Url Srećko Kovač (autor)

www.hrstud.unizg.hr

Citiraj ovu publikaciju:

Kovač, Srećko
Svojstva klasične logike
Zagreb: Hrvatski studiji Sveučilišta u Zagrebu, 2013
Kovač, S. (2013) Svojstva klasične logike. Zagreb. Hrvatski studiji Sveučilišta u Zagrebu.
@unknown{unknown, author = {Kova\v{c}, Sre\'{c}ko}, year = {2013}, pages = {X, 128}, keywords = {logi\v{c}ki jezik, deduktivni sustav, pouzdanost, potpunost, odlu\v{c}ljivost, nepotpuinost, logika vi\v{s}ega reda}, isbn = {978-953-7823-34-4}, title = {Svojstva klasi\v{c}ne logike}, keyword = {logi\v{c}ki jezik, deduktivni sustav, pouzdanost, potpunost, odlu\v{c}ljivost, nepotpuinost, logika vi\v{s}ega reda}, publisher = {Hrvatski studiji Sveu\v{c}ili\v{s}ta u Zagrebu}, publisherplace = {Zagreb} }
@unknown{unknown, author = {Kova\v{c}, Sre\'{c}ko}, year = {2013}, pages = {X, 128}, keywords = {logical language, deductive system, soundness, completeness, decidability, incompleteness, nepotpuinost, higher-order logic}, isbn = {978-953-7823-34-4}, title = {Properties of Classical Logic}, keyword = {logical language, deductive system, soundness, completeness, decidability, incompleteness, nepotpuinost, higher-order logic}, publisher = {Hrvatski studiji Sveu\v{c}ili\v{s}ta u Zagrebu}, publisherplace = {Zagreb} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.