Now showing items 6-10 of 10

    La llengua d’Arquimedes en De Sphaera et Cylindro 

    Masià, Ramon (Date of defense: 2012-04-16)

    La tesi estudia la llengua grega d'una de les obres d'Arquimedes, De Sphaera et Cylindro, des d’un punt de vista estilístic. També inclou un estudi comparatiu del mateix tipus d’altres obres matemàtiques del context cultural ...

    Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view 

    Cerami, Marco (Date of defense: 2012-10-16)

    Description Logic is a formalism that is widely used in the framework of Knowledge Representation and Reasoning in Artificial Intelligence. They are based on Classical Logic in order to guarantee the correctness of the ...

    Equacions diferencials estocàstiques dirigides per un moviment Brownià fraccionari 

    Besalú i Mayol, Mireia (Date of defense: 2011-03-02)

    En aquesta memòria presentem tres treballs dedicats a l'estudi d'equacions diferencials estocàstiques dirigides per un moviment Bromnià fraccionari.<br/><br/>La primera equació diferencial estocàstica que estudiarem és una ...

    Estudi i algebraització de certes lògiques: Àlgebres d-completes. 

    Torrens Torrell, Antoni (Date of defense: 1980-01-01)

    En aquesta tesi doctoral s'obtenen i estudien les àlgebres d-completes com les àlgebres implicatives associades a uns determinats càlculs proposicionals implicatius, que satisfan un teorema de la deducció feble i contenen ...

    Contribució a l'estudi de les estructures algebraïques dels sistemes lògics deductius 

    Pla i Carrera, Josep (Date of defense: 1975-01-01)

    Aquesta tesi presenta una contribució a l'estudi de les estructures algebraïques dels sistemes lògics deductius