Logique Combinatoire
CHF 45.10
Auf Lager
SKU
UMCP1JH0K1L
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Mo., 20.10.2025 und Di., 21.10.2025
Details
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. La logique combinatoire est une notation introduite par Moses Schönfinkel et Haskell Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels. Le concept de base de la logique combinatoire est celui de combinateur qui est une fonction d'ordre supérieur; elle utilise uniquement l'application de fonctions et éventuellement d'autres combinateurs pour définir de nouvelles fonctions d'ordre supérieur.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786138006039
- Gewicht 181g
- Herausgeber Alphascript Publishing
- Anzahl Seiten 116
- Genre Science & Medicine
- Auflage Aufl.
- Editor Carleton Olegario Máximo
- Untertitel Moses Schnfinkel, Haskell Curry, Programmation fonctionnelle, Lambda-calcul, Logique intuitionniste
- Größe H229mm x B152mm x T7mm
- Jahr 2011
- EAN 9786138006039
- Format Kartonierter Einband (Kt)
- ISBN 978-613-8-00603-9
- Titel Logique Combinatoire
- Sprache Französisch
Bewertungen
Schreiben Sie eine Bewertung
