Adding Measurement to van Tonder's Calculus
62
pages
English
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
62
pages
English
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
Adding Measurement to van Tonder's Calculus Computer Science Undegraduate Thesis Alejandro Díaz-Caro Universidad Nacional de Rosario - Argentina Advisor Dr. Manuel Gadella Universidad de Valladolid - Spain Co-Advisor Dr. Pablo Martínez Lopez Universidad Nacional de La Plata - Argentina
- refresher
- brief memory
- nonlinear terms
- universidad nacional de rosario - argentina
- universidad de valladolid - spain
- universidad
ladolidAdeddingPMeasurementdetoivanLopTArgentinaonder'saCalculusSCCo-AdvisoromputerMaScienceUniversidadUndegraduatePlataThesisUniversidadAlejandroVD?az-Calro-UniversidadpaNacionalndeDr.Rosaabloriort?nez-ezArgentinaNacionalAdvisorLaDr.-ManuelGadellafoOutlineA1rIntroelepductionrdAtermsboutririthmefQubitsmemoRulesryell-forefreshererationalMotivationrk2Example:ArtationddingConclusionsMre3astep:surfoementw1rmedstOpstep:SemanticProbabilisticremaTabransitionconuenceRulesT2ondalgostep:3ProvidingSyntax
::=
( : )
( )
!
(! : )
::=
j j j j j:::
cSyntaxnonlinearofcnotTThewing:q1tcalculusvanisterm-calculusxabstracv0ariableHrefresherXrytxtermmemosyntaxtxrieftabstractionnonlinearbtionfollotheconstantosconceptsrquantumarovidesusedpdistinguishonder'sthetttNonlineaAtermstermsrenot-denitetoconstandenitetfromaplicationtermsc
::=
( : )
( )
!
(! : )
::=
j j j j j:::
xSyntaxconceptsof-calculusTtermqnonlineartthevanptermthextvtionariableonder'srefreshertoryquantumxnonlinearmemofollotisriefsyntaxabstractionThebabstractcwing:0constan1sHrcnotaXusedrovidesdistinguishtttANonlineatermstermsnot-denitereconstantotdenitecalculusfromaplicationtermsc
::=
( : )
( )
!
(! : )
::=
j j j j j:::
xSyntaxconceptsof-calculusTtermqnonlineartthevanptermthextvtionariableonder'srefreshertoryquantumxnonlinearmemofollotisriefsyntaxabstractionThebabstractcwing:0constan1sHrcnotaXusedrovidesdistinguishtttANonlineatermstermsnot-denitereconstantotdenitecalculusfromaplicationtermscp (j( : ) i +j( : ) i)
( : )
p (j i +j i)
ectthethesamedeniteinusalltheb0ranches1ofI)therespsupexperpxosition.isExamplergum12ryLet2(Imemo1riefwithbsubAresionxresiontextuallyexpissubisdenite0aitentifabasiscallcomputational0aDenitionx1to0refreshernon-denite0p (j( : ) i +j( : ) i)
( : )
p (j i +j i)
ectthethesamedeniteinusalltheb0ranches1ofI)therespsupexperpxosition.isExamplergum12ryLet2(Imemo1riefwithbsubAresionxresiontextuallyexpissubisdenite0aitentifabasiscallcomputational0aDenitionx1to0refreshernon-denite0(! : )
( : )
numbRuleseofbutuseyNonlineadyreatermswwillrbinenotguaaranteedintoinbabstractioneadenitergumentwithofrespbectototthelineacomputationalmustbasisexactlyI)functionIfo(Isetxrmednessrefreshermatuserynonlinea:adenotesanyfunctionseroftimesnonlineaitsroa,rgumentsrmemoariefall,xabrtrgumentAappbrdyoncethistheagio:AlldenotesrulesfunctionsreofvlineanrrmallyaargumentsofAell-folinearulesr(! : )
( : )
numbRuleseofbutuseyNonlineadyreatermswwillrbinenotguaaranteedintoinbabstractioneadenitergumentwithofrespbectototthelineacomputationalmustbasisexactlyI)functionIfo(Isetxrmednessrefreshermatuserynonlinea:adenotesanyfunctionseroftimesnonlineaitsroa,rgumentsrmemoariefall,xabrtrgumentAappbrdyoncethistheagio:AlldenotesrulesfunctionsreofvlineanrrmallyaargumentsofAell-folinearulesr(! : )
( : )
numbRuleseofbutuseyNonlineadyreatermswwillrbinenotguaaranteedintoinbabstractioneadenitergumentwithofrespbectototthelineacomputationalmustbasisexactlyI)functionIfo(Isetxrmednessrefreshermatuserynonlinea:adenotesanyfunctionseroftimesnonlineaitsroa,rgumentsrmemoariefall,xabrtrgumentAappbrdyoncethistheagio:AlldenotesrulesfunctionsreofvlineanrrmallyaargumentsofAell-folinearulesr
