Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.mixmin.net!news.musoftware.de!wum.musoftware.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "osmium" Newsgroups: comp.programming Subject: Re: informatic and university Date: Wed, 8 Aug 2012 14:42:38 -0500 Lines: 40 Message-ID: References: <5022953e$0$17946$4fafbaef@reader1.news.tin.it> X-Trace: individual.net pxoDijak2qeHntngrAM7ygasdpYGR+29nA5x/bnT512nUXoa9nEPxM0qCruVnrM2Ii Cancel-Lock: sha1:JwpsTe0fPISYSRfoUAAlgAmY4/Y= X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-RFC2646: Format=Flowed; Response Xref: csiph.com comp.programming:2037 ----- Original Message ----- From: "io_x" Newsgroups: comp.programming Sent: Wednesday, August 08, 2012 11:41 AM Subject: informatic and university > what academics master to people at university? > > there is some evidence they know some programming language > as C or C++ or assembly for some cpu? > > so if they not program, what teach in university? logic? > who know logic in all this planet? [no one] > > in other words i claim that no one know logic... > who know if i'm wrong or right? :) [i'm not 100% sure > of that...] > > Algo > for example they could write down one function for > divide 2 big numbers without consult any text > but using only what they know of how the division work? > [to write it in one implemented language > as x86 asm or C or C++ in a real pc not with a language > that not exist in a turing machine that not exist] WRT "logic" You are using two quite different meanings for "logic" As you say, street logic is quite rare, symbolic logic or whatever a syllabus calls it nowadays, is a different animal. The latter has a very constrained field of view. For another example. think of "implication" and what its derivatives means to the average person. I would rather have an example from another field but it is the best I can do at the moment.