- CHI SIAMO
- INIZIATIVE
- OPEN TECH
- BIBLIOTECA
- LA RADIO
- LIBERI SOCIAL
- NOTIZIARIO
Biblioteca
Tags | |||
---|---|---|---|
![]() |
Importanza dei simboli in matematica |
Nel testo, Peano esplora come i simboli possano rendere più comprensibili e universali le teorie matematiche, rendendo possibile la dimostrazione rigorosa e lo sviluppo di nuovi concetti. Attraverso esempi e riflessioni, Peano dimostra che la matematica simbolica è uno strumento fondamentale non solo per esprimere le idee matematiche, ma anche per svilupparle in modo più efficace. Il libro anticipa molte delle idee che saranno poi fondamentali nello sviluppo della logica moderna e della matematica formale del XX secolo. |
saggio, matematica, storia |
![]() |
Uno sguardo al nuovo indirizzo logico-matematico delle scienze deduttive |
Mario Pieri, matematico e logico italiano attivo tra la fine del XIX e l'inizio del XX secolo, è stato una figura importante nello sviluppo della logica e della matematica formale. Pieri mette in evidenza il passaggio da una matematica tradizionalmente basata su intuizioni geometriche a un metodo più rigoroso e formalizzato, ispirato dai progressi della logica simbolica e dell'aritmetica. Egli sottolinea l'importanza di un sistema assiomatico coerente, che non dipenda da interpretazioni intuitive ma che possa essere dimostrato rigorosamente attraverso un insieme limitato di assiomi e regole logiche. Il contributo di Pieri si inserisce in un contesto di trasformazione delle scienze deduttive, influenzato anche dai lavori di matematici come Peano e Hilbert. Il suo sguardo al nuovo indirizzo logico-matematico anticipa molte delle questioni chiave che verranno esplorate nel XX secolo, specialmente nella fondazione della matematica e nella logica formale. |
matematica, logica |
![]() |
Calligra - Un’introduzione generale |
Calligra include applicazioni per la gestione di documenti, fogli di calcolo, presentazioni, diagrammi di flusso e persino strumenti di illustrazione e grafica vettoriale. Tra i principali componenti della suite, troviamo:
Calligra si distingue per la sua interfaccia intuitiva e l'integrazione completa tra le diverse applicazioni, il che consente un flusso di lavoro efficiente e senza interruzioni. Ideale sia per uso personale che professionale, Calligra supporta numerosi formati di file, compresi quelli compatibili con altre suite come Microsoft Office. |
suite ufficio, disegno vettoriale, editor, diagrammi, foglio di calcolo, kde |
![]() |
La libertà di stampa |
Mario Borsa, giornalista e intellettuale italiano, è noto per il suo impegno a favore della libertà di espressione e della democrazia. Nel suo saggio La libertà di stampa, pubblicato nel 1925, Borsa esplora il ruolo fondamentale della stampa in una società libera, sottolineando l'importanza di un'informazione indipendente e imparziale per il funzionamento della democrazia. Borsa riflette sulle sfide che la libertà di stampa affronta, in particolare in periodi di crisi politica e sociale, e denuncia i rischi della censura e della manipolazione dell'informazione da parte di governi autoritari. Il suo testo analizza come la stampa possa fungere da strumento di controllo del potere e di difesa dei diritti dei cittadini, evidenziando al contempo la responsabilità dei giornalisti nel preservare l'integrità e l'onestà del mestiere. |
censura, diritti civili, scienze politiche |
![]() |
La prefazione al Manuale tipografico |
Nella prefazione al "Manuale tipografico", Bodoni espone la sua filosofia e il suo approccio all'arte tipografica. Egli identifica quattro qualità fondamentali che, a suo avviso, devono caratterizzare la tipografia perfetta:
Bodoni sottolinea l'importanza di una perfetta armonia tra l'estetica del carattere e la funzionalità del testo, cercando di ottenere un equilibrio tra bellezza formale e leggibilità. Nella sua prefazione, Bodoni riconosce l'influenza della tradizione tipografica dei maestri del passato, ma afferma la sua ambizione di innovare e migliorare continuamente il suo lavoro, perfezionando i suoi caratteri e le sue tecniche di stampa. Inoltre, Bodoni enfatizza la sua ricerca di perfezione tecnica, il che si riflette nella cura con cui incideva i suoi caratteri e realizzava i suoi stampati, che sono ancora oggi considerati dei capolavori per la precisione e la pulizia grafica. La prefazione è una testimonianza del suo spirito di dedizione totale all'arte della tipografia, dove l'artigianato si fonde con una visione estetica rigorosa e ambiziosa. Il "Manuale tipografico" non è solo un'opera di riferimento per i tipografi, ma un manifesto della filosofia di Bodoni sull'importanza della qualità nella stampa e della bellezza del design tipografico. |
design, arti grafiche, tipografia |
![]() |
ENDNOTE - Una guida all’utilizzo |
Permette di raccogliere, gestire e inserire riferimenti direttamente nei documenti, supportando centinaia di stili di citazione e facilitando il processo di ricerca e scrittura accademica. Con EndNote è possibile:
|
Bibliografia, software libero, Software |
![]() |
Uno GNU in biblioteca, dove va? |
C’ è uno GNU in biblioteca… Certo! E ce n’è più d’uno, anche se di questo ungulato in versione digitale sappiamo ancora troppo poco. Solo un safari nel software libero, magari in tandem con l’open source, ci permette di scoprirlo più snello e agile di quanto appaia. Responsivo a un sorgente che fa della libertà e della cooperazione un vantaggio per tutti, questo GNU va in groppa ad un’altra bestia rara, dal nome ancor meno indigeno, il kernel, cuore di un sistema operativo con le funzioni di base. |
GNU, software libero |
![]() |
Un ILS open source per l'automazione delle biblioteche. L'ipotesi Koha a Ca' Foscari |
Per fare riferimento all'applicazione dell'informatica al mondo delle biblioteche si parla comunemente di automazione bibliotecaria, indicando quali procedure o servizi si intende automatizzare e in che modo, ponendo l'accento di volta in volta sul tipo di tecnologie utilizzate oppure su come applicarle. Molto spesso, tuttavia, non si risponde a una domanda fondamentale: perché automatizzare? |
Bibliografia, Software, software libero, Koha, informatica libera |
![]() |
Python Guide Documentation |
The Python Guide Documentation Release 0.0.1 serves as an introductory version aimed at helping users, both beginners and intermediate, to understand Python's core concepts and features. This release focuses on providing clear, concise, and practical explanations with real-world examples that facilitate rapid learning and effective application of Python programming.
This documentation is suitable for:
Future releases will expand on more advanced topics such as object-oriented programming, Python web frameworks, and in-depth library guides, enabling users to further enhance their Python programming skills. |
informatica libera, software libero, Python, linguaggi di programmazione |
![]() |
Software libero e “open source" |
Negli ultimi anni, il dibattito entro la comunità degli informatici sul software “libero” e sul software “open source” si è fatto particolarmente vivace. Moltissimi studiosi e operatori del settore hanno portato contributi interessanti nonostante la frequente contrapposizione delle opinioni espresse. Infatti, non soltanto i sostenitori del software libero si sono spesso scontrati con i difensori del software proprietario, ma anche fra le varie fazioni del software libero il dibattito è stato acceso e a volte violento. Nel seguito di questo articolo si evidenzia il fatto che software “libero” e software “open source” non sono sinonimi, anche se i due concetti sono strettamente legati fra loro. Proprio lo scontro fra i rivoluzionari del software libero e i riformisti dell’“open source”, il prodotto di un amore contrastato fra solidarietà e mercato, costituisce uno dei capitoli più interessanti di questo dibattito. |
software libero, open source, informatica libera |