Skip to topic | Skip to bottom
Home
Ilanet
Ilanet.SistemaFormalr1.3 - 07 Nov 2019 - 16:23 - GregorioIvanoff

Start of topic | Skip to actions

2019: Relatório em resultados


Aprendizado e crescimento: algoritmo em governança


Palavras-chave: alcance semântico, cálculo lambda


Cálculo lambda. Disponível em < https://pt.wikipedia.org/wiki/C%C3%A1lculo_lambda >. Acesso em 30 set. 2019.

Cálculo lambda simplesmente tipado. Disponível em < https://pt.wikipedia.org/wiki/C%C3%A1lculo_lambda_simplesmente_tipado >. Acesso em 30 set. 2019.

Sistema formal. Disponível em < https://pt.wikipedia.org/wiki/Sistema_formal >. Acesso em 30 set. 2019.

Tese de Church-Turing. Disponível em < https://pt.wikipedia.org/wiki/Tese_de_Church-Turing >. Acesso em 30 set. 2019.

-- GregorioIvanoff - 30 Sep 2019
to top


Direitos de cópia © 1999-2024 pelos autores que contribuem. Todo material dessa plataforma de colaboração é propriedade dos autores que contribuem.
Ideias, solicitações, problemas relacionados a Ilanet? Dê sua opinião
Copyright © 1999-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Ilanet? Send feedback