Mathematical Foundations of Computer Science
GPTKB entity
Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:hasCourseCode |
CS 173 (University of Illinois Urbana-Champaign)
CS 280 (Carnegie Mellon University) CS 70 (UC Berkeley) |
| gptkbp:hasTextbook |
gptkb:Concrete_Mathematics
gptkb:Discrete_Mathematics_and_Its_Applications Introduction to the Theory of Computation |
| gptkbp:importantFor |
gptkb:theoretical_computer_science
gptkb:artificial_intelligence gptkb:complexity_theory gptkb:information_theory gptkb:machine_learning cryptography data science software engineering |
| gptkbp:includes |
gptkb:combinatorics
gptkb:logic gptkb:set_theory automata theory discrete mathematics number theory formal languages graph theory algorithms theory of computation |
| gptkbp:prerequisite |
high school algebra
basic mathematics mathematical maturity |
| gptkbp:relatedTo |
gptkb:mathematics
computer science |
| gptkbp:taughtAt |
undergraduate computer science programs
graduate computer science programs |
| gptkbp:bfsParent |
gptkb:MFCS
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mathematical Foundations of Computer Science
|