Talk About Network



Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Eiffel > Re: Weak formal...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 2 of 3 Topic 894 of 913
Post > Topic >>

Re: Weak formal methods ?

by CBFalconer <cbfalconer@[EMAIL PROTECTED] > Oct 29, 2007 at 12:08 AM

problems@[EMAIL PROTECTED]
 wrote:
> 
> First an analogy:
>
> when first small scale integrated circuits came on the market
> experimenters built digital circuits by busking since they
> didn't yet know how to 'read the score'.   One used an intuitive
> designing method to chose various combinations and
> configuratins of gates to acheive the desired result.
> 
> Later, simple tools like Karnaugh maps and equations to get
> cannonical forms ...etc. were use to replace the art with some
> science.

FYI Karnaugh maps, logical equations etc. were in common use back
in the 1930s, and date back much earlier than that.  Telephone
systems, using relays, required lots of digital knowledge.

-- 
 Chuck F (cbfalconer at maineline dot net)
   Available for consulting/temporary embedded and systems.
   <http://cbfalconer.home.att.net>


-- 
Posted via a free Usenet account from http://www.teranews.com




 3 Posts in Topic:
Weak formal methods ?
problems@[EMAIL PROTECTED  2007-10-28 20:35:38 
Re: Weak formal methods ?
CBFalconer <cbfalconer  2007-10-29 00:08:11 
Re: Weak formal methods ?
Georg Bauhaus <rm.tsoh  2007-10-29 10:45:12 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Thu May 15 20:52:33 CDT 2008.