Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2000
…
46 pages
1 file
2015
Definizione 1.1.1 (Alfabeto di L 0). L'alfabeto di L 0 si compone dei seguenti insiemi di simboli SIMBOLI LOGICI : i connettivi ⊥, ¬, ∧, ∨ e →. SIMBOLI DESCRITTIVI : un insieme al massimo infinito numerabile di lettere enunciative: p 0 , p 1 , p 2 , p 3 ,. .. p n , p n+1 ,. .. SIMBOLI AUSILIARI : le parentesi (,) Definizione 1.1.2 (Parola di L 0). Dicesi PAROLA ogni successione finita di simboli dell'alfabeto di L 0. Definizione 1.1.3. di ENUNCIATO di L 0. 1. ⊥è un enunciato, 2. per ogni n ≥ 0, la lettera enunciativa p nè un enunciato, 3. se Aè un enunciato, allora ¬Aè un enunciato, 4. se A e B sono enunciati, allora (A∧B), (A∨B), (A → B) sono enunciati. 5. nient'altroè un enunciato di L 0. Si noti come nella definizione appena data di enunciato, le lettere 'A' e 'B' non sono enunciati di L 0 , bensí simboli del metalinguaggio che stanno per enunciati qualsivoglia, sono anche dette variabili metalinguistiche per enunciati. Esempio 1.1.4. Le seguenti espressioni sono enunciati del linguaggio L 0 : ((p 1 → p 1) ∧ p 456), ¬(p 5 ∨ (p 7 ∨ (p 3 ∨ ¬p 4))), ((¬p 0 ∧ p 0) → p 0).
FONDAMENTI DI PROGRAMMAZIONE IN LINGUAGGIO R, 2023
Il libro descrive le nozioni fondamentali del Linguaggio R ed è un guida per un lettore interessato all'analisi, alla rappresentazione grafica e alla reportistica di indagini statistiche e di altri domini scientifici. Inoltre nel testo si affrontano i concetti basilari del data warehousing e del machine learning.
I primi calcolatori elettronici programmabili comparvero all'inizio degli anni'40 (ENIAC, BABY, EDVAC) ma l'uso effettivo del calcolatore divenne accessibile (a pochi) solo agli inizi degli anni'60. Volendo pertanto assegnare una durata temporale alla storia della programmazione dei calcolatori, della produzione del Software, non possiamo che attribuirle (ad oggi) una quarantina di anni scarsa. Per contro, si pensi alla durata della storia dell'architettura, dell'edilizia, delle costruzioni nautiche.
Annuario OGID 2022/ Yearbook JODI 2022, 2022
The essay explores the legal angles of the interaction between natural languages and artificial languages in the developement of software programs
Italiano parlato. Analisi di un dialogo …, 2005
La descrizione della sintassi della clausola di un testo di parlato italiano, qui proposta, ha utilizzato un sistema di etichettatura che ha generato una base di dati quantitativi. Attraverso misure interne, dei rapporti interni ai costituenti sintattici, e misure esterne, dei rapporti tra costituenti sintattici, abbiamo rilevato la presenza di clausole molto brevi, costituite da pochi sintagmi. La scala di pesantezza degli NP, VP e PP ha rivelato, inoltre, una netta prevalenza di sintagmi leggeri e leggerissimi: conferma di una sintassi poco compatta e gerarchizzata anche all'interno dei costituenti della clausola.
3.2 pio, il LISP (LISt Processing language)[24]. A quel tempo, i problemi significativi non riguardavano tanto l'organizzazione del processo di produzione, di solito lasciato nelle mani di pochi esperti, quanto la comprensione e la memoria di ciò che veniva sviluppato all'interno della stessa comunità degli sviluppatori.
Al Capitolo 2 abbiamo già introdotto dal punto di vista storico il protocollo MIDI (Musical Instrument Digital Interface). Riassumiamo brevemente quanto detto. Nel 1981 la Sequential Circuits (Smith/Wood) propone una versione del MIDI, un protocollo di comunicazione tra strumenti musicali, le cui specifiche vengono pubblicate l'anno successivo, 1982, come Specification 1.0.
2006
In this paper we consider the ontology behind Object Oriented programming languages. We show that two conceptual primitives are missing: relations and roles. We simulate relations in a programming language by means of objects. To introduce roles we provide an ontological definition of roles and use it to extend the Java language.
2010
SEGNO SIMBOLO SINTASSI ELENA STRADA, LUCIO PERNA, ANTONIO PIZZOLANTE, a cura di Claudio Rizzi e Paola Artoni. Catalogo della mostra (Maccagno, Civico Museo Parisi-Valle; Mantova, Galleria Errepi Arte)
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Il senso delle soggettività, a c. di Dario Mangano e Bianca Terracciano, 2013
«La sintassi del mondo». La mappa e il testo, 2023
Studi e Saggi Linguistici, 2015
In "Filosofia & Linguaggio in Italia. Incontro dei Dottorati di Ricerca, Atti dell’VIII Congresso Nazionale della Società di Filosofia del Linguaggio (20-22 settembre 2001)", Dipartimento di Filosofia, Università degli Studi della Calabria, pp. 224-230, 2002
corpora.dslo.unibo.it