Skip to main content

UE Discovery 2: Mathematical Models for Computer Science

Composante Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)General - Composante Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Credits2
·
Semester offeredN/A
·
Last updated1 months ago

Description

Propositional logic: propositional language, formula construction, propositional calculus, normal forms. Predicate logic: language and formula construction, free and bound variables, closed formulas, predicates, axioms, natural deduction, model theory (completeness, consistency). Algebraic structures for computer science: algebraic specification of abstract data types.

Course outline
Checking availability…

Don't see what you need?

Course match finds an equivalent course at another school. Submit a request asks our team to add a missing equivalency.

Preview the 5 closest equivalencies already indexed in our system

No matches found for this course.