Logique combinatoire et lambda calcul: des logiques d'opérateurs

Jean-Pierre Desclés (Auteur), Benoît Sauzay (Auteur), Gaëll Guibert (Auteur)

voir tout

Descriptif détaillé

media/pim/TITELIVE/7_9782364935303_1_75.jpg

media/pim/TITELIVE/8_9782364935303_4_75.jpg

Etats :

Vendu et expédié par : Recyclivre

Occasion : Très bon état

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

DISPONIBLE SOUS 16 JOURS

Livraison en magasin dès le 00/00/00

stock en magasin

Retrouvez le produit près de chez vous.

description

descriptif du fournisseur

Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateurs où la seule opération de base est l'application d'un opérateur à un opérande. Elle est utilisée pour fournir des fondements logiques aux langages de programmation fonctionnels bien que la plupart des approches prennent appui sur le ?-calcul de Church. Alors que le ?-calcul fait appel à des variables liées pour formaliser la notion de fonction comme opérateur, la Logique Combinatoire n'utilise aucune variable liée, elle prend la notion d'opérateur comme première et apparaît de ce fait comme plus simple, conduisant à une véritable algèbre des opérateurs. Ainsi, il est plus facile d'analyser la sémantique des langues naturelles et les représentations cognitives et des connaissances, avec les outils formels (les combinateurs) et les types fonctionnels de La Logique Combinatoire.

Mots clés : Logique Combinatoire, ?-calcul, types fonctionnels, paradoxe, opérateur, opération, fonction, formalisme applicatif, combinateur, prédicat, Church-rosser.

Logique combinatoire et lambda calcul : des logiques d'opérateurs

Logique combinatoire et lambda calcul: des logiques d'opérateurs

Gaëll Guibert, Jean-Pierre Desclés

On vous recommande avec votre achat

Logique combinatoire et lambda calcul: des logiques d'opérateurs

Logique combinatoire et lambda calcul: des logiques d'opérateurs

29,02€

+

voir mon panier

Découvrez aussi

Livre science et culture scientifique Livre Sciences Humaines Livre

Livre Sciences Humaines

Livre Religions et Spiritualité • Livre Sociologie • Livre Philosophie • Livre Pédagogie • Livre Psychologie • Livre science et culture scientifique • Ecologie • Coups de cœur : Sciences humaines • Livres éthnologie • Livres Anthropologie ...

... Livre Psychanalyse • Esotérisme

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Dicobat visuel, dictionnaire illustré du bâtiment (5e édition) • Atlas Netter d'anatomie humaine • Éléments de physique nucléaire • Le corps n'oublie rien : Le cerveau, l'esprit, le corps dans la guérison du traumatisme ...

... Anatomie et physiologie humaines (6e édition) • Anatomie à colorier Netter (3e édition) • Traité de construction horlogère • Anthropologie des violences faite aux femmes au XXIe siècle • La Terre entre nos mains • Biologie des croyances - comment affranchir la puissance de la conscience, de la matière et des miracles ...

... Microbiologie de Prescott • Comment rester au sec avec une veste mouillée ? Et encore plus d'énigmes scientifiques ébouriffantes

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.