Guts A. "Logique mathématique et théorie des algorithmes"
JUJYkuaDjNQAller sur le site internet (page produit) »
Ce manuel est consacré à la présentation de la logique mathématique et de la théorie des algorithmes. La base du manuel consiste en des conférences données aux étudiants de deuxième année de la Faculté d'informatique de l'Université d'État d'Omsk du nom de F. M. Dostoïevski. La logique classique, la méthode des résolutions, le calcul formel, l'arithmétique formelle, les principes de programmation logique, la logique floue et l'arithmétique floue, les logiques modales, temporelles et algorithmiques sont présentées. La sémantique de Kripke, les axiomes de la logique algorithmique de Hoare, les logiques paracohérentes, les logiques de Vasiliev et Lukasiewicz et les logiques pertinentes sont présentées. Des introductions aux fonctions partiellement récursives, aux machines de Turing-Post, aux algorithmes de Markov normaux et à la complexité des algorithmes sont données. Pour les étudiants des spécialités « Sécurité informatique », « Sécurité de l'information » et « Informatique et informatique ».
Aller sur le site internet (page produit) »
Aller sur le site internet (page produit) »
Lampe Gauss 940111215 Led 15 W 4100 Blanc Neutre Couleur Du Luminaire Blanc Couleur De Labat Jour Blanc 11 07
Stylo À Bille Bic Orange Bleu 08 Mm 11 07
Fumagalli Rod Luminaire Globe 250 G25131000Wze27Dn E27 60 W Couleur Du Luminaire Blanc Couleur De Labat Jour Gris 11 07
Commutateur De Levage Dantenne Autoarmatura 773709 0208 11 07
Junfa Toys Balle Rebondissante Translucide 45D 4 Cm Multicolore 11 07
Boehme Y Meilleure Amie Connie Connie Et Le Squelette De Dinosaure 11 07
Delta Plus Vv904Ja10 1 Paire 11 07
Set De Cuisine Brauberg Extra 5 Pièces Boussole 120 Mm Gomme Taille Crayon Tournevis Mine 210687 11 07
Chaise Signal Chic Velvet Vieux Rose Noir 11 07
Kasyanova G Éd Code Des Impôts De La Fédération De Russie Commentaire Sur Les Dernières Modifications Volume 3 Taxes Et Redevanc 11 07
Voiture De Tourisme Rmz City Ford Gt 2019 344050S 164 7 Cm Gris 11 07
Cartouche Tonerman Tm Cb382A 21 000 Pages Jaune 11 07
Febi Bilstein 02107 032 032215019 032215019617 Rotule Avant Droitegauche 11 07
Bases De Lhygiène Et Du Travail Pour Élever Des Enfants 3 4 Ans Un Ensemble Daffiches Avec Un Support Méthodologique Normes Éduc 11 07
Piston Kolbenschmidt 40380620 11 07
Zolotova G Dictionnaire Syntaxique Répertoire Des Unités Élémentaires De La Syntaxe Russe 11 07
Hub Usb Gembird Uhb Cn224 Connecteurs 40 Cm Bleu 11 07
Elring Jeu De Joints De Collecteur Dadmission Art 131820 11 07
Dépoussiéreurs Synthétiques Zoom 5 Pcs Pour Aspirateur Bosch Bsgl32180 Gl 30 11 07
Disque Vinyle Korn Intouchables 11 07
Conteneur Gastronorme Prohotel 91908E811 4P 11 07
Circuit De Capteur Nissan Qashqai 06 Note 06 Tiida 04 14I16I Do Cat Startvolt A Augmenté Vsos1418 11 07
Joint Metelli 151572 Pour Peugeot 206 11 07
Poulie Dalternateur Meatdoria 45183 Pour Opel Astra Insignia 11 08
Joint De Culasse Elwis 0042625 Pour Opel Astra Kadett Vectra 11 08
Sac À Dos Polar City Sac À Dos Spacieux Dos Et Bretelles Aérés Bagage À Main Peut Contenir Format A4 Unisexe Polyester 29 X 43 X 11 08
Bouchon Détanchéité Universel Vin Bouquet 11 08
Koulbitskaïa Iv Offset La Belle Et La Bête 11 08
Bougie Dallumage Ngk 4717 Pmr9B 1 Pièce 11 08
Capteur De Vitesse De Roue Arrière Double Face Peugeot 206 Cc 2D 16 16V 16 Hdi 110 20 S16 Patron Art Abs52077 Patron Art Abs52 11 08
Lampe Gauss 940111215 Led 15 W 4100 Blanc Neutre Couleur Du Luminaire Blanc Couleur De Labat Jour Blanc 11 07
Stylo À Bille Bic Orange Bleu 08 Mm 11 07
Fumagalli Rod Luminaire Globe 250 G25131000Wze27Dn E27 60 W Couleur Du Luminaire Blanc Couleur De Labat Jour Gris 11 07
Commutateur De Levage Dantenne Autoarmatura 773709 0208 11 07
Junfa Toys Balle Rebondissante Translucide 45D 4 Cm Multicolore 11 07
Boehme Y Meilleure Amie Connie Connie Et Le Squelette De Dinosaure 11 07
Delta Plus Vv904Ja10 1 Paire 11 07
Set De Cuisine Brauberg Extra 5 Pièces Boussole 120 Mm Gomme Taille Crayon Tournevis Mine 210687 11 07
Chaise Signal Chic Velvet Vieux Rose Noir 11 07
Kasyanova G Éd Code Des Impôts De La Fédération De Russie Commentaire Sur Les Dernières Modifications Volume 3 Taxes Et Redevanc 11 07
Voiture De Tourisme Rmz City Ford Gt 2019 344050S 164 7 Cm Gris 11 07
Cartouche Tonerman Tm Cb382A 21 000 Pages Jaune 11 07
Febi Bilstein 02107 032 032215019 032215019617 Rotule Avant Droitegauche 11 07
Bases De Lhygiène Et Du Travail Pour Élever Des Enfants 3 4 Ans Un Ensemble Daffiches Avec Un Support Méthodologique Normes Éduc 11 07
Piston Kolbenschmidt 40380620 11 07
Zolotova G Dictionnaire Syntaxique Répertoire Des Unités Élémentaires De La Syntaxe Russe 11 07
Hub Usb Gembird Uhb Cn224 Connecteurs 40 Cm Bleu 11 07
Elring Jeu De Joints De Collecteur Dadmission Art 131820 11 07
Dépoussiéreurs Synthétiques Zoom 5 Pcs Pour Aspirateur Bosch Bsgl32180 Gl 30 11 07
Disque Vinyle Korn Intouchables 11 07
Conteneur Gastronorme Prohotel 91908E811 4P 11 07
Circuit De Capteur Nissan Qashqai 06 Note 06 Tiida 04 14I16I Do Cat Startvolt A Augmenté Vsos1418 11 07
Joint Metelli 151572 Pour Peugeot 206 11 07
Poulie Dalternateur Meatdoria 45183 Pour Opel Astra Insignia 11 08
Joint De Culasse Elwis 0042625 Pour Opel Astra Kadett Vectra 11 08
Sac À Dos Polar City Sac À Dos Spacieux Dos Et Bretelles Aérés Bagage À Main Peut Contenir Format A4 Unisexe Polyester 29 X 43 X 11 08
Bouchon Détanchéité Universel Vin Bouquet 11 08
Koulbitskaïa Iv Offset La Belle Et La Bête 11 08
Bougie Dallumage Ngk 4717 Pmr9B 1 Pièce 11 08
Capteur De Vitesse De Roue Arrière Double Face Peugeot 206 Cc 2D 16 16V 16 Hdi 110 20 S16 Patron Art Abs52077 Patron Art Abs52 11 08