Lectures related to Data structure

Introduction to Programming: First Steps

Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.

Structures and Mechanisms: Static (Rigid) Structures

Covers the analysis of static (rigid) structures, including equilibrium and free-body diagrams.

Model Representation: Structures and Functions

Covers the representation of mathematical models, functions, and data structures in information systems.

Data Science for Engineers: Part 2

Explores data manipulation, exploration, and visualization in data science projects using Python.

Abstract Data Structures and Standard Libraries

Covers abstract data structures and the C++ standard library, including linked lists, stacks, queues, and complex numbers.

Data Abstraction: Modules and Specifications in Coq

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Classes and Encapsulation: Principles of Modular Programming

Covers the principles of classes, encapsulation, and modular programming in C++.

C++ Programming: Structures and Typedef

Covers fundamental C++ programming concepts, including structures, alias types, and multiple return solutions.

Advanced Types in C: Enums, Typedefs, and Structs

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Data Structures: Tuples, Sets, Dictionaries

Explores tuples, sets, and dictionaries in Python, covering immutability, uniqueness, and key-value pairs.

Data Representation: Models and Systems

Discusses data representation through models and systems, covering mathematical models, data structures, levels of modeling, and managing data.

Structures: Examination of Supporting Structure

Covers the examination and reinforcement of supporting structures in buildings.

Python: Dictionaries and Tuples

Explores dictionaries, tuples, mutable objects, and variable-length arguments in Python.

A Closer Look at Lists

Covers list construction, methods, and implementations, including exercises and complexity analysis.

Elementary Data Structures: Stacks, Queues, Linked Lists

Covers stacks, queues, and linked lists, emphasizing efficiency and dynamic structures.

New Technologies in Concurrent Algorithms: RDMA & Persistent Memory

Introduces RDMA and Persistent Memory, discussing their features, challenges, and impact on concurrent algorithms.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Verifying Programs with Stainless

Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.

Synthesis of Safe Pointer-Manipulating Programs

Introduces SuSLik, a program synthesizer generating safe low-level programs from logical specifications, showcasing its capabilities in handling linked data structures.

Data Structures: Tuples, Lists, Sets, Dicts

Introduces data structures like tuples, lists, sets, and dicts in Python, covering their definition, manipulation, and iteration.