Author |
Topic: CS programs not as education but as IQ tests (Read 724 times) |
|
amichail
Senior Riddler
Posts: 450
|
 |
CS programs not as education but as IQ tests
« on: May 17th, 2007, 5:07pm » |
 Quote  Modify
|
CS programs tend to be quite theoretical at the top universities.
But is such a theoretical approach suitable for educating software engineers?
Universities would argue that a mathematical background is important for developing problem solving skills.
However, success in such a program is also indicative of high IQ. High IQ students can learn whatever they need later on their own.
And so CS education might be more of an IQ test that is useful to employers. The idea that something important is being taught might be wrong.
|
| « Last Edit: May 17th, 2007, 5:26pm by amichail » |
 IP Logged |
DropZap - a new kind of block elimination game
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender: 
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #1 on: May 18th, 2007, 1:20am » |
Quote Modify
|
Is the goal of top universities to train engineers?
In this country we have several types of what abroad might be just called universities. We have 'academic' universities, technical universities and "hoge scholen"; the first is the most theoretically orientated (research), the second is geared to high-level application (engineering), and the last to more normal applications.
So I would posit that the toplevel universities you speak of do not in fact aim to educate software engineers, but rather computer scientists. Thus, to answer you're question, no; but there's nothing wrong with that.
You would probably miss out on a lot of important algorithms if not for (theoretical) computer science though. Nor, most likely, would you have proofs of their correctness. Simply put both aspects (theory and application) have their merit, and you're better off in a world that has both.
Also note that an example like the devellopment of RSA is based almost entirely on mathematics. Someone that was only a software engineer and hadn't much training in number theory would never have found it.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
amichail
Senior Riddler
Posts: 450
|
|
Re: CS programs not as education but as IQ tests
« Reply #2 on: May 18th, 2007, 6:20am » |
Quote Modify
|
People certainly do go to MIT for example to become engineers.
But my point is that a theoretical program can be completely misguided -- and not just for software engineers but also for computer scientists!
Any program that measures IQ would result in a grading system that is predictive of future success -- even if the material taught is completely irrelevant.
|
| « Last Edit: May 18th, 2007, 6:29am by amichail » |
IP Logged |
DropZap - a new kind of block elimination game
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #3 on: May 18th, 2007, 10:22am » |
Quote Modify
|
on May 18th, 2007, 1:20am, towr wrote:| Nor, most likely, would you have proofs of their correctness. |
|
By the way, when I was a postgrad in the 90's Formal Methods was quite a popular and developing subject. One standard text I remember was by Hoare. How are things today?
|
| « Last Edit: May 18th, 2007, 10:23am by ThudnBlunder » |
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
amichail
Senior Riddler
Posts: 450
|
|
Re: CS programs not as education but as IQ tests
« Reply #4 on: May 18th, 2007, 12:16pm » |
Quote Modify
|
on May 18th, 2007, 10:22am, ThudanBlunder wrote:
By the way, when I was a postgrad in the 90's Formal Methods was quite a popular and developing subject. One standard text I remember was by Hoare. How are things today?
|
|
Formal methods are mostly a European thing.
|
|
IP Logged |
DropZap - a new kind of block elimination game
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #5 on: May 18th, 2007, 1:49pm » |
Quote Modify
|
on May 18th, 2007, 12:16pm, amichail wrote:
Formal methods are mostly a European thing. |
|
Is that why we have never had a Three Mile Island?
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
SMQ
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 2084
|
|
Re: CS programs not as education but as IQ tests
« Reply #6 on: May 18th, 2007, 2:02pm » |
Quote Modify
|
on May 18th, 2007, 1:49pm, ThudanBlunder wrote:
Is that why we have never had a Three Mile Island?
|
|
Would you rather claim Chernobyl instead?! 
--SMQ
|
|
IP Logged |
--SMQ
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: CS programs not as education but as IQ tests
« Reply #7 on: May 18th, 2007, 4:00pm » |
Quote Modify
|
on May 18th, 2007, 6:20am, amichail wrote:But my point is that a theoretical program can be completely misguided -- and not just for software engineers but also for computer scientists!
Any program that measures IQ would result in a grading system that is predictive of future success -- even if the material taught is completely irrelevant. |
|
The mark of a good theoretical program in any discipline is not financial or career success of its graduates, but rather the quality of the research they publish, as judged by its "customers".
Disciplines generally are organized in layers progressing from the most theoretical to the most applied. The exemplar of this is probably Physics, which is broken down as:
Pure Mathematics
Applied Mathematics = Theoretical Physics
Experimental Physics
Concept Engineering
Design Engineering
Manufacturing Engineering
(Consumer)
The value of the work of each level of this progression is decided mostly by the level after. Most people who are familiar with the process recognize the value of each level in the physics progression. Every level developed to meet the needs of the level below. Each eventually came to be recognized as a separate discipline because they each have separate needs. The initial training for each field overlaps significantly with the nearer fields, so much so that colleges generally do not teach them all as separate fields. Yet any sizable company splits Engineering into the three groups listed, and those who work for them tend to specialize in just one of these. Similarly, the difference between theoretical and experimental engineering does not exist until late in the physicist's schooling, nor the difference between pure and applied mathematics.
The same thing is true for the CS field, though because it is so new, matters are still sorting out as to where the divisions between layers are needed (remember that Mathematics and Physics were not considered separate disciplines until about 100 to 150 years ago). The same sort of progression from theory to application is needed in CS.
Some people are needed to do basic research into the algorithmic process, some are needed to tie that research into real world conceptions, some are needed to convert those conceptions to actual usable algorithms, and some are needed to apply those algorithms to actual customer needs. And everyone involved needs to see something of the whole picture to figure out where they fit in it.
Those theoretical programs are needed to provide the top level of this progression. It is needful that everyone have some exposure to them in order to know what they should be asking for at their own level. At some point, too, there needs to be training at a more practical level, for those who feel led in this direction. Not being a CS person, I don't know what paths are available to one, but there should be the whole range to choose from.
|
|
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #9 on: May 19th, 2007, 8:10am » |
Quote Modify
|
on May 18th, 2007, 2:02pm, SMQ wrote:
Would you rather claim Chernobyl instead?!
--SMQ |
|
Claim? 
Yes, the Soviet Union had Chernobyl, the US had Three Mile Island, and evidently Europe has had Formal Methods.
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
Barukh
Uberpuzzler
Gender:
Posts: 2276
|
|
Re: CS programs not as education but as IQ tests
« Reply #10 on: May 19th, 2007, 9:42am » |
Quote Modify
|
on May 19th, 2007, 8:10am, ThudanBlunder wrote:| Yes, the Soviet Union had Chernobyl, the US had Three Mile Island, and evidently Europe has had Formal Methods. |
|
Don't know how much Formal Methods can help solving nuclear reactor functionality ptoblems.
Besides, do you want to say that Europe hasn't suffered from any man-made disasters in last 50 years?
|
| « Last Edit: May 19th, 2007, 9:43am by Barukh » |
IP Logged |
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #11 on: May 19th, 2007, 10:19am » |
Quote Modify
|
on May 19th, 2007, 9:42am, Barukh wrote:
Don't know how much Formal Methods can help solving nuclear reactor functionality ptoblems.
|
|
Isn't proving program correctness of critical nuclear reactor software a good idea?
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
amichail
Senior Riddler
Posts: 450
|
|
Re: CS programs not as education but as IQ tests
« Reply #12 on: May 19th, 2007, 10:36am » |
Quote Modify
|
on May 19th, 2007, 10:19am, ThudanBlunder wrote:
Isn't proving program correctness of critical nuclear reactor software a good idea?
|
|
Yes, of course. But do enough software engineers end up working on mission-critical software to warrant making formal methods a major part of a CS education?
|
| « Last Edit: May 19th, 2007, 10:36am by amichail » |
IP Logged |
DropZap - a new kind of block elimination game
|
|
|
rmsgrey
Uberpuzzler
    
Gender:
Posts: 2873
|
|
Re: CS programs not as education but as IQ tests
« Reply #13 on: May 19th, 2007, 10:57am » |
Quote Modify
|
on May 19th, 2007, 10:36am, amichail wrote:
Yes, of course. But do enough software engineers end up working on mission-critical software to warrant making formal methods a major part of a CS education? |
|
It only needs one to make it necessary that someone get taught it. I don't think anyone here is arguing that you should automatically teach everyone formal methods (though there's an obvious benefit to exposing all software engineers to at least the basics) - but that doesn't mean no-one should get taught it either...
|
|
IP Logged |
|
|
|
SMQ
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 2084
|
|
Re: CS programs not as education but as IQ tests
« Reply #14 on: May 19th, 2007, 12:21pm » |
Quote Modify
|
on May 19th, 2007, 8:10am, ThudanBlunder wrote:
Claim? |
|
Um, last time I checked, Chernobyl was in Europe... geographically, if maybe not politically. My point being that bad judgment happens everywhere.
--SMQ
|
|
IP Logged |
--SMQ
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #15 on: May 19th, 2007, 12:43pm » |
Quote Modify
|
on May 18th, 2007, 10:22am, ThudanBlunder wrote:| By the way, when I was a postgrad in the 90's Formal Methods was quite a popular and developing subject. One standard text I remember was by Hoare. How are things today? |
|
I don't really know actually. When I had my course in program correctness I still wasn't prone to read my textbooks. And more recent familiarity was more practically oriented, using prover system to show correctness. (We have a professor that is very busy in the subject)
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #16 on: May 19th, 2007, 12:45pm » |
Quote Modify
|
on May 18th, 2007, 6:20am, amichail wrote:| But my point is that a theoretical program can be completely misguided -- and not just for software engineers but also for computer scientists! |
|
Any program can be totally misguided. So ?
I very much doubt the programs at MIT and other top universities busy themselves with things that are irrelevant to their subject. Their not just measuring IQ, but their teaching certain subjects and modes of thinking. Or at least that's what I'd expect.
Teaching a hundred ways to get "Hello world" on a screen isn't a better approach.
on May 18th, 2007, 4:19pm, amichail wrote:An empty phrase if ever there was one. The web doesn't have versions, it's a continuous process.
|
| « Last Edit: May 19th, 2007, 12:51pm by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
amichail
Senior Riddler
Posts: 450
|
|
Re: CS programs not as education but as IQ tests
« Reply #17 on: May 19th, 2007, 12:52pm » |
Quote Modify
|
on May 19th, 2007, 12:45pm, towr wrote:
Any program can be totally misguided. So ?
I very much doubt the programs at MIT and other top universities busy themselves with things that are irrelevant to their subject. Their not just measuring IQ, but their teaching certain subjects and modes of thinking. Or at least that's what I'd expect.
Teaching a hundred ways to get "Hello world" on a screen isn't a better approach. |
|
For whatever reason, computer science isn't really about software engineering.
Professors teach what they like, even if it is less useful than more applied content.
Moreover, professors tend to like teaching and assessing students in a way that requires a high IQ for high marks.
So we get a situation where it appears that the curriculum is well-suited to software development, simply because those students who do well in university seem to do well later.
But that's just because those students have a high IQ and they would do well at pretty well anything, no matter what their education was like.
As for me, as I mentioned before, my interest in computing now is more creative, more at the application rather than the implementation level.
|
|
IP Logged |
DropZap - a new kind of block elimination game
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #18 on: May 19th, 2007, 12:53pm » |
Quote Modify
|
on May 19th, 2007, 10:19am, ThudanBlunder wrote:| Isn't proving program correctness of critical nuclear reactor software a good idea? |
|
Well, really the only thing you can do is prove that the program does what it says it does (or find otu what exactly it does). Whether it makes the right decisions is another method. Computers are very efficient in making the mistakes that people tell them to make very quickly and repeatedly.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #19 on: May 21st, 2007, 3:24am » |
Quote Modify
|
on May 19th, 2007, 12:53pm, towr wrote:
Well, really the only thing you can do is prove that the program does what it says it does (or find otu what exactly it does). Whether it makes the right decisions is another method. |
|
Right, but we are at least reducing human error.
on May 19th, 2007, 12:53pm, towr wrote:
Computers are very efficient in making the mistakes that people tell them to make very quickly and repeatedly. |
|
Indeed. For example, how would a program decipher the above sentence? 
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #20 on: May 21st, 2007, 3:46am » |
Quote Modify
|
on May 21st, 2007, 3:24am, ThudanBlunder wrote:| Indeed. For example, how would a program decipher the above sentence? |
|
I think it might have quite a bit of trouble coming up with the idea that I somehow switched "matter" and "method". I'm not quite sure myself how I managed to make that mistake.
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #21 on: May 21st, 2007, 4:22am » |
Quote Modify
|
on May 21st, 2007, 3:46am, towr wrote:
I think it might have quite a bit of trouble coming up with the idea that I somehow switched "matter" and "method". I'm not quite sure myself how I managed to make that mistake. |
|
In fact, I was referring to the more subtle mistake below.
on May 19th, 2007, 12:53pm, towr wrote:| Computers are very efficient in making the mistakes that people tell them to make very quickly and repeatedly. |
|
Would it be clear to a program what 'very quickly and repeatedly' refers to?
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #22 on: May 21st, 2007, 4:41am » |
Quote Modify
|
on May 21st, 2007, 4:22am, ThudanBlunder wrote:| Would it be clear to a program what 'very quickly and repeatedly' refers to? |
|
It might consider both interpretations.
I'm not sure whether it consitutes a mistake, subtle or otherwise. Any additional punctuation would change the meaning. The only other remedy would be restructuring the sentence, but that would mean that there's things you can (properly) say but not write.
The basic structure of the sentence is "Computers are very efficient in making the mistakes very quickly and repeatedly."
The "that people tell them to make"-part is not an accidental quality of the mistakes, though, so it has to be added without surrounding commas. (I seem lost for the proper terminology on this point, at the moment)
So basicly, words cannot express how I feel
|
| « Last Edit: May 21st, 2007, 4:42am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
ThudnBlunder
wu::riddles Moderator
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: CS programs not as education but as IQ tests
« Reply #23 on: May 21st, 2007, 5:19am » |
Quote Modify
|
on May 21st, 2007, 4:41am, towr wrote: (I seem lost for the proper terminology on this point, at the moment)
So basicly, words cannot express how I feel |
|
Funny perhaps?
And of course you are not writing in your mother language.
Anyway, for human consumption I would stick the 'very quickly and repeatedly' after 'in', as I think an adverb usually modifies what immediately follows or precedes it. Placed at the end of a sentence, it must therefore modify what immediately precedes it. But I wouldn't know what's best for computer parsing.
|
| « Last Edit: May 23rd, 2007, 12:15am by ThudnBlunder » |
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
towr
wu::riddles Moderator
Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: CS programs not as education but as IQ tests
« Reply #24 on: May 21st, 2007, 6:11am » |
Quote Modify
|
on May 21st, 2007, 5:19am, ThudanBlunder wrote:| Anyway, for human consumption I would stick the 'very quickly and repeatedly' after 'in' |
|
Yes, that would fall under the 'restructuring' remedy.
I suppose if you can't say what you want clearly, you should change what you want to say to something clear.
Quote:| as I think an adverb usually modifies what immediately follows or precedes it. Placed at the end of a sentence, it must therefore modify what immediately precedes it. |
|
Well, it does modify the last subtree when parsing the sentence; so in that much it's ok
A rough parse:
[Computers [are [very efficient]] [in [[making [the mistakes that [people tell them to make]]] [[very quickly] and repeatedly]]]].
Quote:| But I wouldn't know what's best for computer parsing. |
|
My experience with natural language processing is that a normal sentence can be parsed in at least half a dozen ways, having various types of structural ambiguity. The ambiguity is usually cleared up (for people) by the meaning of the consituent words and context, but computers lack such an understanding.
|
| « Last Edit: May 21st, 2007, 6:16am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
|
RIDDLES SITE
WRITE MATH!
Home 
Help 
Search 
Members 
Login 
Register
Reply
Notify of replies
Send Topic
Print