1,721,061 research outputs found
Uso e sviluppo di concetti categoriali nell'informatica teorica
No full textConsiderazioni sull'uso dello strumento categoriale in informatica teorica
Gli oggetti matematici come "soluzioni"
No full textSi analizza la tecnica di definire gli oggetti matematici come soluzione universale di problemi
Costruzione del monoide dei quozienti in un topos elementare
No full textSi dà una costruzione universale categoriale dei numeri razionali a partire dai naturali e si generalizza al caso di un monoide
Fixed Points in Computer Science
No full textFixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the fixed point operation in the different fields and formalisms.Previous workshops where held in 1998 in Brno and in 2000 in Paris
Categories with sums and right distributive tensor product
No full textModels for parallel and concurrent processes lead quite naturally to the study of monoidal categories (Inform. Comput. 88 (2) (1990) 105). In particular a category Tree of trees, equipped with a non-symmetric tensor product, interpreted as a concatenation, seems to be very useful to represent (local) behavior of non-deterministic agents able to communicate (Enriched Categories for Local and Interaction Calculi, Lecture Notes in Computer Science, Vol. 283, Springer, Berlin, 1987, pp. 57-70). The category Tree is also provided with a coproduct (corresponding to choice between behaviors) and the tensor product is only partially distributive w.r.t. it, in order to preserve non-determinism. Such a category can be properly defined as the category of the (finite) symmetric categories on a free monoid, when this free monoid is considered as a 2-category. The monoidal structure is inherited from the concatenation in the monoid. In this paper we prove that for every alphabet A, Tree(A), the category of finite A-labeled trees is equivalent to the free category which is generated by A and enjoys the afore-mentioned properties. The related category Beh(A), corresponding to global behaviors is also proven to be equivalent to the free category which is generated by A and enjoys a smaller set of properties. (C) 2002 Elsevier Science B.V. All rights reserved
Giustificazione ingenua dell'assiomatica di F.W.Lawvere
No full textViene commentata l'assiomatizzazione della categoria delle categorie dovuta a F.W. Lawver
On a categorical and logical model of data structures
No full textSi propopone un modello logico-categoriale per le strutture di dat
Introduzione elementare al concetto di categoria in una prospettiva non-oggettuale
No full textSi illustra il modo tipico delle categorie di costruire gli oggetti matematici attraverso la nozione di morfismo
Algorithmic and geometric thought: the example of Campanus
No full textViene ripresa la (pseudo) assiomatizzazione dei naturali dovuta a Campano da Novara per mettere in risalto l'evoluzione del pensiero algoritmico
E questo tutti chiamano Informatica
No full textQuesto volume è il punto di arrivo di una serie di incontri del
Gruppo di Lavoro “Informatica e Scuola” del GRIN presso diverse università italiane, riguardanti i TFA di tipo informatico
(classe A042 e A033). L’ultimo di questi incontri si è tenuto il 21-22 febbraio 2014 presso il dipartimento di Informatica della
Sapienza, ma da allora tale esperienza si è ulteriormente arricchita anche attraverso i relativi PAS. Esso contiene riflessioni generali
sul ruolo che potrebbe svolgere l’informatica nella società di oggi e nella preparazione dei giovani per la società di domani, riferendo
l’esperienza della preparazione degli insegnanti nelle diverse sedi italiane alla luce delle normative vigenti sia per i TFA che per il
PAS, anche con riferimenti a quanto si fa all’estero. Si approfondiscono poi alcuni temi specifici della didattica dell’informatica con
le loro possibilità e difficoltà.This volume is the culmination of a series of meetings of the Working Group " Informatics and School " of GRIN association.
from several Italian universities , about the TFA in computer science (classes A042 and A033). The last such meeting was held on
21-22 February 2014 at the Sapienza Department of Computer Science, but since then this experience was further enhanced
also through the relative PAS. The book contains general reflections on the role that computer science could play in today's society
and in the preparation of young people for tomorrow's society, reporting the experience of the preparation of teachers in the different
Italian places according to the current regulations of TFA/PAS , also with reference to what is done abroad. Some specific themes are considered with their possibilities and difficulties
- …
