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
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