Compare Programs
Use this tool to view programs you're interested in side-by-side. Click "Add" and select a program to compare - you can add up to three.
When you're done, click "Save" to store the program comparison on your dashboard and come back to view it later.
| Computer Science - Formal Languages and Logic | | |
| ChangeRemoveSave | Add | Add |
School | University of Toronto - St. George | | |
Location | Toronto, ON, Canada | | |
School Type | University | | |
School Size | Full-time Undergraduate: 43,790 Full-time Graduate: 19,074 | | |
Degree | Bachelor | | |
Honours | | | |
Co-op | | | |
Length | 4 Year(s) | | |
Entry Grade (%)* | 87% to 100% | | |
Prerequisites | - Grade12 Calculus and Vectors
- Grade12 English
- Grade12 Advanced Functions
| | |
Prerequisites Notes | Six Grade 12 U or M courses are required.
| | |
Cost | National: | $6,400 | International: | $41,920 |
| | |
Scholarships | 25 scholarship(s) | | |
Description | How do we ensure that critical software and hardware systems work the way we intend them to? How do we develop computer systems that support decision making by people or by robots? How do we extract and update information from today's diverse and heterogeneous information sources? This focus exposes students to the mathematical foundations, tools, and techniques based on formal languages and logic to address these and many other related problems at the frontier of computer science.
| | |
Next Steps | Request Info | | |
*We make every attempt to provide accurate information on prerequisites, programs, and tuition. However, this information is subject to change without notice and we highly recommend that you contact the school to confirm important information before applying.