Foundations of Computer Science: The Survey

Please help Lynn out by filling out some basic information about your background in CS.

What follows is a list of topics; for each topic describe your familiarity/skill level. The options are:

Name (optional)

Programming languages and tools

Java What?   Ummmm   Yeah!   Zzzzz  
Comment?
Python What?   Ummmm   Yeah!   Zzzzz  
Comment?
Some dialect of Lisp What?   Ummmm   Yeah!   Zzzzz  
Comment?
Scheme(a specific Lisp dialect) What?   Ummmm   Yeah!   Zzzzz  
Comment?
Prolog What?   Ummmm   Yeah!   Zzzzz  
Comment?
Please specify other languages and levels
HTML What?   Ummmm   Yeah!   Zzzzz  
Comment?
XML What?   Ummmm   Yeah!   Zzzzz  
Comment?
RDF What?   Ummmm   Yeah!   Zzzzz  
Comment?
OWL What?   Ummmm   Yeah!   Zzzzz  
Comment?
(Relational) databases What?   Ummmm   Yeah!   Zzzzz  
Comment?
Lex/YACC What?   Ummmm   Yeah!   Zzzzz  
Comment?

Data Structures and Algorithms

Linked Lists What?   Ummmm   Yeah!   Zzzzz  
Comment?
Arrays What?   Ummmm   Yeah!   Zzzzz  
Comment?
Hashtables/Dictionaries What?   Ummmm   Yeah!   Zzzzz  
Comment?
Stacks What?   Ummmm   Yeah!   Zzzzz  
Comment?
Queues What?   Ummmm   Yeah!   Zzzzz  
Comment?
Trees What?   Ummmm   Yeah!   Zzzzz  
Comment?
Binary search What?   Ummmm   Yeah!   Zzzzz  
Comment?
Sorting algorithms What?   Ummmm   Yeah!   Zzzzz  
Comment?
Graphs, graph algorithms What?   Ummmm   Yeah!   Zzzzz  
Comment?
Heap What?   Ummmm   Yeah!   Zzzzz  
Comment?
Asymptotic orders of growth(AKA big-O, asymptotic analysis of algorithms) What?   Ummmm   Yeah!   Zzzzz  
Comment?
Recurrence relations What?   Ummmm   Yeah!   Zzzzz  
Comment?

Theoretical Computer Science

Finite state machines (AKA finite state automata) What?   Ummmm   Yeah!   Zzzzz  
Comment?
Regular expressions What?   Ummmm   Yeah!   Zzzzz  
Comment?
BNF (AKA Bacchus Nauer Form) What?   Ummmm   Yeah!   Zzzzz  
Comment?
Context-free grammars What?   Ummmm   Yeah!   Zzzzz  
Comment?
Push-down autotmata What?   Ummmm   Yeah!   Zzzzz  
Comment?
Turing machine What?   Ummmm   Yeah!   Zzzzz  
Comment?
Nondeterminism(in the computational, not teleological, sense) What?   Ummmm   Yeah!   Zzzzz  
Comment?
NP, NP-complete, NP-hard What?   Ummmm   Yeah!   Zzzzz  
Comment?
P-space What?   Ummmm   Yeah!   Zzzzz  
Comment?

Logic

Boolean logic AKA propositional calculus What?   Ummmm   Yeah!   Zzzzz  
Comment?
Predicate logic AKA predicate calculus What?   Ummmm   Yeah!   Zzzzz  
Comment?
Incompleteness, Godel What?   Ummmm   Yeah!   Zzzzz  
Comment?