Cours - Mathématiques
60 documents à télécharger gratuitement
Cours de mathématiques partagés par des étudiants et des enseignants. Thèmes couverts : algèbre, analyse, probabilités, statistique, optimisation.
This document introduces predicate logic as an extension of propositional logic, examining the structures of subjects and predicates. It defines the formal syntax for predicate logic, including variables, constants, functions, and predicates, with their respective rules and grammatical syntax. The semantic interpretation of formulas is analyzed with a focus on closed and open formulas and how quantifiers are applied in various scenarios. Lastly, it discusses normalization techniques like prenex and Skolem forms that are essential for logical inference and reasoning.
Ce document présente la théorie de la décision, abordant les différentes approches de la prise de décision dans divers domaines tels que l'économie, la psychologie et la philosophie. Il couvre les théories normatives et descriptives, en mettant l'accent sur la rationalité et les différents types de décideurs. L'importance de la prise de décision dans les organisations et les limitations cognitives des décideurs sont également soulignées.
This document provides a comprehensive overview of matrices, including their definitions, types, and operations. It outlines special types of matrices such as column, row, square, diagonal, and identity matrices, along with matrix addition and multiplication. Several examples and exercises are included to illustrate matrix properties and operations.
This document outlines the syllabus for a Math I course focusing on analysis and algebra. It covers various chapters including numerical functions, derivatives, limits, and matrix calculations. The course spans several weeks, offering detailed topics for each chapter to provide a comprehensive understanding of mathematics.
This document explores number systems, including decimal, binary, octal, and hexadecimal representations. It provides methodologies for interconversion between these systems based on polynomial expansions and arithmetic operations. Key focus areas include representations, bases, and techniques for converting and performing operations in each system. Conversion principles from base 10 to other bases and base-to-base transformations are outlined with examples and exercises.
Ce document aborde les concepts d'indépendance dans le contexte des événements, des tribus et des variables aléatoires. Il traite également de l'espérance et de l'espérance conditionnelle, ainsi que des propriétés associées. Enfin, il couvre les convergences de suites de variables aléatoires.
Ce document traite des expériences aléatoires et de leur représentation mathématique. Il explore des concepts clés tels que les espaces probabilisés, les événements et les variables aléatoires. Les exemples pratiques illustrent l'application des définitions et des théorèmes en probabilité.
This document covers the principles of mathematical logic, including predicate calculus, methods of deduction, and fundamental notions of decidability. It explores recursive functions, recursively enumerable sets, and introduces Gödel's incompleteness theorem. The material aims to provide students with an understanding of formal systems and their applications in computation.
This document covers formal logic, focusing on predicate calculus and propositional calculus. It discusses the syntax and semantics of logical languages, their definitions, and rules for constructing valid propositions. The structure of logical languages is analyzed in detail.
This document presents an operational research course led by Nadia Brauner at Grenoble, detailing the contributions of various authors and associated activities. It outlines the foundational aspects of operational research, its applications, and the theoretical problems addressed within the course framework. The course is designed for both initial and continuing education in operational research and its applications in industry.
Ce document traite de la recherche opérationnelle avec un accent sur les modèles mathématiques et les techniques de programmation linéaire. Il présente également des applications pratiques des méthodes d'optimisation, y compris la programmation en nombres entiers et les méthodes heuristiques. Finalement, le document se conclut par une discussion sur l'efficacité des algorithmes et des études de cas spécifiques.
Ce chapitre présente des problèmes NP-complets, notamment le 3-SAT et le NAESAT. Il fournit des définitions et des démonstrations pour prouver leur NP-complétude. L'objectif est d'expliquer la relation entre ces problèmes et la classe NP.