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.
This document contains examination papers from the Université de Tunis El Manar focusing on Numerical Analysis for engineering students between 1997 and 2009. It presents various problems related to the convergence of sequences and the calculation of Gaussian quadrature nodes and weights. Designed for first-year engineering classes, the exams assess students' understanding of the theoretical and practical aspects of numerical methods.
This document provides an overview of relational algebra, defining operations and relational operators used in database systems. It includes explanations of basic set operations and specific operations like selection and projection. The document illustrates these concepts with examples related to student and employee relations.
This document provides solutions and corrections for the second series of exercises related to graphs and flow theory. It aims to clarify key concepts and methodologies used in solving problems within this field. Students are encouraged to review their work against these corrections to enhance their understanding.
This document outlines exercises related to predicate logic, including symbolization of statements, evaluation of formulas, transformation to prenex normal form, and examination of unifiability. It also covers the resolution principle and finding resolvents of clauses.
This document discusses the concept of duality in linear programming, where optimization problems can be viewed from both activity and resource perspectives. It presents the primal and dual problems through examples involving nutritional optimization for a family and competitive pricing for a vitamin producer. The document includes a simplex method example for solving these optimization problems.
Ce document est un examen pour les étudiants de 3ème année en Analyse des Données. Les questions portent sur l'analyse factorielle, y compris des définitions, des méthodes spécifiques et des études de cas. Les étudiants doivent justifier leurs réponses et fournir des calculs basés sur des données spécifiques.
This document contains corrections and solutions for exercises related to mathematical logic. It includes evaluations of rational and real numbers, skolemization processes, and discussions on unification in logic. The exercises range from basic concepts to more complex scenarios regarding logical relations.
This document serves as a comprehensive guide for using SPSS 9.0 software on PC. It includes instructions on accessing SPSS, manipulating data, and performing descriptive statistics. Specific functions, commands, and data management techniques are outlined to assist users.
This document is a course material covering fundamental concepts of probabilities and statistics. It includes a detailed outline of topics such as probabilistic models, random variables, and hypothesis testing. Exercises and examinations are also included to reinforce learning.
Ce document traite des principes de la logique mathématique, avec un accent sur le calcul propositionnel (CPO). Il présente les structures syntaxiques et sémantiques des formules logiques, ainsi que leur application dans divers domaines, notamment l'informatique et l'intelligence artificielle. Le cours vise à fournir une compréhension des mécanismes fondamentaux de la logique pour résoudre des problèmes.
This document outlines six problem-based exercises designed to apply operations research techniques such as optimization and linear programming. The tasks involve determining optimal strategies for production planning, cost minimization, resource allocation, inventory management, raw material mixing, and distribution of goods. Solutions for all cases are to be computed using MS Excel software.
The document provides instructions for statistical data analysis using ANOVA and Principal Component Analysis (PCA). Exercise 1 involves performing one-factor ANOVA tests on track and field performance metrics. Exercise 2 focuses on financial data analysis over 16 years, requiring data organization, PCA application, and interpretation of results, including eigenvalues and variable correlations. The PCA identifies key components describing variability in financial indicators, revealing temporal patterns and strong correlations among variables.
L analyse en Composantes Principales (ACP) est une m thode d analyse des donn es utilis e pour l tude exploratoire ou la r duction d un grand tableau n p de donn es quantitatives, o n d signe le nombre d individus et p le nombre de variables quantitatives.
The Simplex Method, developed by George Dantzig in 1947, is presented as a robust technique for solving large-scale linear programming problems. It begins by transforming inequalities into equations through slack and artificial variables, which enables the application of matrix-based iterative computation. The process involves formulating a mathematical model, converting it into a standard form, and then applying the detailed Simplex algorithm to iteratively optimize the objective function. The document also describes irregular cases such as infinite solutions, infeasibility, and multiple s...
This document explores numerical solutions to systems of linear equations, focusing on both direct and iterative methods. Direct methods involve finite steps like Gaussian Elimination and LU decomposition. Iterative methods, such as the Jacobi and Gauss-Seidel methods, build sequences that converge to solutions. The document emphasizes scenarios where computational limitations render traditional methods like Cramer's rule impractical. Instead, numerical algorithms are proposed for efficient computation in large systems such as circuits with many nodes.
The document explains the Gauss Pivot Method, a systematic approach to solving linear equation systems by transforming them into equivalent triangular systems. It employs basic matrix transformations like row permutations, scalar multiplications, and linear combinations of rows. The process is demonstrated with step-by-step operations through a concrete numerical example, confirming matrix invertibility and finding the solution of a system. A unique solution is derived for a given system, showcasing the effectiveness of the method for triangularized matrices.
This document contains a series of exercises focused on the application of linear programming models and graphical resolution methods to maximize profitability and optimize operations. Problems include production planning for factories (e.g., products and raquettes), petroleum refinery optimization for maximum margins, and workshop scheduling to efficiently allocate time and resources. Each exercise specifies constraints like production limits, resource availability, and profitability to develop and solve linear programming models.
The document outlines the LU decomposition technique for solving linear systems AX = b, where A is a matrix with nonzero principal minors. It describes the method of decomposing A into a lower triangular matrix L and an upper triangular matrix U. The solution is obtained by solving two triangular systems: LY = b (forward substitution) and UX = Y (back substitution). Examples and proof of the method's existence and uniqueness are provided, alongside step-by-step calculations of L and U.
The document introduces numerical methods for solving linear equation systems, particularly focusing on the Jacobi method. It explains the concept of strictly diagonally dominant matrices, which are necessary for the convergence of this iterative method. The Jacobi method decomposes a matrix A into components (diagonal, upper, and lower parts) to iteratively approximate the solution of AX = b. This method guarantees convergence for strictly diagonally dominant matrices, with detailed examples and 4 calculated iterations presented computationally.
This document presents five exercises on linear programming. The first involves maximizing production profit under machine time constraints. The second focuses on cost-efficient composition of animal feed with nutritional requirements. The third calculates optimal agent allocation at an airline while minimizing costs. The fourth optimizes chocolate assortment production for maximal net revenue. The fifth addresses manufacturing and transport optimization for perishable goods, including constraints and penalties.
Ce document traite des approches quantitatives dans la recherche, en expliquant les méthodes de collecte de données et le processus d'élaboration des échantillons. Il présente également les différentes techniques d'échantillonnage et met l'accent sur l'importance d'une base de sondage complète et à jour. Les méthodes aléatoires et non aléatoires sont abordées pour la sélection des participants.
Ce document traite de l'importance croissante des méthodes d'analyse multivariée en réponse à la massification des données. Il explore les types de données, les variables et les méthodes de mesure, tout en soulignant l'importance d'une analyse appropriée pour tirer des conclusions significatives. Enfin, il examine la typologie des variables et les échelles de mesure utilisées en statistiques.
This document provides essential information regarding IBM SPSS Statistics Base version 25. It outlines the scope of the software, including its functionalities and updates. Additionally, it includes legal disclaimers and references for obtaining further information.
The document presents a statistical data analysis task focusing on the financial indicators of an oil company over 16 years. The dataset, adjusted for inflation, includes variables such as capital, interests, subsidies, and various forms of debt. The task involves constructing an SPSS database, performing principal component analysis (PCA), and interpreting metrics like inertia, axis contributions, and correlation circles. Additionally, the analysis aims to determine the presence of distinct periods and their characteristics within the dataset.