Corrado Böhm: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m MR |
m |
||
Linha 28:
|notas =
}}
'''Corrado Böhm''' ([[Milão]], {{dtlink|17|1|1923}} {{ndash}} {{dtlink|23|10|2017}}<ref>{{citar web|url=http://www.ilpost.it/mauriziocodogno/2017/10/24/morto-corrado-bohm/|título=È morto Corrado Böhm|data=25 de outubro de 2017|publicado=ilpost.it|língua=it}}</ref>) foi um [[cientista da computação]] da [[Itália]]. Contribuiu com as teorias de [[programação estruturada]], [[cálculo Lambda]], [[lógica combinatória]] e com as semânticas e com a implementação de linguagens de [[programação funcional]].
Foi o criador da linguagem [[P′′]], uma linguagem [[Turing completa]], ou seja, com o mesmo poder computacional de uma [[Máquina de Turing]].
{{Referências}}
==Ver também==
| |||