Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Discrete Event Simulation
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
Converting Imperative Programs to Formulas
Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.
Programming Paradigms: Functional, OOP, Polymorphism
Explores programming paradigms like procedural, functional, and OOP, with examples in Python.
Python Programming: Data Structures and Functions
Covers advanced Python programming concepts, including data structures and functions.
Introduction to Programming: Basics and Control Structures
Introduces programming basics and control structures, emphasizing hands-on practice for exam preparation and project work.
Logic Synthesis: Designing Efficient Digital Circuits
Discusses logic synthesis techniques for designing efficient digital circuits from functional descriptions and truth tables.
Python Programming Basics
Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.
Logic Synthesis: Designing Efficient Digital Circuits
Discusses logic synthesis techniques for designing efficient digital circuits using minterms, maxterms, and new gates like XOR and XNOR.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Object-Oriented Programming: Error Management and Course Logistics
Outlines the course logistics and objectives for Object-Oriented Programming, focusing on error management and the integration of practical sessions with theoretical learning.
Introduction to Computational Science: Course Overview and Objectives
Introduces the Computational Science option at EPFL, detailing course objectives and programming fundamentals using Python.
