m

F Nous contacter

0

Documents  03B50 | enregistrements trouvés : 9

O
     

-A +A

P Q

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.

- 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.

- 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.

- 408 p.
ISBN 978-2-225-36630-7

Localisation : Ouvrage RdC (KAUF)

ensemble flou # graphe flou # relation floue # logique floue

03E72 ; 03-01 ; 03B50 ; 94C10 ; 94D05

... 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.

- 336 p.

Localisation : Ouvrage RdC (TALL)

logique multivaluée

03B50

... Lire [+]

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.

- 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 [+]

Z