Music Semantics: Problems and Prospects

Related lectures (30)

Page 2 of 3

Explores the relational semantics of loops in programs and the mathematical interpretation of loop structures.

Delves into music structuring through hierarchy, repetition, and form principles, illustrating coherence and organization in musical pieces.

Explores the relationship between melody and harmony in music.

Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.

Covers harmonic sequences principles and examples, including applied dominants and double preparation.

Covers the Amyli language, including abstract syntax, program representation, and operational semantics.

Covers Amyli, a tiny functional language, type rules, and soundness.

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Explores Second Order Logic, WS1S, HOL, decision procedures, atomic and composite formulas, and the combination of WS1S with MONA in HOL.