Computer Science

Open Courseware and Resources (general)

- Computer Science: study of the theoretical foundations of information and computation and their implementation and application in computer systems (Wikipedia).

Design and Analysis of Algorithms

Iterative Algorithms & Loop Invariants, Recursion, Optimization Problems, slides (Iterative Technique, Recursion, Searching Graphs, Network Flows, Greedy Algorithms, Recursive Back Tracking and Dynamic Programming, NP-Completeness, Lower Bounds & Models, Review)

CSC Media

variety of recordings of past CSC Talks - some large files

Stanford CS Education Library

collects education CS material from courses and distributes them for free: Pointers and Memory, Lists & Trees, Languages, Unix, Tetris, Beta Materials

Introduction to Algorithms

techniques for design & analysis of efficient algorithms emphasizing methods useful in practice, sorting; search trees, heaps & hashing, divide-and-conquer, dynamic programming, amortized analysis, graph algorithms, shortest paths, network flow, computational geometry, number-theoretic algorithms, polynomial & matrix calculations, caching, & parallel computing, readings, quizzes & solutions
 

Skiena's Algorithms Lectures

Introduction to Algorithms, Asymptotic Notation, Modeling / Logarithms, Elementary Data Structures, Trees, Sorting, Graph Data Structures, Breadth/Depth-First Search, Topological Sort / Connectivity, Minimum Spanning Trees, Shortest Path, All-Pairs Shortest Paths, Combinatorial Search, Program optimization, Dynamic Programming, NP-completeness, Reductions, Cook's Theorem, The NP-completeness challenge, Approximation Algorithms, Heuristic Methods

Introduction to Computer Science and Programming

understanding of the role computation can play in solving problems, small programs that allow useful goals, Python™ programming language: readings
 

Interactive Computer Theorem Proving

basic logic and natural deduction, data structures and induction, inductively-defined predicates, proofs as programs, tactics for automation, programming with proofs, beyond primitive recursion, automation, proof by reflection, denotational semantics, reflecting Coq into Coq, Twelf

Understanding Computers and the Internet

hardware, software, the Internet, multimedia, security, website development, programming, and dotcoms, designed both for those with little, if any, computer experience and for those who use a computer every day: optional handson sections and workshops, problem sets
 

ArsDigita University Curriculum (courses)

Math for Computer Science, Structure and Interpretation of Computer Programs, Discrete Math, How Computers Work, Object-oriented Program Design, Algorithms, Systems, Web Applications, Theory of Computation, Artificial Intelligence, Unix Workshop, Database Management Systems, Applied Probability

Syndicate content