PeernovoSign inGet started

Formal Systems and Logic in Computing Science

University of Alberta · AB · CMPUT272

Search degrees across Australia, the US, the UK & Canada
I love biology and computersWant to be a nurseBusiness and marketingEngineering, hands-on

Formal Systems and Logic in Computing Science is a subject at University of Alberta, AB in CMPUT. It covers topics like computational-linguistics, computational-mathematics, computing, discrete-mathematics. It is part of 1 degree. The information below is compiled from public course material — approximate, not official.

University
University of Alberta
Code
CMPUT272
Credit points
3.00
Category
CMPUT

Topics covered

computational-linguisticscomputational-mathematicscomputingdiscrete-mathematics

Degrees that include Formal Systems and Logic in Computing Science

Frequently asked questions

What is Formal Systems and Logic in Computing Science about?

Formal Systems and Logic in Computing Science covers topics like computational-linguistics, computational-mathematics, computing, discrete-mathematics.

Which degrees include Formal Systems and Logic in Computing Science?

Formal Systems and Logic in Computing Science is part of 1 degree, including Bachelor of Science in Computer Engineering Co-op - Software Option.

How many credit points is Formal Systems and Logic in Computing Science?

Formal Systems and Logic in Computing Science at University of Alberta is typically around 3.00 credit points. Approximate — confirm with the university.

Where is Formal Systems and Logic in Computing Science taught?

Formal Systems and Logic in Computing Science is taught at University of Alberta, AB.

Studying Formal Systems and Logic in Computing Science?

Peernovo helps students research, choose and thrive at university — across Australia, the US, the UK and Canada — powered by our AI backbone:

  • Explore & compare degrees — across universities and countries with honest, specific information.
  • "What Can I Be?" career guidance — an AI pathway councillor that maps degrees to careers.
  • See who's studying — your degree at your university — find classmates and study groups.
  • AI Task Coach — a Socratic study companion that plans your work around your life.
  • Honours & Thesis Research Coach — structure and move your research project forward.
  • Smart study planner, exam prep and a daily digest — to keep you on track.

Get started free → · Explore degrees · Browse by field

Sources: University of Alberta public course catalogue. Information is compiled and summarised — not copied verbatim — and is approximate; always confirm with the original source.

Something not right on this page, or want it changed? Let us know and we'll review it.