Abstract Data Types (ADTs) are mathematical models for data types where a data type is defined by its behavior from the point of view of a user, specifically in terms of possible values, operations, and behavior of these operations. They provide a way to encapsulate data and operations, allowing for implementation details to be hidden and promoting modularity and reusability in software design.