Recherche

Cours d'analyse mathématique. Dérivées et différentielles, intégrales définies. développements en séries, applications géométriques

Extraits

ActuaLitté

Philosophie des mathématiques

Platonisme mathématique et naturalisme

Le platonisme mathématique est la philosophie spontanée de toute personne pratiquant les mathématiques : les objets mathématiques nous apparaissent doués de propriétés absolues et éternelles, et semblent peupler un monde idéel et abstrait. Mais si ce monde platonicien est indépendant, séparé du monde réel et sensible, comment notre esprit accède-t-il aux concepts et vérités mathématiques ? Un mouvement philosophique, le naturalisme, permet d'approcher cette question en s'appuyant sur les données fournies par les sciences. Peut-on alors espérer naturaliser le platonisme mathématique ? En examinant la proposition de naturalisation de la compréhension mathématique développée par le physicien et mathématicien britannique Roger Penrose, prix Nobel de physique 2020, et à la lumière des résultats obtenus en neurosciences cognitives portant sur l'activité mathématique du cerveau, nous tenterons de cerner les enjeux, les écueils et les possibilités d'une telle démarche.

02/2021

ActuaLitté

Mathématiques

Outils mathématiques pour physiciens et ingénieurs. Rappels de cours et exercices corrigés, 2e édition

Cet ouvrage est destiné aux étudiants en Licence de Physique, Physique appliquée ou Sciences de l'ingénieur, et plus généralement à tout utilisateur des mathématiques. Utilisable dès la première année, il accompagnera l'étudiant jusqu'à la fin de sa Licence. Résolument orienté vers la pratique, il est constitué d'exercices corrigés organisés par chapitre, ainsi que de rappels de cours, simples, clairs et concis, loin du formalisme habituel. Ainsi, les démonstrations donnent pour la plupart lieu à des exercices visant à présenter la méthode la plus efficace, afin de permettre à l'étudiant de se familiariser avec l'outil. D'autres exercices permettent de consolider cette pratique en l'étendant à de nouvelles situations et en la systématisant. Enfin, chaque série d'exercices s'achève sur un problème, plus récréatif, ouvrant sur une perspective nouvelle (fonctions de Fourier ou de Bessel, calcul de Pi, nombre d'or, etc). Dans cette 2e édition, actualisée, une partie des exercices a été renouvelée.

01/2017

ActuaLitté

Critique littéraire

Guerre et littérature de jeunesse (1913-1919). Analyse des dérives patriotiques dans les périodiques pour enfants

Entre 1900 et 1933, quarante journaux pour enfants voient le jour, au nombre desquels La Semaine de Suzette, L'Epatant, Fillette avec leurs héros phares, Bécassine, Les Pieds Nickelés et Lili. Les périodiques comme les "Livres Roses de la guerre" de Larousse alimentent une paralittérature de "bourrage de crâne". En effet, la déclaration de la guerre en août 1914 donne une inflexion patriotique à ces publications alors avant tout récréatives. Elles vont devenir des vecteurs idéologiques polémiques tant par leur contenu nationaliste que par leur forme contestée : la bande dessinée dont les détracteurs se plaisent à dire qu'elle perd toute consistance intellectuelle. Une optique comparatiste permet d'envisager le degré d'adhésion aux consignes officielles édictées et de faire le pont entre fiction et non-fiction, texte et contexte, histoire et littérature, texte et image. Sous les poncifs cocardiers sont exhumées des richesses littéraires insoupçonnées. Cet essai se trouve à l'articulation du politique, de l'imaginaire, de l'organisation narrative, de la transcription pédagogique, de la transmission intergénérationnelle...

04/2012

ActuaLitté

Mathématiques

Dictionnaire des mathématiques

Les pédagogues admettent volontiers que les ouvrages didactiques, et notamment les aide-mémoire, rendent des services non-négligeables. Synthétique dans la présentation et le contenu, ce dictionnaire appartient à cette lignée. On y trouve notamment les termes, notions et définitions propres à l'apprentissage de l'algèbre, l'algèbre linéaire, les géométries différentielles et analytiques, le calcul différentiel et intégral, les équations différentielles - sans oublier le calcul des probabilités. Pour chaque notion, les auteurs proposent une description succincte correspondant à celle en usage dans les cours généraux de mathématiques supérieures. Ils y ont en outre ajouté des termes auxiliaires en vue d'aider l'étudiant à poursuivre ses recherches au-delà de la donnée de base, grâce à un ingénieux système de renvois.

01/1993

ActuaLitté

Littérature Allemande

Roman géométrique de terroir

Publié en 1969, Roman géométrique de terroir valut à Gert Jonke, alors âgé de 22 ans, d'être aussitôt reconnu comme l'un des principaux rénovateurs de la littérature de langue allemande. C'est que ce livre, jusque-là inédit en français, ne ressemble à aucun autre. Entre la satire, le roman expérimental, la fable politique et le poème, il décrit la vie d'un "village" aux mains d'une bureaucratie obsédée par l'ordre, les règles et les questionnaires. Mais cette volonté de rationalité et de contrôle, déjà menacée de l'intérieur par des lois qui prolifèrent jusqu'à l'absurde, est aussi battue en brèche par de mystérieuses forces extérieures - arbres, inondation, oiseaux destructeurs, ombres de la forêt... - qui viennent répandre le chaos, balaient les habitudes, disloquent les maisons, et font basculer le village et le livre dans une folie incontrôlable. Ne vous fiez pas à son titre ironique : Roman géométrique de terroir est une expérience de lecture unique, cosmique et hilarante.

03/2023

ActuaLitté

Mathématiques

Images, imaginaires, imaginations. Une perspective historique pour l'introduction des nombres complexes

Par l'imagination qu'elle met en mouvement, par l'imaginaire qu'elle sollicite, par les images qu'elle construit, l'histoire des nombres complexes est un lieu privilégié. Lieu privilégié pour penser un enseignement des mathématiques d'aujourd'hui, qui, avec toute la richesse et la fécondité de sens accumulées par des siècles d'histoire, articule différents domaines mathématiques et relie les mathématiques à la physique ou à la philosophie. Lieu privilégié pour comprendre ce qu'est l'invention mathématique, pour mettre en lumière la liaison des mathématiques avec la réalité et le statut de la vérité mathématique. Cinq chapitres de cet ouvrage proposent des expériences d'enseignement des nombres complexes dans une perspective historique, en classe terminale (pas nécessairement scientifique) et en année post-baccalauréat. Ils sont encadrés par deux chapitres retraçant l'histoire des nombres complexes, et par deux chapitres de caractère philosophique. La Commission inter-IREM "Epistémologie et histoire des mathématiques" est composée de professeurs du secondaire et d'universitaires enseignant les mathématiques, la philosophie et les sciences physiques. Elle a publié de nombreux ouvrages consacrés à l'histoire et à l'enseignement des mathématiques, dont récemment, aux éditions Ellipses, Histoires de problèmes, histoire des mathématiques et Les philosophes et les mathématiques. SOMMAIRE INTRODUCTION ET OBJECTIFS PEDAGOGIQUES. par Jean-Pierre Friedelmeyer. I. PRESENTATION HISTORIQUE GENERALE. par Jean-Luc Verley. II. NOMBRE, GRANDEUR, QUANTITE, OPERATIONS : DE LA TRANSFORMATION CONJOINTE DE LEURS SIGNIFICATIONS. par Marie-José Durand-Richard. III. L'ORIGINE ALGEBRIQUE. par Anne Boyé. IV. UNE APPROCHE GEOMETRIQUE : UNE CONSTRUCTION QUI LEGITIME. par Maryvonne Hallez et Odile Kouteynikoff. V. UNE APPROCHE STRUCTURELLE. par Gérard Hamon. VI. LA PREMIERE DEMONSTRATION DE GAUSS DU THEOREME FONDAMENTAL DE L'ALGEBRE. par Jean-Pierre Friedelmeyer. Vll. LE POINT DE VUE VECTORIEL, SON APPLICATION A LA PHYSIQUE. par Jean-Pierre Friedelmeyer. Vlll. IMAGINAIRES ET REALITE. par Maurice Thirion. POSTFACE. par Jean-Pierre Cléro. BIBLIOGRAPHIE GENERALE ET NOTICES BIOGRAPHIQUES. par Michel Guillemot

05/1998

ActuaLitté

Mathématiques

METHODES MATHEMATIQUES POUR L'INGENIEUR. Tome 1, analyse numérique

Analyse numérique (volume I, MMI), Méthodes mathématiques pour l'ingénieur

09/1993

ActuaLitté

Mathématiques CAPES-AGREG

Agrégation interne de mathématiques. Leçons d'analyse pour le second oral

Le livre s'adresse aux candidats à l'agrégation interne de mathématiques, en proposant un panel très large d'exercices corrigés, pouvant être utilisés pour le deuxième oral de mathématiques de ce concours. Ce premier tome se concentre sur les leçons d'analyse les plus importantes du programme, dont les titres constituent les en-têtes des chapitres de l'ouvrage. Le choix des exercices répond à un double objectif : proposer des énoncés fondamentaux et utiles aux candidats, et d'autres qui permettront de faire preuve d'originalité face au jury ; balayer plusieurs niveaux de difficulté, des plus accessibles aux plus exigeants. Quelques commentaires destinés à expliquer les choix réalisés, guider les candidats et faciliter la compréhension viennent agrémenter la lecture de ce manuel.

01/2023

ActuaLitté

Mathématiques

Mathématiques pour le traitement du signal. Cours et exercices corrigés, 2e édition

Cet ouvrage est destiné aux étudiants en Master de mathématiques appliquées, aux élèves ingénieurs et aux candidats au CAPES ou à l'agrégation de mathématiques. Le cours présente les fondements du traitement du signal du point de vue déterministe et reste donc très généraliste. Les prérequis sont rappelés, l'ouvrage étant conçu pour être "auto-suffisant". L'analyse spectrale (séries de Fourier, transformation de Fourier, de Laplace) y est présentée pour des signaux continus (analogiques) et discrets (numériques). Les notions de filtrage, échantillonnage, temps-fréquence et temps-échelle sont présentées dans des chapitres séparés. Enfin, une brève introduction au traitement de la parole illustre le propos de l'ouvrage. Dans cette nouvelle édition révisée, les exercices et travaux pratiques ont été renouvelés et de nouveaux exemples ont été introduits.

06/2014

ActuaLitté

Contrôle de gestion

Comprendre et mettre en oeuvre le contrôle interne. Réglementation, concepts et applications

Le contrôle interne est un outil d'aide à la prise de décision qui permet à une organisation de réaliser de manière efficace et efficiente ses objectifs stratégiques et de maintenir, voire améliorer, sa performance. Cet ouvrage démontre l'utilité de la mise en place d'un système de contrôle interne dans l'entreprise. Il explique les pratiques de gestion des risques au sein d'une organisation, détaille les principales procédures et techniques de contrôle interne et fournit les méthodes pour évaluer la qualité d'un système de contrôle interne. Proposant une lecture critique du cadre actuel du contrôle interne, il traite aussi des défis futurs, notamment en ce qui concerne la digitalisation des activités et l'émergence de certaines menaces liées à l'instabilité et l'imprévisibilité de l'environnement.

04/2022

ActuaLitté

Image

Conception paramétrique avec Rhino et Grasshopper. Applications en architecture, ingénierie et design

Courant fort en architecture, ingénierie et design, la conception paramétrique est un mode de conception assistée par ordinateur qui permet de générer des structures complexes et évolutives à l'aide de paramètres facilement modifiables. Pour concevoir ces formes, il faut utiliser des logiciels de CAO spécifiques, dont le populaire Rhino, avec son plug-in intégré Grasshopper. Après une présentation des fondements de la conception paramétrique, l'ouvrage se tourne vers la mise en pratique avec Rhino et Grasshopper, en s'appuyant sur différents outils (modélisation géométrique, traitement des surfaces, simulation de phénomènes physiques, optimisation des données urbaines...) et des exercices dont les fichiers sont disponibles en téléchargement. Il présente également les connexions existant entre le design génératif et le BIM (Building Information Modelling) par l'intermédiaire des logiciels Revit et Archicad. Enfin, il se clôt par une analyse de plusieurs études de cas réels, de l'architecture à la sculpture en passant par l'optimisation structurelle et la simulation thermique.

02/2021

ActuaLitté

Droit pénal

Victimes d’attentats en Belgique : aides et indemnisations. Analyse juridique et critique

DROIT BELGE Les attentats du 22 mars 2016, directement identifiés comme étant d'origine terroriste, ont mis la Belgique à feu et à sang. Ce 22 mars 2023 sera la septième année de commémoration des nombreuses victimes des attentats terroristes meurtriers de Bruxelles. Malgré la prise de conscience du gouvernement à l'égard de l'ampleur de la menace terroriste et de ses conséquences en termes de dégâts humains, la Belgique laisse l'indemnisation au secteur des entreprises d'assurance qui a aussi des objectifs de rentabilité. Le cadre législatif actuel demande de jongler avec une multitude de textes pour décortiquer les aides et indemnisations dont peuvent bénéficier les victimes du terrorisme. Ces dernières doivent ainsi déambuler entre les assurances, la Commission pour l'aide financière aux victimes d'actes intentionnels de violence et le volet statut de solidarité nationale, avec dans certains cas la difficulté de comprendre la coexistence de ces différents interlocuteurs dès lors qu'une victime ne peut être indemnisée deux fois pour un même dommage. Cet ouvrage, à destination tant des professionnels du droit que de toute personne travaillant auprès des victimes d'attentats, a pour vocation de fournir au lecteur à la fois une présentation critique des outils mis en place par le législateur et une présentation des initiatives gouvernementales en cours en matière d'aide et d'indemnisation de victimes d'attentats en Belgique. Il offre également un recueil contenant des repères juridiques, à la lumière du rapport de la commission d'enquête parlementaire "attentats" , des travaux préparatoires, de la jurisprudence et de la doctrine. Il reprend tant les règles de calcul des pensions de dédommagement que des tableaux, des schémas et des mémos pour faciliter l'analyse et fait également référence aux nouvelles aides accordées aux victimes du terrorisme. Une présentation des différents interlocuteurs et des différentes procédures auxquelles sont confrontées ces victimes y est faite pour permettre au lecteur d'avoir un aperçu des différentes règles et conditions applicables.

04/2023

ActuaLitté

Science-fiction

Neuromancien. Et autres dérives du réseau

Jusqu'à aujourd'hui, Case était le meilleur hacker à croiser sur les autoroutes de l'information. Le cerveau directement relié à la matrice, il savait comme personne se frayer un chemin parmi les labyrinthes du cyberspace et pirater des données confidentielles pour le compte de ses clients richissimes. Mais il a commis l'erreur de vouloir doubler un de ses employeurs qui, en guise de représailles, l'a amputé de son système nerveux, le privant ainsi de son accès à la matrice. De retour dans la prison de chair de son corps, Case tente de s'échapper à nouveau par le biais des drogues, jusqu'à ce qu'une obscure conspiration lui offre une seconde chance... mais à quel prix ? Si Neuromancien a marqué la science-fiction, ce n'est pas uniquement parce qu'il reste à ce jour le seul roman de l'histoire à avoir remporté la sainte trinité des prix Hugo, Nebula et Philip K. Dick. En introduisant la notion de cyberspace, qu'il a inventée, William Gibson devenait le père de la génération cyberpunk et changeait à tout jamais le visage de la science-fiction.

10/2007

ActuaLitté

Linguistique

La Racine arabe et ses dérivés

La Racine arabe et ses dérivés / [Signé : Léon Gauthier. ] Date de l'édition originale : 1904 Le présent ouvrage s'inscrit dans une politique de conservation patrimoniale des ouvrages de la littérature Française mise en place avec la BNF. HACHETTE LIVRE et la BNF proposent ainsi un catalogue de titres indisponibles, la BNF ayant numérisé ces oeuvres et HACHETTE LIVRE les imprimant à la demande. Certains de ces ouvrages reflètent des courants de pensée caractéristiques de leur époque, mais qui seraient aujourd'hui jugés condamnables. Ils n'en appartiennent pas moins à l'histoire des idées en France et sont susceptibles de présenter un intérêt scientifique ou historique. Le sens de notre démarche éditoriale consiste ainsi à permettre l'accès à ces oeuvres sans pour autant que nous en cautionnions en aucune façon le contenu.

07/2021

ActuaLitté

Littérature française

La furieuse. Rives et dérives 2023

LA FURIEUSE. "J'écris ce texte comme on s'échappe, comme un retour à un monde possible. Et cette échappée me conduit vers la Furieuse, petite rivière du Doubs, affluent de la Loue, où Courbet se baignait enfant, où il s'est baigné jusqu'à la fin de sa vie. C'est le nom qui m'a séduite d'emblée, la Furieuse. Sans doute contenait-il toutes mes colères, il parlait de moi. Ce n'est pas un roman, c'est le récit d'un voyage intime traversant aussi les oeuvres d'auteurs aimés qui ont descendu ou remonté fleuves et rivières, ont vécu sur leurs rives parfois. C'est un appel au secours à l'enfance, petite patrie lumineuse en laquelle je retrouve un peu de paix. C'est peut-être même elle qui a suscité ce voyage, en réveille d'anciens, me console de ce monde, me rend ma liberté", Michèle Lesbre.

02/2023

ActuaLitté

Comptabilité

Récolte et analyse de données en contexte africain

Voici une grille fournissant des réponses aux nombreux appels à l'aide formulés par les apprenants, les chercheurs juniors ou séniors confrontés aux incertitudes dues à la collecte et l'analyse de données. Cette béquille vise à les aider à mener une recherche qualitative résistant aux aléas de terrain et contournant les impasses de la recherche empirique (dans la collecte et l'analyse de données).

07/2022

ActuaLitté

Histoire et Philosophiesophie

A quoi servent les mathématiques ?

" À quoi servent les mathématiques ? ", " Pourquoi faut-il faire des maths au collège et au lycée ? ", " Où s'appliquent les mathématiques enseignées ? " ... À ces questions et à bien d'autres inventées par les élèves, ce livre apporte des réponses claires et convaincantes. Ce manuel présente les mathématiques autrement. Il donne une vision panoramique sur les différents domaines des mathématiques. Dans chaque chapitre de ce livre, vous trouverez un bref historique, l'essentiel du contenu mathématique et surtout une idée générale sur les différents domaines de son application. Son originalité est d'avoir été conçu pour aider les élèves de tout niveau à se familiariser avec les mathématiques. Ce livre s'adresse à tous les élèves (collège et lycée). Il leur permet de comprendre les mathématiques, leurs utilités et leurs applications dans les différents domaines : sociales, scientifiques et artistiques. Il s'adresse aussi aux enseignants qui désirent mieux comprendre l'origine des difficultés et les obstacles qu'ils rencontrent chez leurs élèves, afin d'y remédier. Il peut intéresser aussi les parents qui cherchent à aider leurs enfants à comprendre les mathématiques et à réussir leurs études.

03/2003

ActuaLitté

Informatique

Applications en identification radiofréquence et cartes à puce sans contact

L'identification sans contact est en pleine effervescence. Qu'il s'appuie sur une liaison optique, infrarouge, hyperfréquence ou plus fréquemment sur une liaison radiofréquence, le " sans contact " est appelé à un avenir rayonnant. Badges d'accès, cartes bancaires, télépaiement, identification de bagages, identification de livres en bibliothèque, localisation de matériels en magasin, suivi du stock en rayon et changement de prix à distance, voilà un petit échantillon de ce que le " sans contact " permet de réaliser. Le but de ce second ouvrage sur le sujet est d'offrir les bases les plus complètes sur les technologies et les différentes manières de les mettre en œuvre de façon concrète. Il s'agit d'un recueil d'applications industrielles complètes autour des étiquettes, transpondeurs, cartes à puce sans contact et de leurs lecteurs ; il vous permettra en outre de concevoir vos propres applications. Ce volume Applications, tout comme le précédent (Description), est principalement destiné aux concepteurs électroniciens ainsi qu'aux utilisateurs de ces technologies.

05/2003

ActuaLitté

Informatique industrielle

Docker. Concepts fondamentaux et déploiement d'applications conçues en services, 2e édition

Ce livre s'adresse aux développeurs, architectes et administrateurs système, ainsi qu'à toute personne désireuse de comprendre les concepts fondamentaux de la technologie Docker, sans entrer dans toutes ses subtilités ni tous ses cas d'usage, pour les mettre en oeuvre dans le déploiement d'applications conçues en services. Empreint de toute la pédagogie de l'auteur, ce livre permet au lecteur de se poser les bonnes questions et d'apprendre à être pleinement autonome pour affronter avec un oeil critique la masse de conseils disponibles sur Internet afin de trouver la bonne information. Après plusieurs chapitres dédiés à la prise en main de Docker, l'auteur transmet les bonnes pratiques d'intégration de Docker sur une application exemple développée avec les technologies Blazor/ASP. NET Core et utilisant des dépendances externes pour les fonctionnalités communes (Keycloak pour l'IAM, Nuxeo pour la GED, RabbitMQ pour le MOM, MongoDB pour la persistance, etc.). Cette architecture en services permettra d'aborder le maximum de situations différentes d'utilisation de Docker. Le dernier chapitre est consacré à simuler un déploiement industriel de l'application adaptée à Docker, en utilisant à la fois l'orchestration de conteneurs, avec des exemples sur Swarm et Kubernetes, et une intégration et un déploiement continus avec Azure DevOps.

12/2022

ActuaLitté

Economie

Introduction générale à l'économie

Ce livre propose d'intégrer rapidement les grands concepts et les réflexes d'analyse en économie. Tous les grands modèles qu'un élève doit maîtriser en fin de prépa ou de L2 sont présentés en détail. Loin des ennuyeuses dissertations scolaires, c'est une explication vivante, qui restitue les hypothèses dans le contexte intellectuel, et confronte les résultats à l'histoire économique. Pour les élèves qui préparent les concours des prépas éco ou des I.E.P., le texte a été expurgé autant que possible de son formalisme mathématique. Mais plus de 30 exercices entièrement corrigés et 100 questions de cours permettront d'entrer dans le détail des démonstrations et des preuves pour ceux qui souhaitent se spécialiser davantage. Les rares notions mathématiques usitées ici qui n'ont pas été vues en terminale sont présentées de manière claire et succincte, avec des exemples et des exercices d'application. Plus de 100 figures, mobilisant les données les plus récentes ; de riches références bibliographiques ; une attention toute particulière à la diversité des écoles économiques et aux liens avec les autres sciences humaines comme avec les mathématiques... tout a été pensé pour offrir aux préparationnaires, une culture fine en sciences économiques, loin des fiches de cours qui servent à remplir la majorité des dissertations.

01/2021

ActuaLitté

Automatique

La synthèse H-infini en pratique. Méthode et cas d'application

La synthèse H-infini, qui a émergé dans les années 1990, est un ensemble deméthodes souples et efficaces pour concevoir des lois de commande assurant de bons niveaux de performance et de robustesse aux incertitudes de modélisation. Mais si la théorie est maintenant bien connue, ce n'est pas le cas pour le cheminement permettant d'en tirer parti pour concevoir des commandes optimales. Cet ouvrage, destiné aux ingénieurs en automatique et en régulation, vise à combler cette lacune, en rappelant le minimum de bases mathématiques nécessaire mais surtout en expliquant en détails comment utiliser cette méthode, en s'appuyant sur de nombreux cas d'application issus de l'aéronautique, de l'automobile ou encore de la robotique. Tous les développements concernant les applications sont effectués à l'aide de Matlab et les scripts permettant de les rejouer seront mis à la disposition du lecteur.

01/2022

ActuaLitté

Mathématiques

Voyage dans les mathématiques de l'espace-temps. Trous noirs, big-bang, singularités

Ce livre est une invitation à découvrir le lien profond qui unit la relativité générale (la théorie de la gravitation d'Einstein) et la géométrie différentielle, branche de la géométrie issue de la découverte des géométries non-euclidiennes par Gauss et Riemann au XIXe siècle. En abordant la relativité par ses aspects géométriques, ce livre montre que les phénomènes surprenants de la relativité, tels que le paradoxe des jumeaux, les boucles temporelles, les trous noirs, les trous de ver, ne sont que des conséquences de la géométrie de l'espace-temps. Le livre explore également la fascinante relation entre les mathématiques et la physique à travers une des théories les plus passionnantes de notre siècle, la relativité générale, sujet particulièrement d'actualité depuis les récentes observations des ondes gravitationnelles et les observations de plus en plus directes des trous noirs. Il montre ainsi que les mathématiques, loin d'être simplement un "outil", sont une des sources d'inspiration les plus fécondes des physiciens théoriciens. Ce livre offrira une introduction plaisante aux mathématiques de la relativité, autant à l'étudiant en sciences qu'au lecteur curieux et motivé par les découvertes scientifiques les plus fascinantes de notre époque.

01/2019

ActuaLitté

Logique mathématique

Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Daniel lascar Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans ce premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maitriser les différentes notions exposées. Directeur de recherches au CNRS. L'ouvrage, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'Informatique, ainsi que les chercheurs et les ingénieurs de recherche en Informatique.

02/2021

ActuaLitté

Pédagogie

Enseigner autrement avec Montessori à l'école publique

Découvrir la pédagogie Montessori ? La mettre en place dans l'école publique ? Respecter le développement de l'enfant ? Utiliser un matériel adapté ? Présenter des activités de vie pratique ? Favoriser le développement sensoriel ? Développer des activités de langage ? Proposer des activités de mathématiques ? Découvrez 27 outils indispensables pour enseigner autrement avec Montessori à l'école publique. Chaque outil est présenté de façon visuelle sur 2 ou 4 pages : schéma de synthèse, résumé de l'outil, objectifs et contexte d'utilisation, méthodologie à suivre, avantages et précautions à prendre. Des exemples d'applications en classe renforcent la pédagogie concrète du livre. Une collection de livres-outils. Des fiches visuelles pour une prise en main immédiate. Des exemples d'application en classe.

06/2018

ActuaLitté

Guides étrangers

Découvrir Londres en séries

Décor d'innombrables films, LONDRES est aussi un acteur essentiel de nombreuses séries télévisées cultes. Ses monuments historiques les plus célèbres et quantité de bars, restaurants, magasins, parcs ainsi que des quartiers tout entiers nous sont maintenant terriblement familiers. Mais où se trouvent-ils vraiment ? Comment les visiter ? Facile à utiliser, illustré par de nombreuses photos et des cartes exclusives, ce livre de voyage dévoile toutes les adresses avec des parcours organisés par thématiques. Retrouvez cette ville que vous avez traversée avec vos héros préférés, celle des crimes que vous avez cherché à élucider, celle des comédies qui vous ont fait rire et pleurer, celle que vous avez déjà confortablement visitée de chez vous, devant vos écrans. Vous voulez plonger dans l'envers du décor ? Alors suivez le guide ! BONUS : cartes Interactives disponibles sur Internet

05/2019

ActuaLitté

Philosophie

Oeuvres III. Ethique,démontrée suivant l'ordre géométrique et divisée en cinq parties

"Spinoza est un point crucial dans la philosophie moderne. L'alternative est : Spinoza ou pas de philosophie. . ". Hegel

07/2006

ActuaLitté

Histoire militaire

Char AMX 30 - AMX 30B, AMX 30B2 et dérivés. Conception, développement et service opérationnel de la famille AMX 30 en France et à l'étranger

Un char très mobile, capable de combattre en ambiance NBC et doté d'un excellent canon de 105 mm de conception nationale. Les premiers AMX 30B entrent en service en 1967. Leur châssis est à l'origine d'une famille complète d'engins dont certains sont encore en service aujourd'hui, en France et dans le monde. C'est cette histoire que nous vous racontons dans cet ouvrage, à travers plus de 250 photos et dessins techniques, depuis les origines jusqu'aux dernières évolutions, en passant par les multiples dérivés.

03/2021

ActuaLitté

Statistiques et probabilités

Mathématiques pour le Capes. Probabilités

Les notions étudiées ici le sont de façon rigoureuse en démontrant tous les résultats énoncés. Chaque chapitre se termine par une série d'exercices tous corrigés en détail qu'il faut maîtriser avant de travailler sur des épreuves écrites du concours.Les premiers chapitres sont consacrés à l'étude de l'analyse combinatoire (outils ensemblistes et dénombrement), aux axiomes de probabilités et aux variables aléatoires en étudiant le cas discret, puis le cas général et enfin le cas des variables aléatoires à densité. Ce cours est ausssi une application importante de l'étude des séries numériques, des séries de fonctions et de l'intégration développées dans le volume d'analyse. Le dernier chapitre rassemble une sélection de problèmes de probabilités issus des épreuves du Capes. Bibliographie sélective et index viennent compléter l'ensemble

06/2021

ActuaLitté

Mathématiques

Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'a la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.

02/2020

ActuaLitté

Psychologie de l'enfant

Psychologie du développement. Enfance et adolescence. Cours, exercices et QCM corrigés, 4e édition revue et augmentée

Cette 4èmeédition enrichie et actualisée propose un état des connaissances, des méthodes et des applications de la psychologie du développement de l'enfant et de l'adolescent. Complétée par des exercices corrigés, elle permet à l'étudiant d'apprécier sa compréhension des concepts et des méthodes.

09/2021