Programmation

670 documents à télécharger gratuitement

Cours, examens, TD, TP et exercices de programmation. Thèmes couverts : algorithmique, langage C, Java, Python, POO, structures de données.

Unavailable (Document is Corrupted or Encoded)

The provided document contains malformed or encoded text, making it unreadable for analysis. Therefore, no discernible methodology, findings, or conclusion can be summarized. It may require decoding or correction by the user.

quot
float
handle
18p0
La mise au point des programmes avec gdb

This document delves into the debugging process using gdb, an open-source debugging tool designed for console use and compatible with emacs. It highlights the necessity of debugging tools to pinpoint semantic errors such as uninitialized variables and incorrect operator usage. The guide provides in-depth coverage of gdb commands for managing program execution, variable inspection, and breakpoint manipulation. It emphasizes the importance of including debugging information during compilation with gcc's -g option to facilitate targeted error identification.

debugging
gdb
semantic errors
1p0
Compilation, Linking, and Library Construction in C

This document provides a comprehensive overview of the compilation process for C programs, detailing the stages from preprocessing and compilation to linking and creation of binary executables. It introduces the use of the GCC compiler and its options for managing errors, warnings, and various stages of the process. The document also distinguishes between static and shared libraries, explaining their creation, usage, and tradeoffs. Examples are provided for command-line usage, library linking, and dependency checks.

gcc
C language
preprocessing
8p0
Activité 3: Paramètres en Ligne de Commande

This document demonstrates how to handle command-line arguments in C programming, explaining the `argc` and `argv` parameters in the `main` function. It includes examples for parsing and converting inputs into numerical formats using functions like `atoi`, `atol`, or `atof`. Additionally, it provides solutions for computing the sum of integers and counting the number of letters in a word passed as a command-line argument. Proper error handling is emphasized throughout, such as checking input validity and ensuring expected argument formats.

command-line arguments
argc and argv
atoi function
3p0
Compilation, Execution, and Naming Executables with GCC

This document explains the process of compiling, executing, and naming executables for C programs using the GCC compiler. It begins with compiling a sample C program 'bonjour.c' to produce a default executable 'a.out,' and demonstrates running the application using the command line. It further elaborates on the use of the gcc '-o' option to assign custom names to executables, enhancing clarity in multi-program workflows. The tutorial emphasizes practical examples to ensure clarity in the steps required from compilation to execution.

gcc
C programming
compilation process
1p0
Compilation and Execution of C Programs using GCC

This document explores the compilation and execution workflow of a basic C program using the GCC compiler. It demonstrates how to compile a program file like 'bonjour.c' into an executable, defaulting to 'a.out', and subsequently executing it through the command line using './a.out'. Additionally, it explains how to assign a more descriptive name to the executable using the '-o' option. The examples provided clarify the methodology with outputs for compilation and execution commands.

gcc
compilation
executable
1p0
Les étapes de la compilation

The document explains the compilation process using the gcc tool in four steps: preprocessing, compilation, assembly, and linking. It highlights intermediate files generated during these steps, such as .i, .s, .o, and finally, the executable. Errors and warnings are discussed, especially syntax and preprocessing issues, along with solutions using gcc flags like '-E' and '-Wall'. It also emphasizes platform-specific executables, requiring recompilation for systems like Linux and Solaris.

Compilation
gcc
Preprocessing
6p0
Static Performance Rule Analyzer

The project titled 'Static Performance Rule Analyzer' was developed during an internship at Adhoc ISL. It involves the definition, implementation, and documentation of performance-oriented coding rules for Java source code. The tool aims to validate Java code from a performance perspective, targeting primarily developers.

quot
rłgles
performance
79p0
Cours 8

This course covers the hierarchy of numbers, introducing imperative programming concepts including assignment and stack representation using lists. It delves into various data structures and operations in Common Lisp, including destructive functions on lists and multiple value returns.

type
print
argument
29p0
Cours 7

This course focuses on functional application functions, association lists, and their manipulation in Common Lisp. It covers fundamental functions like assoc and various parameters for defining functions. Additional topics include comparisons, equality checks, and error handling macros.

quot
assoc
liste
4p0
Cours 3

This document covers the fundamentals of symbols in Common Lisp, including their definitions, uses, and operations. It explains how to define variables and the difference between 'defparameter' and 'defvar.' It also discusses the implications of expressions and the concept of side effects in programming.

valeur
read
expression
12p0
Series d'Exercices et Corrige

This document contains a series of exercises focused on recursion and iterative programming techniques. Each exercise provides a task to implement various functions, including list manipulations, factorization, and set operations. Additionally, the document includes solutions for each exercise that demonstrate the intended logic and function implementation.

liste
fonction
exercice
20p0
Paradigmes de programmation et Lisp pour IA

This document covers the objectives of a course on functional programming, particularly focusing on mastering Lisp. It discusses the fundamentals of programming paradigms, including functional, procedural, and object-oriented approaches, while emphasizing the importance of recursive functions. Additionally, it delves into the introduction and features of the Lisp programming language, highlighting its history and unique aspects.

liste
fonction
valeur
128p0
Programming Paradigms and Lisp Language

This document explores various programming paradigms, focusing on functional programming and the Lisp language. It outlines key characteristics of functional programming, the importance of recursion, and the fundamentals of Lisp, including its syntax and data structures. Students will learn how to write simple functions in Lisp and apply it in AI applications.

liste
fonction
valeur
147p0
Programming Paradigms

This document provides an overview of different programming paradigms, including functional, procedural, and object-oriented programming. It discusses their characteristics, advantages, and language examples. The document also introduces LISP, highlighting its unique features and basic structures.

exemple
valeur
lisp
46p0
Logique Formelle

This document details a course on Prolog and formal logic, highlighting the differences between Prolog programming and traditional methods. It discusses the historical development of Prolog and its features, including the declarative nature of the language. The document also outlines the Turbo Prolog environment with its primary windows and functionalities.

prolog
number
slide
75p0
Algorithmes et Structures de Données

This document outlines the principles of algorithms and data structures covered in the course. Various Abstract Data Types (ADTs) such as lists, stacks, queues, and binary trees are defined with their operations and axioms. Exercises are provided to explore recursive algorithms and operations implementation.

liste
ment
longueur
7p0
Apprenez à programmer en C !

This document provides an introduction to programming in C, covering basic concepts and necessary tools. It includes discussions on why to learn C, programming vocabulary, and details about Integrated Development Environments (IDEs) like Code::Blocks and Visual C++. The content aims to guide beginners through the foundational elements of programming in C.

quot
code
fonction
398p0
Automates, Langages et Applications - TD 7

This document contains exercises on pushdown automata and their applications in recognizing specific languages. Each exercise presents a language definition, followed by the proposed automata solutions and analysis of their determinism. The exercises focus on various conditions and properties of languages involving symbols a and b.

pile
automate
chaque
2p0
Automates, Langages et Applications - TD 2

This document consists of exercises related to deterministic automata recognizing specific languages over the binary alphabet {0, 1}. Each exercise tasks the reader with providing an automaton for specific criteria on binary strings. The document includes corrected answers for reference.

plus
mots
correct
5p0
Techniques de compilation

This course aims to expand knowledge in the theory of languages and automata towards the description and syntactic analysis of programming languages for compilation. It covers fundamental concepts of programming languages, emphasizing syntax and semantics, and addresses intermediate code translation and execution environments. Topics include compilation phases, error detection, and examples of context-free grammars.

compilation
techniques
ayed
87p0
Mini Projet de Théorie des Langages et Compilation

The project aims to extend knowledge in language theory and automata for programming language description and syntax analysis for compilation. It consists of developing a lexical analyzer, a syntax analyzer, and a semantic analyzer. A mini compiler will be implemented as the final output.

inst
analyseur
type
4p0
Les machines de Turing

Ce document traite des machines de Turing, en couvrant leur description, fonctionnement et application à divers problèmes. Il inclut des exemples concrets comme les compteurs de parité et la vérification de parenthèses. La définition formelle et les fonctions de transition sont aussi présentées en détail.

machine
turing
ayed
38p0

Autres ressources en programmation