dbo:abstract
|
- Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories. (ca)
- Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií. (cs)
- دانا سكوت (بالإنجليزية: Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976. (ar)
- Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια. Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών. Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ. (el)
- Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat. (de)
- Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. (en)
- Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías. Es el redactor jefe de la nueva revista Logical Methods in Computer Science (en inglés). (es)
- Dana Stewart Scott, né le 11 octobre 1932 à Berkeley en Californie, est un mathématicien et informaticien américain. (fr)
- Dana Stewart Scott (lahir 1932) adalah seorang ilmuwan komputer yang mendapat penghargaan Turing Award pada tahun 1976 atas kontribusinya di bidang . (in)
- 데이나 스튜어트 스콧(영어: Dana Stewart Scott IPA: [ˈdeɪnə ˈstjuːə(r)t ˈskɒt], 1932~)은 미국의 컴퓨터 과학자·수리논리학자이다. (ko)
- Dana Stewart Scott (Berkeley, 11 ottobre 1932) è un informatico e matematico statunitense. È stato professore emerito di informatica all', filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti. Il suo lavoro in teoria degli automi gli fece conseguire l'ACM Turing Award nel 1976, mentre la sua collaborazione con Christopher Strachey, negli anni '70, pose le basi per i moderni approcci alla semantica dei linguaggi di programmazione. Ha lavorato anche sulla logica modale, topologia e teoria delle categorie. È redattore capo della rivista Logical Methods in Computer Science. (it)
- デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。 (ja)
- Dana Stewart Scott (ur. 11 października 1932) – amerykański informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne. (pl)
- Да́на Стю́арт Скотт (англ. Dana Stewart Scott, род. 11 октября 1932 года) — американский математик, известный работами в области математической логики и информатики. Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области , философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений. Им была разработана модель бестипового λ-исчисления, для чего была введена специальная топология (позднее названная его именем), вначале на , и впоследствии обобщенная до полных частично упорядоченных множеств. В рамках этой модели развил теорию и модели вычислений, разработал принципы языков программирования, углубил понятие о вычислимости. По состоянию на 2012 год работает и проживает в Беркли, Калифорния. (ru)
- Dana Stewart Scott (11 oktober 1932) is een Amerikaans emeritus hoogleraar, die onderzoek verricht heeft in de informatica, wiskunde en wijsbegeerte. Samen met Michael Rabin kreeg hij in 1976 de Turing Award voor hun werk op het gebied van de automatentheorie. Hij is vooral bekend van zijn werk op het gebied van de semantiek van programmeertalen, dat hij samen met uitvoerde. (nl)
- Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense. Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação. (pt)
- Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга. (uk)
- 达纳·斯图尔特·斯科特(英語:Dana Stewart Scott,1932年10月11日-),美国科学家,研究领域涉及计算机科学、数学和哲学,1976年图灵奖得主。 (zh)
|
rdfs:comment
|
- Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories. (ca)
- Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií. (cs)
- دانا سكوت (بالإنجليزية: Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976. (ar)
- Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat. (de)
- Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. (en)
- Dana Stewart Scott, né le 11 octobre 1932 à Berkeley en Californie, est un mathématicien et informaticien américain. (fr)
- Dana Stewart Scott (lahir 1932) adalah seorang ilmuwan komputer yang mendapat penghargaan Turing Award pada tahun 1976 atas kontribusinya di bidang . (in)
- 데이나 스튜어트 스콧(영어: Dana Stewart Scott IPA: [ˈdeɪnə ˈstjuːə(r)t ˈskɒt], 1932~)은 미국의 컴퓨터 과학자·수리논리학자이다. (ko)
- デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。 (ja)
- Dana Stewart Scott (ur. 11 października 1932) – amerykański informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne. (pl)
- Dana Stewart Scott (11 oktober 1932) is een Amerikaans emeritus hoogleraar, die onderzoek verricht heeft in de informatica, wiskunde en wijsbegeerte. Samen met Michael Rabin kreeg hij in 1976 de Turing Award voor hun werk op het gebied van de automatentheorie. Hij is vooral bekend van zijn werk op het gebied van de semantiek van programmeertalen, dat hij samen met uitvoerde. (nl)
- Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense. Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação. (pt)
- Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга. (uk)
- 达纳·斯图尔特·斯科特(英語:Dana Stewart Scott,1932年10月11日-),美国科学家,研究领域涉及计算机科学、数学和哲学,1976年图灵奖得主。 (zh)
- Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια. Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών. (el)
- Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado t (es)
- Dana Stewart Scott (Berkeley, 11 ottobre 1932) è un informatico e matematico statunitense. È stato professore emerito di informatica all', filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti. È redattore capo della rivista Logical Methods in Computer Science. (it)
- Да́на Стю́арт Скотт (англ. Dana Stewart Scott, род. 11 октября 1932 года) — американский математик, известный работами в области математической логики и информатики. Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области , философии математики и семантического анализа естественных языков. По состоянию на 2012 год работает и проживает в Беркли, Калифорния. (ru)
|