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.

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

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

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.


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.

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

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

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

- xiii; 268 p.
ISBN 978-1-10701-052-9

Lecture notes in logic

Localisation : Ouvrage RdC (GOLD)

variable # logique modale # sémantique # proposition admissible # logique d'appropriation

03-02 ; 03B45 ; 03B47

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

- 372 p.
ISBN 978-83-01-06859-2

Localisation : Ouvrage RdC (MIRK)

logique algorithmique # algèbre de Boole # logique de programmation # LOGLAN

03B70 ; 68Q65 ; 03-02 ; 68-02 ; 03B45 ; 68W99

... Lire [+]

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

- 508 p.
ISBN 978-0-19-851174-8

Oxford logic guides , 0046

Localisation : Ouvrage RdC (GABB)

logique # interpolation # logique modale # logiques intermédiaires # logique intuitive # définissabilité # théorème de Craig # théorème de Beth

03-02 ; 03C40 ; 03B45 ; 03B55

... Lire [+]

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

- 304 p.
ISBN 978-3-540-11210-5

Lecture notes in computer science , 0130

Localisation : Collection 1er étage

informatique # programme # type de données abstraites # vérification de programme # logique modale # sémantique

68Q65 ; 68Q60 ; 68-01 ; 03B45

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

- 172 p.
ISBN 978-0-8218-1078-1

American mathematical society translations series 2 , 0192

Localisation : Collection 1er étage

classe de complexité # complexité du calcul # grammaire # informatique # langue # linguistique mathématique # logique du langage # logique modale # théorie de preuve

03B45 ; 03B65 ; 03F40 ; 68Q15 ; 68S08

... Lire [+]

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

- 617 p.
ISBN 978-0-444-89505-9

Studies in logic and the foundations of mathematics , 0136

Localisation : Ouvrage RdC (RYBA)

logique # logique classique # logique non classique # logique non standard # mathématique # règle d'inférence

03-02 ; 03B45 ; 03B60

... Lire [+]

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

- 456 p.
ISBN 978-0-387-94893-5

Graduate texts in computer science

Localisation : Ouvrage RdC (NERO)

application # informatique théorique # logique des prédicats # logique intuitive # logique mathématique # logique modale # logique symbolique # prologue # élément de théorie d'ensemble

03B45 ; 68N17 ; 68Q40 ; 68T27 ; 68T30

... Lire [+]

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

- 396 p.
ISBN 978-2-200-01472-8

Localisation : Ouvrage RdC (BLAN)

Aristote # Boole et algèbre de la logique # De Morgan # Frege # Leibniz # Peano # Peirce # Platon # Principia # Ramus # Raymond Lulle # Renaissance # Russell # calculus ratiocinator # dialecticien # histoire de la logique # implicite et explicite # induction et démonstration # lingua characteristica universalis # logique ancienne # logique classique # logique de Port-Royal # logique des relations # logique mathématique # logique modale # logistique # mathématicien et philosophe # proposition/opposition/ conversion # syllogisme # temps modernes Aristote # Boole et algèbre de la logique # De Morgan # Frege # Leibniz # Peano # Peirce # Platon # Principia # Ramus # Raymond Lulle # Renaissance # Russell # calculus ratiocinator # dialecticien # histoire de la logique # implicite et explicite # induction et démonstration # lingua characteristica universalis # logique ancienne # logique classique # logique de Port-Royal # logique des relations # logique mathématique # logique modale # ...

01A20 ; 01A40 ; 01A60 ; 03-03 ; 03B45

... Lire [+]

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

- 152 p.
ISBN 978-0-8218-3124-3

American mathematical society translations series 2 , 0143

Localisation : Collection 1er étage

D-bloc de caractère # calcul de résolution # estimation de polynôme orthogonal # estimation en moyenne # groupe fini # géométrie diophantienne # logique modale # modèle de données et langage de description # obstruction complète au principe de Hasse # principe ergodique pour opérateur stochastique quadratique # problème du diviseur additif

03B45 ; 11D41 ; 11G10 ; 11G35 ; 11P99

... Lire [+]

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

- 727 p.
ISBN 978-0-262-12156-9

Localisation : Ouvrage RdC (Comp)

(dés)unification # ABSYS # Prolog proche de Horn # inférence inductive des théories à partir des faits # logique du calcul # logique modale # procédure de complétion # programmation logique # retour chez soi intelligent # science du raisonnement # système de réécriture orthogonale

03B45 ; 68N17 ; 68Q42

... Lire [+]

Z