Logic and Proof Techniques I

Education facts

Code: 1MA027

The course gives you the basics of propositional and predicate logic. As logic has applications in computer science, this course is especially recommended for students majoring in computer science.

Entry requirements

5 credits in mathematics of computer science. Participation in Basic Algebra.

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Logic and Proof Techniques I

  Uppsala University

  Uppsala

  Start date: 22 March 2027

  End date: 6 June 2027

  Pace of study: 33 %