Mon premier blog

Languages and Machines: An Introduction to the Theory of Computer Science Thomas A. Sudkamp
Publisher: Addison Wesley

Speaking of which, I mentioned it the other day, but I liked Schmidt's Denotational Semantics: A Methodology for Language Development, and the first few chapters could be useful as a general intro to some formal PL topics. Computer Science, the name, may not make sense, but there's a lot of computer science study you can do without computers. The first two are traditional introductory courses that teach computer fundamentals through exposure to one programming language. If programming, learning the theory behind programming is more important than understanding what's going on “under the hood” at first, but it would be the other way around for a CS student. The machines are not necessary to study the theory. So even as these mere examples would show, it would ultimately seem that computational complexity is at the heart of many philosophical questions about theoretical computer science, including the idea of universality. These distinctions are useful for classifying various attitudes towards the Church-Turing thesis: they range from the classical: “I don't know what this Turing Machine looks like, but it exists!” to the finitist: “Turing Machines .. Programmer should know at least one of the so called medium level languages (C, C++), even if they learn to one only to understand more about the way the machine works, I firmly believe that such languages should not be used in introductory courses in computer science. Or want to study computer science courses without going to university?…You can study anytime anywhere because there are number of free online computer science courses available on internet that are very interactive. As is so often the case in computer science, practice comes before theory, and often long before. )The lowest-level programming language (except for computers that utilize programmable microcode) Machine languages are the only languages understood by computers. This did not take up too much time because I presented alot of it as more examples of regular languages. So the question, mostly directed at old timers, is to which resources would you send a friend asking for advice on learning about the theoretical study of programming languages?