Djioua brahim (10 resultados)

Condición: New.

Condición: New. In English.

Condición: New.

Taschenbuch. Condición: Neu. Neuware - Penser, parler, raisonner sont des activités liées au logos grec. Ces activités sont en étroite interaction, en particulier dans les sciences cognitives actuelles. La logique est-elle un art pour bien raisonner Une méthode d'argumentation correcte Une science de démonstration Une discipline dont la norme est le vrai Une étude des opérations mentales Une identification des lois de la pensée Une analyse formelle des concepts L'analyse du langage des mathématiques Une recherche sur les fondements théoriques de l'informatique La logique est un langage qui doit aider à répondre, au moins en partie, à toutes ces questions. Plutôt que de présenter la logique comme un système formel, avec des règles générales, nous préférons présenter la logique des propositions et des prédicats par la méthode de la déduction naturelle de A. Gentzen (1934). Cette méthode a l'avantage de mieux faire comprendre le rôle des constantes logiques, c'est-à-dire de la négation, des petits mots de la langue naturelle comme et, ou, si alors, tous, quelques, aucun. Cet ouvrage est destiné à des étudiants des trois premières années d'université et au-delà qui désirent acquérir la maîtrise des raisonnements logiques, que ce soit en philosophie, en linguistique, en psychologie, en sociologie, en communication, et bien sur en informatique et en mathématiques. Le livre est accompagné d'un CD-Rom gratuit, qui permettra aux lecteurs de résoudre les exercices proposés en ayant les éléments de réponses lorsqu'ils rencontreront des difficultés. Les auteurs ont tous enseigné cette matière à l'université de Paris-Sorbonne dans des cours destinés à des étudiants en sciences humaines. L'ouvrage et les exercices résultent de cette expérience pédagogique.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Comment construire automatiquement un lexique verbal en vue d'une utilisation didactique par des linguistes et par des programmes de TALN Le lexique verbal est basé sur un langage de représentation appelé représentation sémantico-cognitif (RSC) s'appuyant sur un ensemble de relateurs et de primitives sémantico-cognitives typées. Un schème sémantico-cognitif (SSC) représente, au sein d'une structure abstraite, la signification d'une occurrence d'un verbe insérée dans un contexte précis. Chaque verbe polysémique se voit associer un réseau de Schèmes liés entre eux par des relations de spécification/généralisation, d'abstraction, de changement de domaine. La base de connaissances lexicale ainsi construite peut être directement consultée par un linguiste ou interrogée à travers une API par un programme informatique. Les modèles sous-jacent au système DiSCC sont ceux du lambda-calcul et de la logique combinatoire typés. 236 pp. Französisch.…

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Comment construire automatiquement un lexique verbal en vue d'une utilisation didactique par des linguistes et par des programmes de TALN Le lexique verbal est basé sur un langage de représentation appelé représentation sémantico-cognitif (RSC) s'appuyant sur un ensemble de relateurs et de primitives sémantico-cognitives typées. Un schème sémantico-cognitif (SSC) représente, au sein d'une structure abstraite, la signification d'une occurrence d'un verbe insérée dans un contexte précis. Chaque verbe polysémique se voit associer un réseau de Schèmes liés entre eux par des relations de spécification/généralisation, d'abstraction, de changement de domaine. La base de connaissances lexicale ainsi construite peut être directement consultée par un linguiste ou interrogée à travers une API par un programme informatique. Les modèles sous-jacent au système DiSCC sont ceux du lambda-calcul et de la logique combinatoire typés.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Comment construire automatiquement un lexique verbal en vue d'une utilisation didactique par des linguistes et par des programmes de TALN Le lexique verbal est basé sur un langage de représentation appelé représentation sémantico-cognitif (RSC) s'appuyant sur un ensemble de relateurs et de primitives sémantico-cognitives typées. Un schème sémantico-cognitif (SSC) représente, au sein d'une structure abstraite, la signification d'une occurrence d'un verbe insérée dans un contexte précis. Chaque verbe polysémique se voit associer un réseau de Schèmes liés entre eux par des relations de spécification/généralisation, d'abstraction, de changement de domaine. La base de connaissances lexicale ainsi construite peut être directement consultée par un linguiste ou interrogée à travers une API par un programme informatique. Les modèles sous-jacent au système DiSCC sont ceux du lambda-calcul et de la logique combinatoire typés.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 236 pp. Französisch.…

Condición: New. Print on Demand pp. 236 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.

Condición: New. Print on Demand pp. 236.

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.