Concept
Include directive
Related lectures (34)
Kalman Filters: Estimation and Localization
Covers the theory and application of Kalman Filters for estimation and localization in robotics.
Working with Strings
Covers the basics of working with strings in C, including reading, copying, comparing, and converting strings, along with examples and quizzes.
File Handling in C: Basics and Common Issues
Covers the basics of file handling in C, common issues, and standard functions.
Introduction to C Programming
Introduces fundamental C programming concepts, covering variables, control structures, functions, and pointers, with practical examples and exercises.
Introduction to C Programming
Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Introduction to C: Arrays and Functions
Covers the basics of C programming, focusing on arrays and functions, including 1D and 2D arrays, string operations, dynamic memory allocation, and reading files.
Functions: Reusability and Error Reduction
Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.
C++ Complements: Namespaces and Main Arguments
Covers namespaces, main function arguments, and their significance in C++ programming.
STL Essentials
Covers the essential concepts of the Standard Template Library (STL) in C++ for efficient data manipulation.