Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por CEPADUES, 2016
ISBN 10: 236493530XISBN 13: 9782364935303
Librería: Chapitre.com : livres et presse ancienne, LAMNAY, Francia
Libro
Paperback. Condición: NEUF. 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. - Nombre de page(s) : 270 - Poids : 475g - Genre : Sciences appliquées Physique.
Publicado por CHAMPION, 2011
ISBN 10: 274532246XISBN 13: 9782745322463
Librería: Gallix, Gif sur Yvette, Francia
Libro
Condición: Neuf.
Publicado por CEPADUES, 2017
ISBN 10: 236493575XISBN 13: 9782364935754
Librería: Chapitre.com : livres et presse ancienne, LAMNAY, Francia
Libro
Paperback. Condición: NEUF. *Vers une logique d'opérateurs :La logique combinatoire (LC) n'est pas tellement reconnue, il s'agit pourtant d'une logique d'opérateurs abstraits qui composent et transforment des opérateurs quelconques. Cette notion d'opérateur, bien qu'utilisée en mathématiques, n'est pas vraiment définie pour elle-même comme dans les domaines qui l'utilisent, tels que l'informatique, celui des langues naturelles et de la cognition ou de l'Intelligence Artificielle. Cependant, elle motive la présentation donnée ici. Parfois attribuée à l'article de Schönfinkel (1924), la LC naît surtout avec H. Curry, dès 1929, dont Hindley et Seldin vont développer le programme. C'est dans la continuité de ce programme de recherche que l'ouvrage s'inscrit, avec l'édition revue et augmentée de différents travaux scientifiques (Desclés, 1980, 1990). La notion d'opérateur est présentée dans cette première partie à travers des notions telles que la variable, la fonction, la structure opérateur-opérande et la distinction entre l'opérateur et l'opération. De même que l'engagement ontologique de Quine avec la variable liée, cette mise en place revient à celle de différents niveaux d'opératoire permettant de penser les opérateurs, les fonctions, les calculs et leurs domaines d'application, à travers des niveaux d'abstraction et de représentations sémantiques et cognitives. ** Concepts et schèmes analysés par la logique combinatoire :Dans le cadre théorique proposé, et à l'aide des concepts préalablement construits (vol. II *), la seconde partie met en place une logique intégrant des quantificateurs, des propriétés, des concepts, l'intension et l'essence. La logique combinatoire (LC), dès lors illative, puis logique de l'objet, appliquée avec de nombreux exemples ou calculs, analyse et interroge ces concepts. Ces derniers permettent d'aborder ceux de l'informatique, de la linguistique, de la philosophie, des sciences cognitives, comme autant de domaines d'application de la logique combinatoire synthétisant différents niveaux d'opératoire. La sémantique mise en oeuvre n'est plus, dès lors, uniquement ensembliste ou dénotationnelle, mais une sémantique intrinsèque. Cette seconde partie donne lieu à une troisième, conclusive, où la notion d'opérateur est reprise avec celle d'arbre ou de graphe, afin de mettre en oeuvre d'autres représentations que celles de la LC, plus simples bien que mathématiquement fondées sur la théorie des catégories, permettant de visualiser plus simplement des exemples de prédicats complexes. - Nombre de page(s) : 652 - Poids : 1138g - Genre : Sciences appliquées.
Publicado por HONORE CHAMPION, 2011
ISBN 10: 274532246XISBN 13: 9782745322463
Librería: Chapitre.com : livres et presse ancienne, LAMNAY, Francia
Libro
Paperback. Condición: NEUF. La narration et le discours rapporté seraient-il spécifiques à l'homme? Analysant des dialogues à l'aide de concepts fondamentaux de la théorie de l'énonciation, l'ouvrage cherche à mieux cerner la fonction langagière. Il est une argumentation destinée à montrer que les langues sont des systèmes sémiotiques permettant de construire des dialogues plutôt que de simples systèmes de communication. Il développe des opérateurs énonciatifs qui laissent des traces dans le texte sous forme de marqueurs (d'opérations) identifiables. Ces outils sont mis en oeuvre dans l'analyse discursive de textes anciens (bibliques et philosophiques) et contemporains (dialogues thérapeute-patient). A travers des chapitres indépendants, l'organisation énonciative fait émerger la fonction dialogique.Jean-Pierre Desclés, docteur d'Etat en Mathématiques et linguiste, est professeur à la Sorbonne et à l'Institut Catholique (faculté de philosophie). Il est directeur du LaLIC (Langage, Logique, Informatique, Cognition -Paris-Sorbonne). Membre de l'Académie Internationale de Philosophie des Sciences, il a publié des articles sur l'énonciation et la logique.Gaëll Guibert, docteur en linguistique, est chercheur associée au LaLIC et chargée de suivi et d'expertise de projets de recherche nationaux et européens. - Nombre de page(s) : - Poids : 740g - Genre : Lettres et linguistique Critiques et Essais BIBLIOTHEQUE GRAMMAIRE ET LINGUISTIQUE.