• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

Böhm, Corrado

Enciclopedia on line
  • Condividi

Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al Politecnico di Zurigo nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto teorema della separazione, detto anche teorema di B., di grande rilevanza nella semantica dei linguaggi di programmazione.

Vedi anche
Confòrto, Fabio Matematico italiano (Trieste 1909 - Roma 1954); prof. di geometria analitica e descrittiva nell'univ. di Roma (dal 1939), uno dei principali esponenti della moderna scuola geometrica italiana. Alla geometria algebrica dedicò le sue principali ricerche, valendosi soprattutto della teoria delle funzioni ... Fichèra, Gaetano Matematico italiano (Acireale 1922 - Roma 1996); prof. univ. dal 1950, insegnò analisi matematica all'univ. di Roma La Sapienza; socio nazionale dei Lincei (1978). Nelle sue numerose ricerche si occupò tra l'altro di questioni inerenti alla teoria delle equazioni differenziali e integrali, apportando ... Miranda, Carlo Matematico italiano (Napoli 1912 - ivi 1982); prof. univ. dal 1937, ha insegnato analisi matematica a Napoli; socio nazionale dei Lincei (1967). Si è occupato, in partic., di equazioni differenziali alle derivate parziali. Tra le opere: Problemi di esistenza in analisi funzionale (1943), Istituzioni ... Cacciòppoli, Renato Matematico (Napoli 1904 - ivi, suicida, 1959); prof. univ. dal 1931, dapprima nell'univ. di Padova, poi (dal 1934) in quella di Napoli, dove ricoprì successivamente le cattedre di teoria dei gruppi, analisi superiore, analisi matematica. Socio nazionale dei Lincei (1958). Sono dovute al Caccioppoli, ...
Categorie
  • BIOGRAFIE in Informatica
  • BIOGRAFIE in Matematica
Tag
  • LINGUAGGI DI PROGRAMMAZIONE
  • TEOREMA DI BÖHM-JACOPINI
  • MACCHINA DI TURING
  • MATEMATICA
  • LOSANNA
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali