Mark's Completed Classes

Computer Science I

Computer Science II

Computer Science III

Computer Science IV

Analysis I

Analysis II

Linear Algebra

Logic and Discrete Mathematics

Technical Computer Science

Theory of Probabilities

Complex Analysis

Differential Equations

Numerical Mathematics

Operations Research

Electrical Engineering I

Music Theory I

Attribute Grammars

Algorithms

Neuronal Nets

Artificial Intelligence

Automatization of Theorem Proving

Natural Language Processing

Formal Problem Specification

Formal Software Development

Predicate Logic

Circuit Complexity

Programming in LISP

Programming in PROLOG

Kolmogorov Complexity

Optimization Problems

Graph Theory

Combinatorics

Highlights of Theoretical Computer Science

Compiler Design

Cryptography

Complexity Theory

Parallel Algorithms

Spanish I