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
|