Beskrivelse
Anvendelser av formell logikk i datavitenskap. Symbolske logikker som klassisk predikatkalkyle brukes til å representere domenekunnskap, modellere beregningsproblemer og løse dem ved hjelp av automatiserte resoneringssystemer. Anvendelser inkluderer kunstig intelligens, programvareteknikk, datastyring og maskinvaren verifikasjon.
Forkunnskaper
- Forkunnskapskrav: COMP 2804 .
Vilkår og bestemmelser
- Forkunnskapskrav: COMP 2804 .
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
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://calendar.carleton.ca/undergrad/courses/COMP/