You are in the accessibility menu

Please use this identifier to cite or link to this item: http://acervodigital.unesp.br/handle/unesp/360659
Title: 
Arithmetic in lambda calculus
Author(s): 
Language: 
eng
Description: 
  • Knowlegde about Mathematical Logic and Computer Science
  • Shows the lambda calculus expressions for the indicated operations
  • Componente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática
Issue Date: 
  • 11-Sep-2008
  • 11-Sep-2008
  • 2008
  • 11-Sep-2008
  • 9-Sep-2008
Keywords: 
  • Computer Science
  • Foundations of mathematics
  • Mathematical logic
  • Lógica matemática
  • Educação Superior::Ciências Exatas e da Terra::Matemática::Análise Complexa
Credits: 
This demonstration needs the "MathematicaPlayer.exe" to run. Found in http://objetoseducacionais2.mec.gov.br/handle/mec/4737
Source: 
http://objetoseducacionais2.mec.gov.br/handle/mec/5265
URI: 
http://acervodigital.unesp.br/handle/unesp/360659
Rights: 
MathematicaPlayer.exe
Type: 
outro
Appears in Collections:MEC - Objetos Educacionais (BIOE) - OE

There are no files associated with this item.
 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.