m

Documents  Benzaken, Claude | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 166 p.
ISBN 978-2-225-82567-5

Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

... Lire [+]

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

- 216 p.

Localisation : Ouvrage RdC (BENZ)

algorithme # algèbre de Jordan # domaine de positivité # dualisation # décomposition # détermination d'indice de fonction croissante stricte # famille stable de fonction booléenne croissante # graphe # nombre chromatique # polynôme combinatoire # problème combinatoire # propriété co-algébrique de fonction croissante # pseudo- treillis # réduction et composition # réseau abstrait # réseau binaire combinatoire # réseau logique binaire # structure algébrique des cheminements # structure algébrique ordonnée # théorie des réseaux # treillis série-parallèle # éliminement par sommet algorithme # algèbre de Jordan # domaine de positivité # dualisation # décomposition # détermination d'indice de fonction croissante stricte # famille stable de fonction booléenne croissante # graphe # nombre chromatique # polynôme combinatoire # problème combinatoire # propriété co-algébrique de fonction croissante # pseudo- treillis # réduction et composition # réseau abstrait # réseau binaire combinatoire # réseau logique binaire # structure ...

03Gxx ; 06E30 ; 06Fxx ; 18Dxx ; 94C10

... Lire [+]

Z