The biological foundations of the nervous system, emotions, and learning, combined with cognitive theories of perception, memory, and reasoning.
Natural deduction for propositional and first-order predicate logic with identity, model theory, and set theory. Includes metalogic and proofs of properties of formal proof systems.
Introduction to phonetics, phonology, morphology, syntax, and semantics. Provides a theoretical and practical foundation for language-related studies.
Philosophy of science, ethics, and fundamentals of logic and argumentation theory. Develops critical and analytical competence relevant to one's own field of study.
Essay → The functional paradigm with recursion, higher-order functions, and immutable data structures. Programming in a functional language such as Haskell.
Haskell
Interdisciplinary overview of cognition from computer science, linguistics, psychology, and philosophy. Covers knowledge representation, reasoning, learning, language, perception, and consciousness.
Essay → Modern philosophy of mind and the relationship between mental and physical properties. Covers behaviorism, identity theory, functionalism, and the problem of consciousness.
Introduction to propositional logic and first-order predicate logic. Emphasis on translation from natural language to formal logical language, truth tables, and the tree method.
Practical introduction to programming using a modern language. Covers variables, expressions, control flow, arrays, and file handling.
Python
Logic-based knowledge representation and various forms of reasoning including deductive, default, and abductive reasoning. Also covers reasoning about knowledge, action, and change in multi-agent systems.
Prolog
Continuation of programming with focus on code quality. Covers abstractions, object-oriented design, inheritance, polymorphism, generics, and testing.
Java
Cognitive science related to linguistic knowledge, language acquisition, and language use. Explores the psychological and cognitive aspects of language.
Statistical methods and analysis for cognitive science. Covers descriptive statistics, hypothesis testing, and data analysis for cognitive experiments.
R