1000 resultados para logica matematica cardinalità insiemi cardinali ordinali ipotesi continuo Cantor
Resumo:
CAM Publicacao corrente
Resumo:
Small hardcover notebook containing a manuscript copy of William Brattle's abstract of René Descartes' "Compendium Logicae" copied in Latin by Harvard student Joseph Metcalf between April 29th and May 7th, 1701. The text includes an ornately decorated title page and drawings and notes on the flyleaves. The covers are unattached. The inside front cover is inscribed: "Joseph Burbeen Walker 1845."
Resumo:
«Duas coisas enchem o ânimo de uma admiração e veneração sempre nova e tanto mais crescente quanto mais frequente e mais demoradamente a reflexão se ocupa delas: o céu estrelado acima de mim e a lei moral em mim.” Com estas famosíssimas palavras escritas no papel e incisas em pedra, Immanuel Kant conclui a Crítica da razão prática. No presente artigo pretendo mostrar como esta frase está estreitamente ligada: 1) à doutrina kantiana do sublime e 2) à fundação da lógica do irracional na Critica do Juízo.
Resumo:
Nell'ambito dell'Intelligenza Artificiale uno dei problemi aperti e piu difficile da risolvere e la comprensione del linguaggio naturale. La complessita sintattica e la conoscenza che bisogna avere per comprendere riferimenti, relazioni e concetti impliciti rendono questo problema molto interessante e la sua risoluzione di grande importanza per lo sviluppo di applicazioni che possano interagire in modo diretto con le persone. Questo lavoro di tesi non pretende di studiare e trovare una soluzione completa al suddetto problema, ma si prefigge come obiettivo quello di comprendere e risolvere problemi matematici di tipo logico ed aritmetico scritti in lingua inglese. La difficolta del lavoro si riduce in quanto non si devono considerare gli infiniti ambiti conoscitivi e puo concentrarsi su un'unica interpretazione del testo: quella matematica. Nonostante questa semplificazione il problema da affrontare rimane di grande difficolta poiche e comunque necessario confrontarsi con la complessita del linguaggio naturale. Esempi di problemi matematici che si intende risolvere si possono trovare presso il sito web dell'Universita della Bocconi nella sezione dei Giochi Matematici. Questi problemi richiedono la conoscenza di concetti di logica, insiemistica e di algebra lineare per essere risolti. Il modello matematico che descrive questi problemi non e complesso ed una volta dedotto correttamente e di facile risoluzione tramite un risolutore automatico. La difficolta consiste nel comprendere correttamente il testo ed estrapolarne il giusto modello. Il lavoro che si andra ad esporre nel seguito parte dall'analisi del testo ed arriva fino alla risoluzione del quesito matematico. Si parte quindi da un'analisi del testo con scopo generale seguita da un'analisi semantica volta alla costruzione del modello matematico che andra poi risolto da un risolutore automatico che ne restituira il risultato finale.
Resumo:
In questo lavoro di tesi viene affrontato il tema del Miglioramento Continuo all'interno di un caso di studio reale. Viene posta come obiettivo la verifica delle potenzialità dei principi del Miglioramento Continuo nel settore di confezionamento e trasformazione di prodotti liquidi alimentari. Il progetto riguarda il reparto di consulenza della multinazionale svedese Tetra Pak, che offre l'implementazione del sistema ad un'azienda cliente sita nel Regno Unito. L'implementazione del progetto si sviluppa da un primo accurato studio della situazione aziendale, a seguito del quale sono state riscontrate necessità di cambiamento in aree specifiche. Successivamente a questa prima fase di studio segue una seconda fase di pianificazione e sviluppo della strategia di miglioramento che ha visto coinvolti il personale Tetra Pak e il personale dell'azienda locale. Il processo di miglioramento viene applicato inizialmente su una cella pilota, selezionata all'interno delle linee produttive dell'azienda cliente, per poi essere espanso a tutto il reparto produttivo qualora il risultato misurato confermi le aspettative.
Resumo:
Mode of access: Internet.
Resumo:
For canto, alto, tenore, quinto, basso, and basso continuo (unfigured).
Resumo:
Mode of access: Internet.
Resumo:
Figured bass realized for keyboard instrument.
Resumo:
Facsim. of the orginal ms. in the Preussische Staatsbibliothek, Berlin.
Resumo:
contiene tom. I y tom. II.
Resumo:
Mode of access: Internet.