Supponiamo di avere un insieme di funzioni che caratterizzano qualcosa: nei metodi del mondo OO che caratterizzano un tipo. In matematica queste sono proposizioni e abbiamo due tipi: assiomi e lemmi. Gli assiomi sono assunzioni, i lemmi sono fac...                            
                                                        
                                posta
                                 07.01.2012 - 01:24