The most essential foundations for computer science are grounded in logic and set theory. The logician Gottlob Frege who defined the first propositional calculus essentially created the first programming language. The language he defined has all the formal requirements for a powerful computer programming and specification language. The theory of computation is based on concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing.
Rating: /10 - reviews