Denne referansen beskriver den angitte katalogen. Kontakt institusjonen for å bekrefte gjeldende tilbud og betingelser som gjelder for din start.
Beskrivelse
Logikk i informatikk Grundig innføring i matematisk logikk, som dekker følgende emner: proposisjonal- og førsteordenslogikk; korrekthet, fullstendighet og kompakthet i førsteordenslogikk; førsteordens-teorier; ubestemmbarhet og Gödels ufullstendighetsteorem; og en innføring i andre logikker som intuisjonistisk og modallogikk. Anvendelse av logikk på ulike områder som beregnbarhet, programmeringsspråk, programspecifikasjon og verifikasjon.
Referansetekst i originalspråket
Logic in Computer Science Thorough introduction to mathematical logic, covering the following topics: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Gödel's incompleteness theorem; and an introduction to other logics such as intuitionistic and modal logics. Application of logic to various areas such as computability, programming languages, program specification and verification.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://brocku.ca/webcal/2024/graduate/cosc.html