Concept

Axiomatic system

Related lectures (5)

Covers the fundamental concepts related to real numbers, including sets, notations, and operations.

Covers the structure and properties of real numbers, including the introduction to the axiomatic system and the implications of Archimedean property.

Covers the principles of quantum physics, focusing on tensor product spaces and entangled vectors.

Covers Hoare Logic, its foundations, applications, and significance in program verification.