Robert McNaughton
http://dbpedia.org/resource/Robert_McNaughton an entity of type: Thing
Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots.
rdf:langString
Robert Forbes McNaughton, Jr. (1924–2014) was an American mathematician, logician, and computer scientist with several key contributions in formal languages, grammars and rewriting systems, and word combinatorics. McNaughton was originally from Brooklyn, and earned a bachelor's degree from Columbia University.He completed his Ph.D. at Harvard University; his dissertation, On Establishing the Consistency of Systems, was supervised by Willard Van Orman Quine.He taught at the University of Pennsylvania and then at the Rensselaer Polytechnic Institute. He died in 2014 in Troy, New York.
rdf:langString
Robert Forbes McNaughton, Jr. (1924 – Troy (Nova Iorque), 2014) foi um matemático, lógico e cientista da computação estadunidense, com diversas contribuições em linguagens formais, gramática formal e sistema de redução. McNaughton obteve um bacharelado na Universidade Columbia. Obteve um Ph.D. na Universidade Harvard, com a tese On Establishing the Consistency of Systems, orientado por Willard van Orman Quine. Lecionou na Universidade da Pensilvânia e depois no Instituto Politécnico Rensselaer.
rdf:langString
Robert Forbes McNaughton Jr. (* 13. März 1924 in Brooklyn; † 2014 in Troy (New York)) war ein US-amerikanischer Informatiker und Logiker. McNaughton studierte an der Columbia University mit dem Bachelor-Abschluss 1948 und wurde 1951 bei Willard Van Orman Quine an der Harvard University in Philosophie promoviert (On Establishing the Consistency of Systems). Von 1954 bis 1957 war er Assistant Professor für Philosophie an der Stanford University. Er war ab 1957 Assistant Professor und später Associate Professor für Elektroingenieurwesen an der University of Pennsylvania. Von 1964 bis 1966 war er Visiting Associate Professor am Massachusetts Institute of Technology. Dort war er im Project MAC, einem großen kollaborativen Forschungsverbund für Computerentwicklung, aus dem auch das berühmte AI-L
rdf:langString
rdf:langString
Robert McNaughton
rdf:langString
Robert McNaughton
rdf:langString
Robert McNaughton
rdf:langString
Robert McNaughton
xsd:integer
55774434
xsd:integer
1101157405
rdf:langString
Robert Forbes McNaughton Jr. (* 13. März 1924 in Brooklyn; † 2014 in Troy (New York)) war ein US-amerikanischer Informatiker und Logiker. McNaughton studierte an der Columbia University mit dem Bachelor-Abschluss 1948 und wurde 1951 bei Willard Van Orman Quine an der Harvard University in Philosophie promoviert (On Establishing the Consistency of Systems). Von 1954 bis 1957 war er Assistant Professor für Philosophie an der Stanford University. Er war ab 1957 Assistant Professor und später Associate Professor für Elektroingenieurwesen an der University of Pennsylvania. Von 1964 bis 1966 war er Visiting Associate Professor am Massachusetts Institute of Technology. Dort war er im Project MAC, einem großen kollaborativen Forschungsverbund für Computerentwicklung, aus dem auch das berühmte AI-Lab des MIT hervorging (später CSAIL). Ab 1966 war er Professor für Informatik am Rensselaer Polytechnic Institute. 1989 wurde er emeritiert. Er befasste sich mit endlichen Automaten, der Theorie formaler Sprachen und formaler Grammatiken, Anwendungen der symbolischen Logik und mit Wort-Kombinatorik. Von ihm stammen einige grundlegende Beiträge zur theoretischen Informatik, teilweise mit seinem Doktoranden Hisao Yamada. 1956 erhielt er die Levy Medal.
rdf:langString
Robert Forbes McNaughton, Jr., né en 1924 et mort le 5 juin 2014 à Troy, État de New York à l'âge de 90 ans, est un mathématicien, logicien, et informaticien théoricien américain. Il est un pionnier de la théorie des automates, et auteur de contributions fondamentales en plusieurs domaines d'informatique théorique, comme les langages formels, les grammaires et systèmes de réécriture, la combinatoire des mots.
rdf:langString
Robert Forbes McNaughton, Jr. (1924–2014) was an American mathematician, logician, and computer scientist with several key contributions in formal languages, grammars and rewriting systems, and word combinatorics. McNaughton was originally from Brooklyn, and earned a bachelor's degree from Columbia University.He completed his Ph.D. at Harvard University; his dissertation, On Establishing the Consistency of Systems, was supervised by Willard Van Orman Quine.He taught at the University of Pennsylvania and then at the Rensselaer Polytechnic Institute. He died in 2014 in Troy, New York.
rdf:langString
Robert Forbes McNaughton, Jr. (1924 – Troy (Nova Iorque), 2014) foi um matemático, lógico e cientista da computação estadunidense, com diversas contribuições em linguagens formais, gramática formal e sistema de redução. McNaughton obteve um bacharelado na Universidade Columbia. Obteve um Ph.D. na Universidade Harvard, com a tese On Establishing the Consistency of Systems, orientado por Willard van Orman Quine. Lecionou na Universidade da Pensilvânia e depois no Instituto Politécnico Rensselaer.
xsd:nonNegativeInteger
1857