Logic and Computation
Computer Science
A course by
University of Auckland
Logic and Computation explores the development of computer languages and the structure, design, and limitations of symbolic representations and procedures in both human thought and computer software.
In-person study
Face-to-face learning in a physical classroom setting
City Campus, Auckland
It will take a total of 3 years
Core skills this course teaches

Develop conceptual and analytical skills in logic and computation
Students will be able to apply precise calculation, problem solving, and creative thinking to analyze and design logical and computational systems.

Understand symbolic representation and formal procedures
Graduates will examine and evaluate the structure, design, and limitations of symbolic representations and procedures as they relate to human thought and computer software.

Gain interdisciplinary knowledge
Students will combine knowledge from Computer Science, Mathematics, Linguistics, and Philosophy to approach and solve a wide range of problems.
What You're Signing Up For
Logic and Computation is a multidisciplinary subject at the University of Auckland, sitting at the intersection of Computer Science, Linguistics, Mathematics, and Philosophy. It develops your conceptual and analytical skills while examining symbolic representation and problem solving. The subject teaches students about the structure and limits of formal systems and computational procedures, providing you with a rare and versatile combination of skills sought after in research and business settings.
Course Content
- Development of computer languages
- Structure and design of symbolic representations
- Limitations of symbolic procedures
- Integration of Computer Science, Linguistics, Mathematics, and Philosophy
- Analytical and conceptual skill development
- Problem solving and precise calculation
- Design and analysis of procedures in software and human thought

What sort of industry will this job lead to
IT
Research
Academia
Business

Future employment opportunities might be
Research career in universities or the IT industry
Careers requiring analysis, critical thinking, and clear communication
Business roles valuing logical and creative problem solving