Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology IIISymbolic Reality III.2 (We Nov 16) Denotators I—definition of a universal concept space.

Slides:



Advertisements
Similar presentations
Guerino Mazzola U & ETH Zürich Internet Institute for Music Science Signes, pointeurs et schémas de concepts pour.
Advertisements

Guerino Mazzola (Fall 2014 © ): Introduction to Music Technology IIIDigital Audio III.3 (Fr Oct 10) Complex Fourier representation (preliminaries to FFT)
ET-314 Week 11 Nov 7, 2014 Topic(s): 19.1 Vectors.
An Introduction to Hashing. By: Sara Kennedy Presented: November 1, 2002.
Guerino Mazzola U & ETH Zürich Internet Institute for Music Science Penser la musique dans la logique fonctorielle.
Guerino Mazzola U & ETH Zürich Internet Institute for Music Science architecture du livre „The Topos of Music“
GROUP MEMBERS-  ZION- PROJECT LEADER  TYRESE-CHIEF RESEARCHER  MUSKAN-COMMUNICATIONS DIRECTOR  GHAZAL-DIGITAL ENGINEER.
FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
UFCEXR-20-1Multimedia Sound Production Basic Chord Structures and Patterns.
Cardinality of Sets Section 2.5.
Physics 1251 The Science and Technology of Musical Sound Unit 2 Session 21 MWF Musical Scales and Strings Unit 2 Session 21 MWF Musical Scales and Strings.
Computers Organization & Assembly Language
1 Introduction to Modeling Languages Striving for Engineering Precision in Information Systems Jim Carpenter Bureau of Labor Statistics, and President,
CS 2104 Prog. Lang. Concepts Dr. Abhik Roychoudhury School of Computing Introduction.
CIS Computer Programming Logic
 Origins in PRESTO, and early computer application developed by Guerino Mazzola.  RUBATO is a universal music software environment developed since 1992.
Guerino Mazzola (Fall 2015 © ): Music Freshman Seminar IINTRODUCTION I.2 (W Sept 09) Music Oniontology Ontology = ways of being, of existing Oniontology.
Abstract Syntax Notation ASN.1 Week-5 Ref: “SNMP…” by Stallings (Appendix B)
Chapter 9. Section 9.1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and.
Great Theoretical Ideas in Computer Science.
Copyright © 2014 Curt Hill Sets Introduction to Set Theory.
LDK R Logics for Data and Knowledge Representation PL of Classes.
Music, Superposition and Chords Physics 11Adv. Comprehension Check 1. What beat frequency would you expect if two trumpets play the same note but one.
Set 6 Let there be music 1 Wow! We covered 50 slides last time! And you didn't shoot me!!
Guerino Mazzola U & ETH Zürich Guerino Mazzola U & ETH Zürich
College Algebra Sixth Edition James Stewart Lothar Redlin Saleem Watson.
Concepts locaux et globaux. Deuxième partie: Théorie ‚fonctorielle‘
Mathematical Preliminaries
Final Projects Some simple ideas. Composition (1) program that "learns" some aspect of musical composition.
Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology I INTRODUCTION I.3 (Fr Sept 11) Oniontology: Examples.
Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology IIIDigital Audio III.4 (We Oct 28) Fast Fourier Transform (FFT)
THEORY OF COMPUTATION Komate AMPHAWAN 1. 2.
Introduction – Sets of Numbers (9/4) Z - integers Z + - positive integers Q - rational numbersQ + - positive rationals R - real numbersR + - positive reals.
Guerino Mazzola (Fall 2015 © ): Honors Seminar II.3Mental Reality II.3.2 (W Sept 30) The Euler Space.
CompSci 102 Discrete Math for Computer Science February 7, 2012 Prof. Rodger Slides modified from Rosen.
Guerino Mazzola Roger Fischlin, Stefan Göller: U Zürich Claudio Vaccani, Sylvan Saxer: ETH Zürich The Internet.
Guerino Mazzola (Spring 2016 © ): Performance Theory II STRUCTURE THEORY II.1 (Tu Feb 03) Tuning, Intonation, and Dynamics.
Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology IIAcoustic Reality II.6 (M Sept 30) The Euler Space and Tunings.
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
Guerino Mazzola U & ETH Zürich Topos Theory for Musical Networks Topos Theory for Musical Networks.
Guerino Mazzola U & ETH Zürich Internet Institute for Music Science Towards „Grand Unification“ Of Musiacl Composition,
Guerino Mazzola (Fall 2015 © ): Honors Seminar II.1Physical Reality II.1.1 (F Sept 11) Sound Anatomy.
Guerino Mazzola (Spring 2016 © ): Performance Theory II STRUCTURE THEORY II.7 (Fr Feb 27) Initial Sets and Performances, Performance Cells and Hierarchies.
Guerino Mazzola (Spring 2016 © ): Performance Theory III EXPRESSIVE THEORY III.7 (Mo Mar 7) Analytical Expression III.
Extending a displacement A displacement defined by a pair where l is the length of the displacement and  the angle between its direction and the x-axix.
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
1 Lesson 6 – Introduction to Functions: Concepts and Notations Math 2 Honors - Santowski 6/12/2016 Math 2 Honors - Santowski.
Guerino Mazzola (Spring 2016 © ): Performance Theory IV RUBATO IV.1 (Fr Mar 11) Stemma Theory and Shaping Operators
INTRODUCTION SC116: Algebraic Structures Short Title of the Course: ALG Instructor: Professor Samaresh Chatterji.
MTH108 Business Math I Lecture 20.
Chapter 4 Introduction to Set Theory
CHAPTER 3 SETS, BOOLEAN ALGEBRA & LOGIC CIRCUITS
Mathematical Background: Extension Fields
Fanfare 3 Year 10 Composition.
III Symbolic Reality III.2 (We Nov 08) Denotators I—definition of a universal concept space and notations.
Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103 Chapter 2 Sets Slides are adopted from “Discrete.
BlueTimbre Music Program
II CONCEPT SPACES II.6 (Thu Feb 22) Denotators—definition of a universal concept space, notations, and examples.
Precalculus Mathematics for Calculus Fifth Edition
Logics for Data and Knowledge Representation
Lab 7: Musical Scales The Just Scale The Tempered Scale Transposition
III Symbolic Reality III.2 (Mo Nov 05) Denotators I—definition of a universal concept space and notations.
Advanced Algorithms Analysis and Design
H Melody/Harmony Relative Major / Minor – A change of key (modulation) from minor to major key using the same key signature but found three semitones higher,
Copyright © Cengage Learning. All rights reserved.
The aim of education is to teach students how to think rather than what to think. Sets The set is the fundamental discrete structure on which all other.
Cryptology Design Fundamentals
MA5242 Wavelets Lecture 1 Numbers and Vector Spaces
Function-oriented Design
Mathematical Background: Extension Finite Fields
Presentation transcript:

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology IIISymbolic Reality III.2 (We Nov 16) Denotators I—definition of a universal concept space and notations

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Sylvain Auroux: La sémiotique des encyclopédistes (1979) Three encyclopedic caracteristics of general validity: unité (unity) grammar of synthetic discourse philosophy unité (unity) grammar of synthetic discourse philosophy intégralité (completeness) all facts dictionary intégralité (completeness) all facts dictionary discours (discourse) encyclopedic ordering representation discours (discourse) encyclopedic ordering representation Jean le Rond D‘Alembert Jean le Rond D‘Alembert Denis Diderot Denis Diderot 1751

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology ramification type ~ completeness reference ~ unity linear ordering ~ discourse

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology (Kritik der reinen Vernunft, B 324) Man kann einen jeden Begriff, einen jeden Titel, darunter viele Erkenntnisse gehören, einen logischen Ort nennen. You may call any concept, any title (topic) comprising multiple knowledge, a logical site. Immanuel Kant concepts are points in concept spaces

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology (coordinates) (coordinates) <form_name><type>(coordinator) F1F1F1F1 FnFnFnFn D1D1D1D1 D s-1 DsDsDsDs form denotator

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Simple Forms = Elementary Spaces

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) example:‘Loudness’ (coordinates) (coordinates) example:‘mezzoforte’ A = STRG = set of strings (words) from a given alphabet a string of letters example:mf Simple Simple 1

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) example:‘HiHat-State’ (coordinates) (coordinates) example:‘openHiHat’ A = Boole = {NO, YES} (boolean) boolean value example:YES Simple Simple 2

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) example:‘Pitch’ (coordinates) (coordinates) example:‘thisPitch’ A = integers Ÿ = {...-2,-1,0,1,2,3,...} integer number from Ÿ example: b-flat ~ 58 Simple Simple 3

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) example:‘Onset’ (coordinates) (coordinates) example:‘myOnset’ A = real (= decimal) numbers — real number from — example:11.25 Simple Simple 4

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology example:‘Eulerspace’ example:‘myEulerpoint’ Extend to more general mathematical spaces M! point in M e.g. Euler pitch spaces.... <form_name><type>(coordinator)<denotator_name><form_name>(coordinates) Simple octave fifth third Simple +

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) A module M over a ring R (e.g., a real vector space) Simple Examples: M =  — 3 space for space music description M =  — 3 space for space music description M = – 3 pitch space o.log(2) + f.log(3) + t.log(5) M = – 3 pitch space o.log(2) + f.log(3) + t.log(5) M = Ÿ 12, Ÿ 3, Ÿ 4 for pitch classes M = Ÿ 12, Ÿ 3, Ÿ 4 for pitch classes M = Ÿ  Ÿ 365  Ÿ 24  Ÿ 60  Ÿ 60  Ÿ 28 (y:d:h:m:s:fr) for time M = Ÿ  Ÿ 365  Ÿ 24  Ÿ 60  Ÿ 60  Ÿ 28 (y:d:h:m:s:fr) for time M = ¬, Polynomials R[X] etc. for sound, analysis, etc. M = ¬, Polynomials R[X] etc. for sound, analysis, etc. ( Ÿ 12 ) ( Ÿ 12 )

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology

Rubato Composer: 1.Check the construction of rings and modules! 2.Check general simple forms! 3.Check construction of forms! 4.Check construction of denotators!

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Compound Forms = Recursive Spaces

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology spaces/formsspaces/forms product/limitproduct/limitunion/colimitunion/colimit collections/powers ets exist three compound space types:

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) example:‘Note’ (coordinates) (coordinates) example:‘myNote’ n denotators from F 1, F 1,... F n example (n=2): (‘myOnset’,’thisPitch’) Limit sequence F 1, F 2,... F n of n forms

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology example:‘Interval’ example:‘myInterval’ n denotators, plus arrow conditions example: (‘note 1 ’,’on’,’note 2 ’) Note Onset Note Note Onset Note <form_name><type>(coordinator)<denotator_name><form_name>(coordinates) Limit extend to diagram of n forms + functions F1F1F1F1 FnFnFnFn FiFiFiFi K-nets (networks!)

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Db} J1J1J1J1 J2J2J2J2 J3J3J3J3 J4J4J4J4 Klumpenhouwer (hyper)networks

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Ÿ 12 T4T4T4T4 T2T2T2T2 T 5.-1 T     Ÿ 12 T4T4T4T4 T2T2T2T2 T 5.-1 T limit

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Rubato Composer: 1.Check the construction of limits!

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) example:‘Orchestra’ (coordinates) (coordinates) example:‘mySelection’ one denotator for i-th form F i one denotator for i-th form F i example: Select a note from celesta Colimit sequence F 1, F 2,... F n of n forms

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) Example:‘Motif’ (coordinates) (coordinates) example:‘thisMotif’ one form F A set of denotators of form F example: {n 1,n 2,n 3,n 4,n 5 } F = Note PowersetPowerset Power 1

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator) Example:‘Chord’ (coordinates) (coordinates) example:‘thisChord’ one form F A set of denotators of form F example: {p 1,p 2,p 3 } F = PitchClass PowersetPowerset Power 2

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Rubato Composer: Check the construction of powerset denotators!

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology <form_name><type>(coordinator)Colimit diagram of n forms F1F1F1F1 FnFnFnFn FiFiFiFi Gluing together spaces of musical objects! Idea: take union of all F i and identify corresponding points under the given maps.

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology T n {c 1,c 2,...,c k } = {n+c 1, n+c 2,..., n+c k } mod 12 (transposition by n semitones) Result = set of n-transposition chord classes! Chord D = TnTnTnTn BTW: What would the Limit of D be? <form_name><type>(coordinator)Colimit F1F1F1F1 FnFnFnFn FiFiFiFi

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology — — OnsetOnsetLoudnessLoudnessDurationDurationPitchPitch NoteNote STRG Ÿ Note form

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology GeneralNoteGeneralNote — — OnsetOnsetLoudnessLoudnessDurationDurationPitchPitch NoteNote STRG Ÿ— — DurationDuration OnsetOnset PausePause GeneralNote form GeneralNote form

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology FM-Synthesis FM-Synthesis

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology NodeNode FM-ObjectFM-Object — — AmplitudeAmplitudePhasePhaseFrequencyFrequency FM-Synthesis FM-Synthesis — SupportSupport ModulatorModulator FM-ObjectFM-Object

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology NodeNode FM-ObjectFM-Object — — AmplitudeAmplitudePhasePhaseFrequencyFrequency FM-Synthesis FM-Synthesis— SupportSupport FM-ObjectFM-Object

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology ? Schenker Analysis GTTM Composition EmbellishmentsEmbellishments hierarchies!

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology macroscoremacroscore nodenode macroscoremacroscore scorescore NoteNote Flatten Nodify — — STRG ŸNoteNoteonsetonsetloudnessloudnessdurationdurationpitchpitchvoicevoice Ÿ

The denoteX notation for forms and denotators

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology 1.Forms Name:.TYPE(Coordinator); Name = word (string)Name = word (string) TYPE = one of the following: - Simple - Limit - Colimit - PowersetTYPE = one of the following: - Simple - Limit - Colimit - Powerset Coordinator = one of the following: - TYPE = Simple: STRING, Boole, Ÿ, — - TYPE = Limit, Colimit: A sequence F 1,... F n of form names - TYPE = Powerset: One form name FCoordinator = one of the following: - TYPE = Simple: STRING, Boole, Ÿ, — - TYPE = Limit, Colimit: A sequence F 1,... F n of form names - TYPE = Powerset: One form name F

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology 2.Denotators Name = word (string)Name = word (string) FORM = name of a defined formFORM = name of a defined form Coordinates = x, which looks as follows: - FORM:.Simple(F), then x is an element of F (STRING, Boole, Ÿ, — )Coordinates = x, which looks as follows: - FORM:.Simple(F), then x is an element of F (STRING, Boole, Ÿ, — ) - FORM:.Powerset(F), then x = {x 1, x 2, x 3,... x k } x i = F-denotators, only names x i : - FORM:.Limit(F 1,... F n ), then x = (x 1, x 2, x 3,... x n ) x i = F i -denotators, i = 1,...n - FORM:.Colimit(F 1,... F n ), then x = denotator of one F i (i>x, only names x:)

Guerino Mazzola (Fall 2015 © ): Introduction to Music Technology Exercise: A FM form and a denotator for this function: f(t) = sin(2  5t+3)+cos(t -sin(6  t+sin(  t+89)))A FM form and a denotator for this function: f(t) = sin(2  5t+3)+cos(t -sin(6  t+sin(  t+89)))NodeNode FM-ObjectFM-Object —— AmplitudeAmplitudePhasePhaseFrequencyFrequency — SupportSupportFM-ObjectFM-Object