Synthesis et provocationes: expressiones et operatores

Svmmarivm

Haec lectio tertiam cvrsvs partem clavdit, expressionibvs earvmqve operatoribvs dicatam. Catenam notionvm restitvit qvae ab operatore arithmetico ad fvnctionem bibliothecae pertinet, per arborem expressionis et genvs cvivsqve nodi, condiciones earvmqve algebram, aestimationem brevi circvitv, effectvm secvndarivm et ordinem aestimationis, et bit; separat qvid inde in qvalibet lingva valeat ab eo qvod C++ proprivm est; modvm agendi indefinitvm partis colligit, cvm eo qvod compilator detegit, qvod detector detegit et qvod nemo detegit; in probatione finali facvltates probationis initialis repetit; et sex provocationibvs finitvr qvae totam partem conivngvnt.

Proposita discendi

Valorem, genvs et effectvm cvivslibet expressionis cvrsvs praevidere, ex arbore eivs et ex conversionibvs in qvoqve nodo.
Condiciones compositas scribere et negare, et aestimatione brevi circvitv vti ad operationem mvniendam qvae alioqvin significatione careret.
Expressiones qvae significatione carent agnoscere (catalogvm modi agendi indefiniti partis), dicere qvod instrvmentvm qvamqve detegat, easqve sine eo rescribere.
Inter arithmeticam, operatores bitorvm et bibliothecam mathematicam pro calcvlo dato eligere, et electionem ivstificare.
In eis qvae in parte didicimvs separare qvid in qvalibet lingva valeat ab eo qvod C++ proprivm est.

Qvae vnitas consecvta est

Pars sibi proposverat docere expressiones constrvere qvarvm valor certo praevideri possit: qvae operatio prima fiat, cvivs generis sit eventvs, qvos effectvs secvndarios habeat et qvae expressiones significatione careant. Propositvm impletvm est nixvm solis eis qvae introdvctio pro cognitis habenda declaravit: generibvs partis 2, spatiis valorvm eorvm et conversionibvs. Programma sex qvaestionvm, qvibvs introdvctio problema proposvit, nvnc legi potest vt compilator id legit, et expressione post expressionem corrigi.

Arithmetica

Lectio Arithmetica modvm agendi accvratvm qvinqve operatorvm arithmeticorvm statvit. Divisio integra versvs nihilvm trvncat et identitati (a / b) * b + a % b == a satisfacit qvotiens qvotiens significationem habet, ita vt residvvm, cvm nihil non est, signvm dividendi habeat; inde -7 / 2 valet $-3$ et -7 % 2 valet $-1$ , et imparitas per n % 2 != 0 qvaeritvr. Id cvm residvo Evclideo contvlit, ((a % b) + b) % b pro $b > 0$ , et vtrvmqve ad qvantitates decomponendas adhibvit. Docvit arborem expressionis delineare secvndvm praecedentiam et associativitatem, et genvs in qvoqve nodo per conversiones arithmeticas solitas decernere. Clavsit cvm qvotientibvs sine significatione (divisione integra per nihilvm et minimo nvmero integro per $-1$ diviso) et cvm exvndatione eventvs intermedii, qvae ad modvm agendi indefinitvm svfficit etiamsi eventvs finalis capiatvr.

Relationes et logica

Lectio Relationes et logica docvit condicionem esse expressionem generis bool, cvm loco svo in arbore: relationes minvs arte ligant qvam arithmetica, && artivs qvam ||, et ! artivs qvam omnes. Docvit envntiata in condiciones vertere et eas agnoscere qvae cvm alia significatione compilantvr, vt 1 < x < 5 et day == 6 || 7. Ostendit && et || secvndvm operandvm tantvm aestimare si primvs non decernit, et hanc aestimationem brevi circvitv sinere operationem mvnire cvstode ad eivs sinistram posito. Finem fecit cvm legibvs De Morgani, qvae condicionem compositam negant, et cvm earvm fine: cvm valore non nvmerico, !(a < b) non aeqvivalet a >= b.

Assignatio, effectvs secvndarii et modvs agendi indefinitvs

Lectio Assignatio, effectvs secvndarii et modvs agendi indefinitvs valorem expressionis ab eivs effectv distinxit: assignatio est expressio qvae id qvod assignatvr valet et variabilem mvtat, et x++ valorem priorem valet, ++x vero novvm. Ostendit arborem expressionis non figere ordinem qvo rami eivs compvtentvr, ita vt dvo effectvs in eandem variabilem, vel effectvs et lectvra, sine ordine inter se, expressionem significatione privent, et accvrate dixit qvid C++17 ordinaverit et qvid non specificatvm reliqverit. Catalogvm qvattvor gradvvm collegit (definitvm, ab implementatione definitvm, non specificatvm et indefinitvm), explicavit compilatorem ratiocinari svpponendo programma nvllvm modvm agendi indefinitvm habere, et pro qvoqve casv catalogi dixit qvod instrvmentvm evm detegat.

Bit et bibliotheca mathematica

Lectio Bit et bibliotheca mathematica docvit nvmervm integrvm etiam seriem bitorvm esse: &, | et ^ connectivvm cviqve colvmnae adhibent, ~ omnia bit invertit, et translationes per potentias nvmeri 2 mvltiplicant et dividvnt, dvmmodo qvantitas translationis neqve negativa sit neqve latitvdinem generis attingat. Cvm eis larvas constrvxit qvae bit inspicivnt, accendvnt, exstingvvnt et alternant. Monvit hos operatores minvs arte ligare qvam relationes, ita vt x & 1 == 0 non qvaerat qvod videtvr, et ^ non esse potentiam. Clavsit cvm bibliotheca: <cmath>, <numbers>, <numeric> et <bit> calcvlos rectos et exploratos praebent, cvm svis praecondicionibvs, vt ea valoris absolvti, qvi pro minimo nvmero integro non exsistit.