Comments on: Mathematics – The Systematic Reasoning http://adrianhoe.com/adrianhoe/2008/05/21/mathematics-the-systematic-reasoning/ The Eccentric Logic of An Eclectic Mind Thu, 10 May 2012 07:09:18 +0000 hourly 1 http://wordpress.org/?v= By: Adrian Hoe http://adrianhoe.com/adrianhoe/2008/05/21/mathematics-the-systematic-reasoning/comment-page-1/#comment-20281 Adrian Hoe Thu, 22 May 2008 00:44:00 +0000 http://adrianhoe.com/adrianhoe/?p=716#comment-20281 I agree with you that Ada (and Pascal) is mathematically most beautiful. No wonder you learned Ada with such an amazing speed (5 days, as I can remember). You already have the mathematic foundation and understanding of Pascal. I agree with you that Ada (and Pascal) is mathematically most beautiful.

No wonder you learned Ada with such an amazing speed (5 days, as I can remember). You already have the mathematic foundation and understanding of Pascal.

]]> By: dragon http://adrianhoe.com/adrianhoe/2008/05/21/mathematics-the-systematic-reasoning/comment-page-1/#comment-20278 dragon Wed, 21 May 2008 22:14:02 +0000 http://adrianhoe.com/adrianhoe/?p=716#comment-20278 My first language was Pascal, followed by C, C++ and Eiffel. I learned Ada myself with Adrian's help. I look at both Lisp and Prolog and mingled with them for a while but never went deeper. Among all the languages I know, I prefer Ada and Pascal. Ada being my top priority choice of language. I remembered in the course of Compiler Design, we had analysis of Pascal semantic mathematically. It was very interesting course as we learned how mathematic concepts turn into a programming language and semantic. Both Ada and Pascal are mathematically most beautiful. 龙 My first language was Pascal, followed by C, C++ and Eiffel. I learned Ada myself with Adrian’s help.

I look at both Lisp and Prolog and mingled with them for a while but never went deeper.

Among all the languages I know, I prefer Ada and Pascal. Ada being my top priority choice of language.

I remembered in the course of Compiler Design, we had analysis of Pascal semantic mathematically. It was very interesting course as we learned how mathematic concepts turn into a programming language and semantic. Both Ada and Pascal are mathematically most beautiful.

龙

]]> By: Adrian Hoe http://adrianhoe.com/adrianhoe/2008/05/21/mathematics-the-systematic-reasoning/comment-page-1/#comment-20274 Adrian Hoe Wed, 21 May 2008 15:30:03 +0000 http://adrianhoe.com/adrianhoe/?p=716#comment-20274 I have two books about Modula-2 and PL-1 but I never learn both languages. The interest sparkled after I learned Pascal but quickly died off. But I did some Prolog and learned about formal reasoning. Although I did not really put Prolog into practical use, I still quite like the language. I tried to interface some Prolog with Ada many years back. Because of lacking the support and information, I gave up the idea. I have two books about Modula-2 and PL-1 but I never learn both languages. The interest sparkled after I learned Pascal but quickly died off.

But I did some Prolog and learned about formal reasoning. Although I did not really put Prolog into practical use, I still quite like the language. I tried to interface some Prolog with Ada many years back. Because of lacking the support and information, I gave up the idea.

]]> By: Zhang Wei http://adrianhoe.com/adrianhoe/2008/05/21/mathematics-the-systematic-reasoning/comment-page-1/#comment-20273 Zhang Wei Wed, 21 May 2008 15:23:16 +0000 http://adrianhoe.com/adrianhoe/?p=716#comment-20273 You and I have something in common: My first programming language was FORTRAN 95. It was taught as the first language in my university. After that we learned Pascal, Modula-2, C, C++ then Ada. It is no doubt that Ada is the best programming language for software development. You and I have something in common: My first programming language was FORTRAN 95. It was taught as the first language in my university. After that we learned Pascal, Modula-2, C, C++ then Ada.

It is no doubt that Ada is the best programming language for software development.

]]>