Pagina 2 di 4

[Fisica Informatica]

MessaggioInviato: 19/11/2010, 09:42
da hamming_burst
Da leggere questo articolo sui fondamenti della Fisica dei Calcolatori, sono riassunti casi specifici sul modo in cui un calcolatore "fa" i calcoli.

Titolo: The Fundamental Physical Limits of Computation
Autore: Bennett, Charles H.; Landauer, Rolf
Rivista: Scientific American, v253 n1 p48-56 Jul 1985

PDF: http://zimp.zju.edu.cn/~xinwan/courses/ ... ennett.pdf


Esiste anche la traduzione italiana, ma disponibile solo sulla controparte italiana della rivista Science:

Cfr. Ch.H. Bennett, R. Landauer, "I limiti fisici fondamentali del calcolo" da ‘Le scienze’, 205, 1985.


Io lo ho trovato affascinante, consiglio la lettura anche ai non addetti ai lavori :)

[Architettura Calcolatori]

MessaggioInviato: 24/11/2010, 18:36
da hamming_burst
Segnalo questo sito:

http://calcolatori.iet.unipi.it/

Autore: Frosini
Università: Università di Pisa

nella sezione: "Contributi degli studenti"

sono presenti molti approfondimenti e domande/risposte sull'architettura di un calcolatore e di un sistema operativo. Molto basso livello come segmentazione, paginazione, DMA, ecc
E' presente il codice sorgente del nucleo di un sistema operativo funzionante (unix-like) commentato in italiano, dove è possibile visionare un vero sistema operativo.

L'ambiente del sito è più orientato ad un corso di Sistemi Operativi 2, dove si visiona il più basso livello di OS che interagisce con l'architettura, il sistema di IO. L'architettura menzionata è il classico Intel 386(IA32).

Le domande/risposte anche se collegate con il libro "Calcolatori Elettronici. Volume IV" (G. Frosini, B. Lazzerini), spiegano tantissime cose su un'architettura (tempo fa solo li ho trovato risposta ad una dubbio)

Giudizio: Ottimo

[Programmazione Lineare]

MessaggioInviato: 25/11/2010, 22:25
da hamming_burst
Tema: Algoritmo del Simplesso
Autore: Gionata Massi

Riporto il link di un'applicazione web, che implementa l'algoritmo del Simplesso, noto algoritmo che risolve problemi di Programmazione Lineare.
Non si ha avrà una soluzione sempre, ma è in molti casi si ha la soluzione ottima per determinati problemi di Pogrammazione Lineare Reale, con limitazione di 11 coordinate.

Secondo me avere un'implementazione a portata di mano è una cosa davvero comoda.

Questo sito cerca di implementare anche la risoluzione di problemi con programmazione lineare intera (PLI), con l'algoritmo approssimato, però con seri problemi (v. NOTE).
Possibile visionare il codice sorgente e visione di ogni passaggio interno all'algoritmo nei vari passaggi di calcolo.


Algoritmo del Simplesso Implementazione


Giudizio: molto comodo nella parte di programmazione lineare


NOTE: grazie all'utente Benny, che ha provato e descritto il problema che si riscontra con la PLI, di seguito la descrizione:

Benny ha scritto:Ti dico, funziona egregiamente nella parte PLC (ed è ottimo per come mostra i passaggi) tuttavia quando si passa alla programmazione intera opera in maniera strana: sceglie correttamente dei pivot col metodo del simplesso duale ma non inserisce i nuovi vincoli di interezza, ovvero il tableau accresce in variabili di slack ma non in vincoli. Posso assicurarti che ho sottoposto problemi basilari, con 2 variabili e 1 vincolo reale. Peccato, perchè per il resto è davvero ben fatto.

[Semantica dei Linguaggi di Programmazione]

MessaggioInviato: 16/01/2011, 15:25
da hamming_burst
Corso: Fondamenti di Linguaggi di Programmazione
Argomento: Semantica Denotazione/Operazionale di un Linguaggio IMP, Ordinamento Parziale Completo (CPO) (Teoria dei Domini) e Minimi Punti Fissi, Semantica Operazionale Lazy/Eager e Linguaggi Paralleli.
Autore: Murano Aniello, | Luca Paolini, Giulio Manzonetto, Ugo Solitro (Lambda calcolo)| Massimo Merro (Linguaggi concorrenti)
Università: Università degli Studi di Napoli Federico II.

http://people.na.infn.it/~murano/Fondamenti-old.html

Giudizio: molto utile. Uniche slide che ho trovato, in cui si dice esplicitamente come collegare la Teoria dei Domini (CPO) e la Semantica Denotazione.

NOTE: le slide sono un collage di note del docente di quel corso e riferimenti al libro "The Formal Semantics of Programming Languages: An Introduction" di Glynn Winskel (sul sito dell'autore c'è anche molto materiale in più), senza il libro non si possono comprendere a pieno gli argomenti, ma senza le note di questo docente (almeno con me) non si fa nulla con i capitoli 5 e 8 (fondamentale Slide della "Sesta Lezione").

PS: non utilizzate le nuove slide di quel corso, che non fanno vedere i simboli matematici corretti.

Lambda Calcolo - non tipato

http://www.di.unito.it/~paolini/papers/laurea2.ps
http://www-lipn.univ-paris13.fr/~gmanzo ... esis.ps.gz
...

NOTE: varie note e dispense sul Lambda Calcolo ed Informatica Teorica. Io le ho utilizzate solo per il λ-calcolo non tipato, e queste note sono le uniche che ho trovato in cui si parla di β−η-normalform o β−η-riduzione. Le ritengo valide essendo che riussumono molti argomenti e trattanto in modo approfondito molti teoremi fondamentali.


Libro Semantica

Hanne Riis Nielson, Flemming Nielson.
Semantics with Applications: A Formal Introduction
Wiley Professional Computing, 1992.



Linguaggi Concorrenti

Pi-calcolo

Note: slide semplici e chiare sulla sintassi e la semantica del π-calcolo.

[Algoritmi e Struttue Dati]

MessaggioInviato: 17/01/2011, 23:32
da hamming_burst
Argomento: Algoritmi e Strutture Dati
Autore: Paolo Baldan e Livio Colussi (Esercizi) e Philip Bille (Soluzioni Cormen), Pinotti, Vincenzo Cutello , Roberto Posenato (Algoritmi Avanzati)
Temi: Esercizi di un corso di algoritmi e strutture dati 1, con soluzioni complete. Analisi degli Algoritmi, Programmazione Dinamica, Greedy, Reti di Flusso. Bozze di Soluzione degli esercizi del libro "Introduzione agli Algoritmi e Strutture Dati - 1st & 2nd edition" di Cormen, Rivest et. all.

Esercizi Algoritmi 1

NOTE: esercizi svolti, scritti da Livio Colussi responsabile della traduzione del famoso "Introduzione agli Algoritmi e Strutture dati", con tutte le soluzioni con spiegazione completa.

Ipotesi di Soluzione Cormen

NOTE: Il primo link sono delle possibili soluzioni degli esercizi del libro "Introduction to algorithms - 2nd edition", sono solo degli aiuti per capire se la propria soluzione all'esercizio possa essere corretta oppure per trovare una strada per risolverlo, non ci sono soluzioni complete (tranne alcuni casi) e non ci sono tutti gli esercizi.

Analisi degli Algoritmi

Analisi degli algoritmi
Soluzioni

NOTE: penso che siano utile per comprendere come si analizza un algoritmo così da calcolarne la complessità numerica, gli algoritmi sono di tipo iterativo. In alcuni spiega ogni passaggio, altri solo il risultato.

Equazioni di ricorrenza

NOTE: metodi di calcolo delle equazioni di ricorrenza, slide che riassumono le tecniche principali (ne mancano alcune minori), fatto molto bene.


Animazione algoritmi


Dizionari di Algoritmi e Implementazione

https://xlinux.nist.gov/dads/
http://www.algosort.com/
http://www.cs.sunysb.edu/~algorith/

Algoritmi di Ottimizzazione della classe NP


Algoritmi Avanzati

http://profs.sci.univr.it/~posenato/hom ... lgavanzati

NOTE: slide davvero ben fatte, su molti argomenti di corsi avanzati di algoritmi (riassuntive ma ottime), tratta algoritmi di ricerca locale e algoritmi approssimati. Molte illuminanti le slide su Programmazione Dinamica che cerca di generalizzare questa tecnica.

MessaggioInviato: 18/01/2011, 08:55
da Alxxx28
Consiglio questo sito:

appunti di informatica libera

edit: ho aggiornato il link

[Basi di Dati - Teoria]

MessaggioInviato: 19/01/2011, 00:35
da hamming_burst
Argomento: Basi di Dati
Autore: Giovanna Guerrini, Eugenio di Sciascio, Mario Cannataro, Dimitris Plexousakis e Fabrizio Riguzzi
Tema: Normalizzazione (Normal Form), Dipendenze Funzionali Minimali e Copertura Canonica, Concorrenza, Anomalie, Ripristino dei Dati e Locking

Teoria della Normalizzazione:

Canonical Cover, Normal Form, Dipendenze Funzionali e Chiusura
Ridondanze e Anomalie, Scomposizione schemi relazionali, Normal Form, Lossless Join, Insiemi Dipendenze Minimali e Chiusura

NOTE: i primi due link sono fatti molto bene, tra tutti quelli che ho letto per comprendere questi argomenti sono stati i più completi, coprono la Normalizzazione in modo completo, da studiare insieme perchè alcune parti del primo file sono trattate in modo non troppo approfondito

Scomposizone Alternativa in Normal Form

NOTE: il link sopra è un algoritmo di scomposizone alternativo, non ricordo per quale scomposizione si utilizza, mi sembra BCNF, ma sono sicuro che è diverso l'approccio utilizzato. Da vedere.

Concorrenza:

ACID, Anomalie e Ripristino, Serializability, Equivalence, 2PLock e TimeStamp, ed altri Locking
Locking Esercizi Svolti1 (da slide 9)
Locking Esercizi Svolti2
Concorrenza Esercizi+Teoria

Concorrenza Esercizi Svolti

NOTE: il primo link copre l'intero argomento delle concorrenza, con anomalie e ripristino dei dati, l'unico che parla di alcune parti di teoria di un DB, che ho trovato solo su un libro specializzato. Il secondo ed il terzo visualizzano passo per passo vari tipi di Locking (upgrade lock, incremental lock, ecc), fatti molto bene. Gli ultimi due sono degli esercizi pratici, con qualche nota in più su alcune parti non coperte completamente dalle altre slide, con relative soluzioni.

Esercizi Vari

MessaggioInviato: 26/01/2011, 15:18
da Raptorista
Segnalo un sito su cui si trovano molte dispense ed esercizi svolti su tantissimi argomenti, non solo di Informatica!
Buona lettura :)

http://www.extrabyte.info/

MessaggioInviato: 20/02/2011, 12:38
da Raptorista
http://vvw.web.cs.unibo.it/Elenco-appunti

Ottima fonte, appunti su molte branche dell'informatica!

Linguaggi Formali

MessaggioInviato: 02/03/2011, 20:21
da hamming_burst
Dispense di Linguaggi Formali
http://www.dimi.uniud.it/~dovier/DID/dispensa.pdf

Eserciziario
http://www.cs.unipr.it/Informatica/Cors ... ni2004.pdf

Dispense e tool consigliati dall'utente Rggb:

http://www.cs.unicam.it/tesei/didattica ... 4Total.pdf
http://www.cs.nuim.ie/~jpower/Courses/P ... index.html

Tool
JFLAP un ottimo simulatore ed interprete per costruire automi (DFA, NFA, ε-NFA, ecc..), convertire da-a grammatiche, RE, ecc.
Molto comodo per testare ciò che si è fatto.

Libro Linguaggi Formali e Compilatori
Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman
Compilers: Principles, Techniques, and Tools - Second edition - The Dragon Book
Pearson Education - 2006

Sito di un corso tenuto da Ullman: http://infolab.stanford.edu/~ullman/dragon.html