Scott Dana small


Autor:
Andrej Bauer
Přisuzování:
Obrázek je označen jako „Vyžadováno uvedení zdroje“ (Attribution Required), ale nebyly uvedeny žádné informace o přiřazení. Při použití šablony MediaWiki pro licence CC-BY byl pravděpodobně parametr atribuce vynechán. Autoři zde mohou najít příklad pro správné použití šablon.
Formát:
717 x 930 Pixel (414204 Bytes)
Popis:
دانا سكوت في جامعة كارنيجي ميلون في بيتسبرغ.
Licence:
Sdílet obrázek:
Facebook   Twitter   Pinterest   WhatsApp   Telegram   E-Mail
Více informací o licenci na obrázek naleznete zde. Poslední aktualizace: Tue, 12 Mar 2024 03:35:46 GMT


Relevantní články

Dana Scott

Dana Stewart Scott 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 Christopherem Stracheyem 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í. .. pokračovat ve čtení