From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,1042f393323e22da X-Google-Attributes: gid109fba,public X-Google-Thread: 1014db,1042f393323e22da X-Google-Attributes: gid1014db,public X-Google-Thread: 103376,1042f393323e22da X-Google-Attributes: gid103376,public From: kaz@vision.crest.nt.com (Kaz Kylheku) Subject: Re: Any research putting c above ada? Date: 1997/05/14 Message-ID: <5ldbah$dor@bcrkh13.bnr.ca>#1/1 X-Deja-AN: 241619819 References: <5ih6i9$oct$1@waldorf.csc.calpoly.edu> <3369FCAF.41C6@cca.rockwell.com> Organization: Prism Systems Inc. Newsgroups: comp.lang.c++,comp.lang.c,comp.lang.ada Date: 1997-05-14T00:00:00+00:00 List-Id: In article , T Wheeley wrote: >The fact is that a CS degree combines all these factors into a single >degree related to the study of computers, and puts them in the correct >context. Yes the idea of dominance in sequences is part of computer >science, but they way I was taught it in maths is not particularly relvant >to the complexity of algorithms. In my study of CS, I learned how to formally verify programs, using concepts such as weakest strict preconditions, postconditions, loop invariants and so on. Formal verification is an important component of software engineering. Some proponents of FV insist that it should be consistently practiced by the entire software industry, the same way that designs in other engineering disciplines are verified. A superior intellect can perhaps make the jump from formal logic and autononmously deduce the principles of formally verifying programs, but the right CS course can guide students toward it. In this thread I have seen attitudes toward mathematics and ``theory'' which are not shared by practitioners of other engineering disciplines. Without the principles, you are just a hacker, no matter how much you think your experience makes you into an engineer.