English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

Vengono descritte, in primo luogo (Cap. 1), la struttura e l'organizzazione d'una calcolatrice numerica del tipo di quelle già in servizio. Riesce così possibile definire esplicitamente un programma ciclico fondamentale che traduce meccanicamente per mezzo di tale macchina ciò che si intende per « programma » (vedi 0.32) prima ancora di dovere specificare quali siano le istruzioni codificate. Fatta poi quest'ultima scelta, viene dimostrata l'universalità della calcolatrice in questione e vengono aggiunte alcune nuove istruzioni che si riveleranno utili in seguito. Dalla notazione usuale per i programmi si passa ad un'altra notazione (Cap. 2) il cui simbolismo viene poi giustificato dalla possibilità di potere scrivere ogni programma in tale linguaggio formale ricorrendo unicamente a nozioni logiche o algebriche (Cap. 3). Inoltre viene dimostrato (Cap. 4) che questo formalismo può essere reso accessibile alla calcolatrice mediante una telescrivente, stabilendo una volta per tutte una corrispondenza biunivoca fra simboli e numeri intieri. Le formule che traducono algebricamente un programma di calcolo possono contenere parentesi (Cap. 5) oppure doi polinomi scritti in forma normale (Cap. 6). In ambo i casi la calcolatrice stessa, grazie ad un programma fisso, indipendente cioè dalla natura particolare delle formule (Cap. 7) è messa in grado di eseguire i calcoli necessari per produrre le istruzioni codificate finali procedendo dalle formule che interpretano il metodo numerico prescelto. Infine (Cap. 8) viene messa in evidenza la superfluità logica di certe operazioni e vengono applicati alcuni metodi di aritmetizzazione del calcolo delle proposizioni.

Calculatrices digitales. Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme