Logique | Le Barbenchon, Pierre. Auteur
0/5

0 avis

Logique

fondements et applications

Type de document : Livre

Par Le Barbenchon, Pierre. Auteur | Pinchinat, Sophie (1964-....). Auteur | Schwarzentruber, François (1982-....). Auteur

Résumé(s) :

  • "Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation à l'agrégation d'informatique."

Autres documents dans la collection «Sciences sup»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

De la même série

Traitement numérique du signal | Bellanger, Maurice (1941-....). Auteur

Traitement numérique du signal

cours et exercices corrigés

Auteur(s) : Bellanger, Maurice (1941-....). Auteur

Edition : Dunod |2012

Type de document : Livre

Source : SYRACUSE

Automatique | Granjon, Yves (1961-....). Auteur

Automatique

systèmes linéaires, non linéaires, à temps continu, à temps discret, représentation d'état

Auteur(s) : Granjon, Yves (1961-....). Auteur

Edition : Dunod |2021

Type de document : Livre

Source : SYRACUSE

"Véritable référence dans le domaine de l'automatique, cet ouvrage aborde l'ensemble des notions les plus couramment enseignées : automatique des systèmes linéaires, des systèmes non linéaires, des systèmes continus ou à temps dis...

Initiation à LabVIEW | Cottet, Francis. Auteur

Initiation à LabVIEW

les bases de la programmation

Auteur(s) : Cottet, Francis. Auteur

Date de publication : DL 2018

Type de document : Livre

Source : SYRACUSE

"LabVIEW est un outil de programmation graphique à destination industrielle qui s'adresse à tous les techniciens et ingénieurs chargés de développer une application de mesures, de tests ou de contrôle/commande. Cet ouvrage didacti...

Atelier de robotique | Gaucher, Pierre (1962-....). Auteur

Atelier de robotique

Auteur(s) : Gaucher, Pierre (1962-....). Auteur | Puret, Arnaud (1981-....). Auteur | Monmarché, Nicolas (1972-....). Auteur | Slimane, Mohamed (1953-....). Auteur

Edition : Dunod |2010

Type de document : Livre

Source : SYRACUSE

Cet ouvrage s'adresse à des étudiants commençant un cycle scientifique (Écoles d'ingénieurs, Licence, Master) et s'intéressant aux domaines de l'électronique, de l'informatique ou de la robotique. A travers la construction d'un pe...

Mécanique des matériaux solides | Lemaitre, Jean (1934-....). Auteur

Mécanique des matériaux solides

Auteur(s) : Lemaitre, Jean (1934-....). Auteur | Chaboche, Jean-Louis (19..-....). Auteur | Benallal, Ahmed (19..-....) - physicien. Auteur. Éditeur scientifique | Desmorat, Rodrigue (19..-....). Auteur. Éditeur scientifique

Date de publication : C 2009

Type de document : Livre

Source : SYRACUSE

"Cette 3e édition présente les concepts fondamentaux de la mécanique des matériaux appliqués au génie mécanique et aux matériaux de construction (métaux, alliages, matières plastiques, bétons, composites, verres, céramiques, élast...

Du même sujet

Logique pour l'informatique | Jaume, Mathieu. Auteur

Logique pour l'informatique

Auteur(s) : Jaume, Mathieu. Auteur | Journault, Matthieu (1991-....). Auteur | Lesot, Marie-Jeanne (1978-....). Auteur | Manoury, Pascal. Auteur | Mounier, Isabelle. Auteur

Edition : ellipses |2020

Type de document : Livre

Source : SYRACUSE

Introduction à la logique | David, René (1948-....). Auteur

Introduction à la logique

théorie de la démonstration ; cours et exercices corrigés

Auteur(s) : David, René (1948-....). Auteur | Nour, Karim. Auteur | Raffalli, Christophe. Auteur

Edition : Dunod |2004

Type de document : Livre

Source : SYRACUSE

Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe...

Intelligence artificielle et informatique théorique | Alliot, Jean-Marc (19..-....) - chercheur en informatique. Auteur

Intelligence artificielle et informatique thé...

Auteur(s) : Alliot, Jean-Marc (19..-....) - chercheur en informatique. Auteur | Schiex, Thomas (1965-....). Auteur | Brisset, Pascal. Auteur

Edition : Cépaduès |2002

Type de document : Livre

Source : SYRACUSE

Sélection : Mathématiques

Le |théorème de GÉodel | Nagel, Ernest (1901-1985). Auteur

Le |théorème de GÉodel

Auteur(s) : Nagel, Ernest (1901-1985). Auteur | Newman, James R. (1907-1966). Auteur | GÉodel, Kurt (1906-1978). Auteur

Date de publication : DL 1989

Type de document : Livre

Source : SYRACUSE

Promenades mathématiques | Laroche, Frédéric (19..-....). Auteur

Promenades mathématiques

histoire, fondements, applications

Auteur(s) : Laroche, Frédéric (19..-....). Auteur

Date de publication : DL 2003

Type de document : Livre

Source : SYRACUSE

Probabilités et statistique | Baillargeon, Gérald (1941-....). Auteur

Probabilités et statistique

avec applications en technologie et ingéniérie ; outils d'analyse et d'aide à la décision pour les sciences de l'ingénieur ; traitement de données avec Excel

Auteur(s) : Baillargeon, Gérald (1941-....). Auteur

Date de publication : C 2016

Type de document : Livre

Source : SYRACUSE

Cette nouvelle édition comporte les principaux outils statistiques et probabilistes appliqués aux nouvelles technologies (génie industriel, génie civil, génie mécanique, génie électrique, génie informatique, matériaux composites, ...

Finite elements | Babuska, Ivo (1926-....). Auteur

Finite elements

an introduction to the method and error estimation

Auteur(s) : Babuska, Ivo (1926-....). Auteur | Whiteman, John Robert (1938-....). Auteur | Strouboulis, Theofanis. Auteur

Edition : Oxford University Press |2011

Type de document : Livre

Source : SYRACUSE

Formulaire de maths | Rodot, Olivier. Auteur

Formulaire de maths

avec résumés de cours

Auteur(s) : Rodot, Olivier. Auteur | Rombaldi, Jean-Étienne (19..-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

"Enrichi par des résumés de cours, ce formulaire sera d'une aide précieuse pour l'étudiant souhaitant s'assurer de l'assimilation des nouveaux programmes de mathématiques des classes préparatoires aux grandes écoles comme ceux des...

Introduction au calcul tensoriel | Semay, Claude (19..-....). Auteur

Introduction au calcul tensoriel

Applications à la physique

Auteur(s) : Semay, Claude (19..-....). Auteur | Silvestre-Brac, Bernard (1948-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

Les scalaires et les vecteurs ne peuvent pas représenter toutes les grandeurs physiques ; c est pourquoi de nouvelles entités mathématiques ont été développées : les tenseurs. Le calcul tensoriel, qui manipule ces grandeurs, est e...

Automatique des systèmes linéaires continus | Granjon, Yves (1961-....). Auteur

Automatique des systèmes linéaires continus

licences, IUT, écoles d'ingénieurs ; exercices et méthodes

Auteur(s) : Granjon, Yves (1961-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

"Cet ouvrage propose aux étudiants des premières années d'études supérieures une méthode progressive et efficace pour comprendre et appliquer les concepts fondamentaux de l'automatique des systèmes linéaires continus. A la suite d...

Logique | Le Barbenchon, Pierre. Auteur

Logique

fondements et applications

Auteur(s) : Le Barbenchon, Pierre. Auteur | Pinchinat, Sophie (1964-....). Auteur | Schwarzentruber, François (1982-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

"Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les u...

Introduction à la théorie analytique et probabiliste des nombres | Tenenbaum, Gérald (1952-....). Auteur

Introduction à la théorie analytique et proba...

Auteur(s) : Tenenbaum, Gérald (1952-....). Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

Solide initiation aux méthodes analytiques et probabilistes de l'arithmétique, ce livre constitue une base de référence autonome. Ne s'appuyant que sur les connaissances traditionnellement enseignées dans les deux premiers cylces ...

Introduction à la géométrie différentielle | Guedj, Vincent (19..-....) - mathématicien. Auteur

Introduction à la géométrie différentielle

Auteur(s) : Guedj, Vincent (19..-....) - mathématicien. Auteur

Date de publication : DL 2022

Type de document : Livre

Source : SYRACUSE

Cet ouvrage est une introduction à la géométrie différentielle. Il explore certains invariants intrinsèques fondamentaux (longueur des courbes, distance, courbure de Gauss) qui permettent de comparer les objets géométriques selon ...

Chargement des enrichissements...