Logic in computer science
FO
Finite model theory
Combinatory logic
Formal languages
Planted motif search