mathementical formal foundations of computing
  Home FAQ Contact Sign in
 
Advanced search
MATCHING GROUPS



more...
POPULAR GROUPS

more...

found 385 articles for 0.005 sec
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.forth · Group Profile · Search for mathementical formal foundations of computing in comp.lang.forth
Author: Arjan
Date: Feb 24, 2007 11:29

... <1172155799.675959@vasbyt.isdsl.net> news@absamail.co.za wrote: 2 independant issues here: 1. I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from an art towards a science. Patterns seem to be a heuristic step in that direction ?...
Show full article (0.47Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.functional · Group Profile · Search for mathementical formal foundations of computing in comp.lang.functional
Author: Arjan
Date: Feb 24, 2007 11:29

... <1172155799.675959@vasbyt.isdsl.net> news@absamail.co.za wrote: 2 independant issues here: 1. I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from an art towards a science. Patterns seem to be a heuristic step in that direction ?...
Show full article (0.47Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.forth · Group Profile · Search for mathementical formal foundations of computing in comp.lang.forth
Author: Tester
Date: Feb 23, 2007 07:40

...1. I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from an ...to be a heuristic step in that direction ? Are most aspects of the formal mathematical theory of computing all that relevant to the day-to-day process of coming up ....org/wiki/NP-complete How is this likely to make practical computing more of a science?
Show full article (0.68Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.functional · Group Profile · Search for mathementical formal foundations of computing in comp.lang.functional
Author: Tester
Date: Feb 23, 2007 07:40

...1. I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from an ...to be a heuristic step in that direction ? Are most aspects of the formal mathematical theory of computing all that relevant to the day-to-day process of coming up ....org/wiki/NP-complete How is this likely to make practical computing more of a science?
Show full article (0.68Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.forth · Group Profile · Search for mathementical formal foundations of computing in comp.lang.forth
Author: Logan Shaw
Date: Feb 22, 2007 23:39

...for material re. "the mathementical/formal foundation[s] of computing" to help move...in that. Programming consists of making computers do what people want them to...partially an art. Now, understanding how computers work and what is possible can be a science. But computer science is not programming. Patterns seem...ways of dealing with weaknesses in computer languages. Or to describe it a...
Show full article (2.11Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.functional · Group Profile · Search for mathementical formal foundations of computing in comp.lang.functional
Author: Logan Shaw
Date: Feb 22, 2007 23:39

...for material re. "the mathementical/formal foundation[s] of computing" to help move...in that. Programming consists of making computers do what people want them to...partially an art. Now, understanding how computers work and what is possible can be a science. But computer science is not programming. Patterns seem...ways of dealing with weaknesses in computer languages. Or to describe it a...
Show full article (2.11Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.forth · Group Profile · Search for mathementical formal foundations of computing in comp.lang.forth
Author: Paul E. Bennett
Date: Feb 22, 2007 14:45

... I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from an art towards a ... he hasn't done a search on Formal methods with google to start with before ...I have seen some places where maths (formal methods) has been a help in extracting ... there are limitations to the use of formal methods and it is of no use...
Show full article (2.64Kb)
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.functional · Group Profile · Search for mathementical formal foundations of computing in comp.lang.functional
Author: Paul E. Bennett
Date: Feb 22, 2007 14:45

... I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from an art towards a ... he hasn't done a search on Formal methods with google to start with before ...I have seen some places where maths (formal methods) has been a help in extracting ... there are limitations to the use of formal methods and it is of no use...
Show full article (2.64Kb)
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.forth · Group Profile · Search for mathementical formal foundations of computing in comp.lang.forth
Author: Jerry Avins
Date: Feb 22, 2007 13:15

...> 1. I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from ...dead end. It is no more possible to create a mathematical/formal foundation[s] of computing than it is to create one of .... The foundation is craft. Math builds on that foundation. Jerry -- Engineering is the art of making what you ...
Show full article (0.85Kb) · Show article thread
Re: mathementical/formal foundations of computing ?     

Group: comp.lang.functional · Group Profile · Search for mathementical formal foundations of computing in comp.lang.functional
Author: Jerry Avins
Date: Feb 22, 2007 13:15

...> 1. I'm still searching for material re. "the mathementical/formal foundation[s] of computing" to help move programming away from ...dead end. It is no more possible to create a mathematical/formal foundation[s] of computing than it is to create one of .... The foundation is craft. Math builds on that foundation. Jerry -- Engineering is the art of making what you ...
Show full article (0.85Kb) · Show article thread
1 · 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 · next