Mathématiques
314 documents à télécharger gratuitement
Cours, examens, TD, TP et exercices de mathématiques. Thèmes couverts : algèbre, analyse, probabilités, statistique, optimisation.
3 sentence summary
This document is an examination paper for a course in mathematical logic at Université de La Manouba, consisting of various exercises to evaluate students' understanding of logical expressions and resolution principles. It includes exercises on evaluating logical formulas, deriving conclusions based on premises, and applying logical reasoning to problem-solving.
This document provides corrections and solutions for several exam exercises related to logical formulas and propositional statements. It includes detailed analyses of formula types, variable bindings, and logical assertions involving characters like John, Bill, and others. Additionally, it presents tables of truth and interpretations related to qualifications of characters based on their statements.
This document includes various mathematical exercises related to probability and statistics. It presents real-world scenarios for data analysis, including decisions made by students in a cafeteria and an analysis of a commercial traveler's trips. The aim is to derive understanding of statistical methodologies through practical examples.
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 exercises focused on numerical analysis, including solving equations and evaluating convergence of methods. It involves applying Newton's method and other numerical techniques to find real solutions. Students are tasked with demonstrating convergence and providing approximations for various functions.
This document contains exercises related to probability calculations and statistical sampling. It emphasizes scenarios where students must determine probabilities regarding choices and events. The exercises involve practical applications in real-life situations, such as dining choices and commercial travel durations.
This document contains exercises related to probability and statistics. It includes scenarios about students choosing dining halls and a commercial traveler assessing probabilities based on certain conditions. The exercises challenge the reader to apply mathematical concepts to real-world situations.
This document presents mathematical exercises related to probability calculations. It involves determining probabilities based on scenarios provided, such as students choosing dining areas and a commercial traveler’s journey durations. The exercises aim to assess understanding of independent events and estimation of necessary sample sizes for statistical confidence.
This document contains exercises related to probability and statistics. It presents scenarios involving school lunch choices and a traveler's journey with probabilistic outcomes. The exercises aim to assess understanding of basic probability principles.
This document presents a home assignment for the Module of Mathematics for Engineers at the Ecole Nationale des Sciences de l’Informatique. It includes exercises on Fourier transforms, convolution products, and the application of the Shannon theorem regarding band-limited functions. Students are required to calculate specific mathematical integrals and demonstrate key properties of Fourier series.
Ce document traite des concepts de dérivation et de distributions en mathématiques, en présentant des définitions, des propriétés et des exemples. Il illustre également les notions de convergence de suites de distributions et la notion de fonction test. Enfin, il explore les distributions régulières et singulières, ainsi que des exemples tels que la fonction de Dirac et l'échelon d'Heaviside.
This document contains a series of solutions to linear optimization exercises from a numerical methods course at Université Paris Ouest Nanterre. It specifically covers the simplex method and duality in linear programming. The solutions include step-by-step transformations leading to optimal solutions.
The document presents a series of exercises focused on solving linear programming problems using the simplex method. It includes detailed steps for standardizing the problems, constructing simplex tables, and performing base changes for optimal solutions. The final results of optimal solutions for each exercise are also summarized.
This document discusses two exercises on linear programming, specifically focusing on graphical resolution and the simplex method. The first exercise involves maximizing an objective function with given constraints, while the second exercise entails minimizing another function under different constraints. The document provides detailed steps and illustrations of the simplex algorithm for both exercises.
This document is a homework assignment focused on applying the simplex method to solve linear programming problems. It includes detailed steps for solving two separate problems using primal and dual simplex methods, along with phase one and phase two simplex methods. Each problem is approached methodically, detailing the transformations and calculations needed to arrive at the optimal solutions.
This document presents two exercises in linear programming, focusing on graphical resolution and the identification of feasible solutions. It discusses optimal solutions derived from graphical representation and provides constraints analysis for optimization problems.
This document contains exercises focused on linear programming and the simplex method. It details the resolution of specific linear equations through a structured process of finding optimal solutions. Various mathematical notations and graphical representations are provided to clarify the problem-solving approach.
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.
This textbook is the product of a decade of pedagogical experience at the University of Geneva, aimed at undergraduate students in fields requiring foundational knowledge in probability and statistical inference. It offers a collection of 212 solved problems spread across eight chapters, each building progressively from basic probability calculations to multivariate random variables and inference techniques. The book covers both combinatorial analyses and theoretical limits, integrating historical insights and theoretical underpinnings like Bayes’ theorem and Kolmogorov's axioms. It serves...
This document is a comprehensive pedagogical resource based on ten years of university teaching experience at the University of Geneva. It contains 212 solved exercises organized into eight chapters that progressively guide the reader through topics such as elementary probabilities, random variables, statistical inference, and Bayesian methods. The exercises include varying difficulties and cover both foundational theories and real-world applications. The book also serves as supplementary material for undergraduate-level courses in economics, psychology, and other sciences and is designed f...