Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 599 p.
ISBN 978-90-6196-213-7
Mathematical centre tracts , 0136
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 322 p.
ISBN 978-90-6196-211-3
Mathematical centre tracts , 0135
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 70 p.
Notre Dame Mathematical Lectures , 0008
Localisation : Ouvrage RdC (SKOL)
axiome de Zermelo et Fraenkel # ensemble ordonné # exponentiation des alephs # logique à plusieurs valeurs # mathématique intuitioniste # mathématique opérative de Lorenz # ordinal et aleph # quantificateurs # relativisme de la théorie des ensembles # suite infinie simple # théorie de Cantor # théorie de Quine # théorie des ensembles abstraite # théorie des ensembles prédicative # théorie ramifiée des types
03-03 ; 03B15 ; 03B50 ; 03Exx ; 04-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 300 p.
ISBN 978-1-57586-030-5
Studies in logic, language and information
Localisation : Ouvrage RdC (DOHE)
logique # informatique # logique modale # logique mutli-valuée # logique du langage naturel # logique informatique # résolution de problème # intelligence artificielle # représentation des connaissances # sémantique
03-06 ; 03B45 ; 03B50 ; 03B65 ; 03B70 ; 68-06 ; 68T20 ; 68T30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxxii; 613 p.
ISBN 978-0-521-67026-5
Cambridge introductions to philosophy
Localisation : Ouvrage RdC (PRIE)
logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire
03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xviii; 256 p.
ISBN 978-94-007-0839-6
Trends in logic , 0035
Localisation : Ouvrage RdC (MUND)
algèbre MV # logique de Lukasiewicz # polyèdre # logique algébrique # cohérence de De Finetti
03-02 ; 03B50 ; 03G20 ; 06D35 ; 60B99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 190 p.
ISBN
Notas de logica matematica , 0038
Localisation : Salle de manutention
C*-algèbre de logique Post # algèbre d'abstraction lambda # analyse infinitésimale # fermeture minimale pour classe d'calgèbres partielles # fragment positif à variable libre consistant finitairement # groupe abélien ordonné en treillis libre # indécidabilité # jeu de Ehrenfeucht-Fraïssé # logique mathématique # opérateur modal en logique d'implication conséquentielle # partition et ensemble parfait # sous-algèbre d'algèbre de Lukasasiewicz à 3 valeurs finie # variété de MV-algèbre # équivalence élémentaire entre faisceaux
C*-algèbre de logique Post # algèbre d'abstraction lambda # analyse infinitésimale # fermeture minimale pour classe d'calgèbres partielles # fragment positif à variable libre consistant finitairement # groupe abélien ordonné en treillis libre # indécidabilité # jeu de Ehrenfeucht-Fraïssé # logique mathématique # opérateur modal en logique d'implication conséquentielle # partition et ensemble parfait # sous-algèbre d'algèbre de Lukasasiewicz à 3 ...
03-06 ; 03B25 ; 03B50 ; 03D35 ; 03G20
... Lire [+]
