Théorie des Constructions / S. Timoshenko, D.H. Young [Impreso]
Por: Timoshenko, S [Autor].
Colaborador(es): Young, D.H [Autor]
.
Tipo de material: 
TextoParís - Francia: Librairie Polytechnique Charles Béranger, 1945Edición: [Primera edición].Descripción: 552 páginas : Ilustraciones a blanco y negro, figuras, gráficos ;16 x 24 centímetros.Tema(s): FRANCIAClasificación CDD: 624.176 Resumen: L'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central - Sala General | 624.176 / T56 (Navegar estantería) | 1 | Disponible | SK01SGL04278 |
Total de reservas: 0
Navegando Biblioteca Central - Sala General Estantes Cerrar el navegador de estanterías
Sala general / a domicilio
L'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.
Texto en ingles
Haga clic en una imagen para verla en el visor de imágenes
Av. Garcilazo S/N. Tamburco-Abancay-Apurímac-Perú
(51) 083-321945
No hay comentarios para este ejemplar.