enow.com Web Search

  1. Ad

    related to: pioneers in computing and logic analysis 4th

Search results

  1. Results from the WOW.Com Content Network
  2. List of pioneers in computer science - Wikipedia

    en.wikipedia.org/wiki/List_of_pioneers_in...

    Pioneer of mainframe computing; designed IBM 704; chief architect of IBM System/360. [4] [5] Formulated Amdahl's law; also worked on IBM 709 and IBM 7030 Stretch. [6] 1939 Atanasoff, John: Built the first electronic digital computer, the Atanasoff–Berry Computer, though it was neither programmable nor Turing-complete. 1822, 1837 Babbage, Charles

  3. List of programmers - Wikipedia

    en.wikipedia.org/wiki/List_of_programmers

    Louis Hodes – Lisp, pattern recognition, logic programming, cancer research; John Henry Holland – pioneer in what became known as genetic algorithms, developed Holland's schema theorem, Learning Classifier Systems; Allen Holub – author and public speaker, Agile Manifesto signatory; Grace Hopper – Harvard Mark I computer, FLOW-MATIC, COBOL

  4. List of computer scientists - Wikipedia

    en.wikipedia.org/wiki/List_of_computer_scientists

    John von Neumann (1903–1957) – early computers, von Neumann machine, set theory, functional analysis, mathematics pioneer, linear programming, quantum mechanics; Allen Newell – artificial intelligence, Computer Structures; Max Newman – Colossus computer, MADM; Andrew Ng – artificial intelligence, machine learning, robotics

  5. William Ward Armstrong - Wikipedia

    en.wikipedia.org/wiki/William_Ward_Armstrong

    William Ward Armstrong is a Canadian mathematician and computer scientist. He earned his Ph.D. from the University of British Columbia in 1966 and is most known as the originator Armstrong's axioms of dependency in a Relational database .

  6. Robert Kowalski - Wikipedia

    en.wikipedia.org/wiki/Robert_Kowalski

    Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. [1]

  7. John Alan Robinson - Wikipedia

    en.wikipedia.org/wiki/John_Alan_Robinson

    John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist.He was a professor emeritus at Syracuse University.. Alan Robinson's major contribution is to the foundations of automated theorem proving.

  8. Allen Newell - Wikipedia

    en.wikipedia.org/wiki/Allen_Newell

    Allen Newell (March 19, 1927 – July 19, 1992) was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology.

  9. Stephen Cole Kleene - Wikipedia

    en.wikipedia.org/wiki/Stephen_Cole_Kleene

    Stephen Cole Kleene (/ ˈ k l eɪ n i / KLAY-nee; [a] January 5, 1909 – January 25, 1994) was an American mathematician.One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer ...

  1. Ad

    related to: pioneers in computing and logic analysis 4th