Foundations of Computer Science

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:basisFor advanced computer science topics
gptkbp:focusesOn theoretical computer science
gptkbp:hasTextbook gptkb:Foundations_of_Computer_Science_by_Aho_and_Ullman
https://www.w3.org/2000/01/rdf-schema#label Foundations of Computer Science
gptkbp:includes gptkb:logic
automata theory
computability theory
discrete mathematics
formal languages
algorithms
computational complexity
gptkbp:relatedTo gptkb:information_theory
gptkb:mathematics
logic in computer science
gptkbp:taughtAt computer science curriculum
gptkbp:bfsParent gptkb:Jeffrey_Ullman
gptkbp:bfsLayer 5