m

F Nous contacter

0

Documents  03B45 | enregistrements trouvés : 34

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 164 p.
ISBN 978-90-6196-177-2

Mathematical centre tracts , 0109

Localisation : Collection 1er étage

analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

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

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


ISBN 978-3-540-05744-4

Lecture notes in mathematics , 0255

Localisation : Collection 1er étage

Choquet # Pi indice 1 puissance 1 catégoricité # Pi indice 1 puissance 1- modèle # Puritz # Russell # analyse non- standard non-axiomatisabilité en langage infini # application d'ultra-produit pour anneau de premier à identit # delta indice 1 tilde-définabilité en théorie des ensembles # définition inductive et analogue # foncteur local # grand cardinal # injectif compact # logique contenant S4 sans propriété de modèle fini # logique mathématique # modèle d'arithmétique # modèle et sous-modèle d'arithmétique # propriété infinitaire # puissance directe à diagonale distinguée # structure d'ordre supérieur # système de epsilon-calcul pour S4 du premier ordre # système de fonction ordinal # théorème d'interpolation de Craig pour logique modale # treillis non distributif de plongement en degré éumérable Choquet # Pi indice 1 puissance 1 catégoricité # Pi indice 1 puissance 1- modèle # Puritz # Russell # analyse non- standard non-axiomatisabilité en langage infini # application d'ultra-produit pour anneau de premier à identit # delta indice 1 tilde-définabilité en théorie des ensembles # définition inductive et analogue # foncteur local # grand cardinal # injectif compact # logique contenant S4 sans propriété de modèle fini # logique ma...

03B25 ; 03B45 ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Theoretical computer science , 0175

Localisation : Colloque 1er étage (KANA)

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 457 p.
ISBN 978-1-57586-271-2

CSLI lecture notes , 0119

Localisation : Colloque 1er étage (BERL)

logique modale

03B45 ; 03-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x-181 p.
ISBN 978-981-4360-53-1

Localisation : Colloque 1er étage (SING)

logique mathématique # théorie des modèles # informatique

03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 127 p.

Synthèse library , 0127

Localisation : Ouvrage RdC (BOWE)

calcul des prédicats # calcul modal des prédicats # complétude de modèle # consistance de joint # extension de modèle # forcing fini # interpolation # limite directe # logique modale # modèle de Kripke # morphisme # tableau sémantique # théorie des modèles # théorie inductive # théorème de Lowenheim-Skolem # ultrapoint

03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 555 p.

Grundlehren der mathematischen wissenschaften in einzeldarstellungen , 0069

Localisation : Collection 1er étage

décidabilité des théories et des ensembles de sentences # déduction # intuition # logique des propositions # logique des prédicats # logique déductive # logique mathématique # logique modale # mathématique intuitioniste # philosophie # table de vérité # épistémologie

03A05 ; 03B45 ; 03Bxx ; 03Cxx ; 03F55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 519 p.

Monografie matematyczne , 0041

Localisation : Ouvrage RdC (RASI)

algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...

03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 87 p.

Ergebnisse der mathematik und ihrer grenzgebiete , 0042

Localisation : Ouvrage RdC (SCHU)

logique des prédicats # logique intuitioniste # logique modale

03B05 ; 03B45 ; 03F55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 152 p.
ISBN 978-0-19-853173-9

Oxford logic guides , 0005

Localisation : Ouvrage RdC (SEGE)

langage proportionnel # logique booléenne # logique classique # logique commune # logique modale # logique pré- classique # opérateur proportionnel classique

03-03 ; 03B05 ; 03B45 ; 03Bxx ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 412 p.
ISBN 978-963-05-3084-2

Localisation : Ouvrage RdC (RUZS)

logique classique # logique intensionnelle # logique modale

03B45 ; 03B65 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 189 p.
ISBN 978-0-387-96209-2

Universitext

Localisation : Ouvrage RdC (SMOR)

logique mathématique et fondation # logique générale # théorie de preuve et mathématique constructive

03-02 ; 03B45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 237 p.
ISBN 978-90-6196-306-6

CWI tract , 0028

Localisation : Collection 1er étage

algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique

03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 133 p.
ISBN 978-3-540-09237-7

Lecture notes in computer science , 0068

Localisation : Collection 1er étage

automate # axiomatique # axiomatisabilite # langage de progammation # logique modale # probabilité de l'automatique # progammation # théorie de la programmation # théorie des langages

03B45 ; 03E25 ; 68N15 ; 68Q75

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 776 p.
ISBN 978-90-277-1604-0

Synthese library , 0165

Localisation : Ouvrage RdC (Hand)

épistemologie # logique # logique modale

03A05 ; 03B45 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 208 p.
ISBN 978-3-540-11205-1

Lecture notes in computer science , 0129

Localisation : Collection 1er étage

logique # logique temporelle # parallèle # preuve # programmation parallèle # preuve de programme # valet # vérification de programme

03B45 ; 03B70 ; 03Cxx ; 68Q10 ; 68Q60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 164 p.
ISBN 978-3-540-56283-2

Lecture notes in computer science , 651

Localisation : Collection 1er étage

application des ordinateurs # canal # communication # informatique théorique # logique et signification des programmes # logique mathématique # raisonnement au sujet des programmes # spécification # vérification

03B45 ; 68Q60 ; 94Axx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 427 p.
ISBN 978-2-04-018757-6

Dunod informatique

Localisation : Ouvrage RdC (Appr)

base de données déductives # base de données relationnelles # biblog # circonscription # formalisme # grammaire catégorielle # grammaire de Chomosky # intelligence artificielle # langage formel # langage logique # langage naturelle # logique des propositions # logique des prédicats # logique dynamique # logique déontique # logique intensionnelle # logique modale # logique non monotone # logique temporelle # logique épistémique # mathématique # programmation logique # raisonnement révisable # représentation de la connaissance # réécriture des systèmes base de données déductives # base de données relationnelles # biblog # circonscription # formalisme # grammaire catégorielle # grammaire de Chomosky # intelligence artificielle # langage formel # langage logique # langage naturelle # logique des propositions # logique des prédicats # logique dynamique # logique déontique # logique intensionnelle # logique modale # logique non monotone # logique temporelle # logique épistémique # mathématique # ...

03B45 ; 68P15 ; 68Txx

... Lire [+]

Z