Catalogue du Réseau Mikanda
Accueil
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 510 (20)
Affiner la recherche Interroger des sources externes
Réservation
Réserver ce document
Exemplaires (1)
|
BK 4694 | 510 NOV | indéterminé / indéterminé | Karibuni | indéterminé | Disponible |

Titre : |
Eléments de logique classique : avec exercices résolus et questionnement d'examen |
Type de document : |
texte imprimé |
Auteurs : |
Marc-Polycarpe MUTOMBO Matsumakia, Auteur |
Editeur : |
Louvain-la-Neuve : Academia Bruylant |
Année de publication : |
2003 |
Collection : |
Pédasup num. 43 |
Importance : |
161 p. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-2-87209-670-1 |
Langues : |
Français (fre) |
Mots-clés : |
Mathématique' 'Logique' 'Symbolique. Sciences |
Index. décimale : |
510 |
Résumé : |
Le concept et le terme. Le jugement et la proposition. Le raisonnement. Raisonnements et lois logiques. Les inférences immédiates. Les syllogismes. Le calcul propositionnel. Syntaxe. Sémantique. Les méthodes de décision sémantiques. Les méthodes de décision syntaxiques. Le calcul des prédicats. Syntaxe ou grammaire. La sémantique ou le vocabulaire. Quelques lois logiques ou tautologies. |
Eléments de logique classique : avec exercices résolus et questionnement d'examen [texte imprimé] / Marc-Polycarpe MUTOMBO Matsumakia, Auteur . - Louvain-la-Neuve : Academia Bruylant, 2003 . - 161 p. ; 24 cm. - ( Pédasup; 43) . ISBN : 978-2-87209-670-1 Langues : Français ( fre)
Mots-clés : |
Mathématique' 'Logique' 'Symbolique. Sciences |
Index. décimale : |
510 |
Résumé : |
Le concept et le terme. Le jugement et la proposition. Le raisonnement. Raisonnements et lois logiques. Les inférences immédiates. Les syllogismes. Le calcul propositionnel. Syntaxe. Sémantique. Les méthodes de décision sémantiques. Les méthodes de décision syntaxiques. Le calcul des prédicats. Syntaxe ou grammaire. La sémantique ou le vocabulaire. Quelques lois logiques ou tautologies. |
|  |
Exemplaires (1)
|
0100977 | 511.3 MUT 2003 | indéterminé / indéterminé | UPC | récent | Exclu du prêt |

Titre : |
Eléments des mathématiques modernes. |
Type de document : |
texte imprimé |
Auteurs : |
M. RICHARDSON, Auteur ; R. de MARCILLAR, Traducteur |
Editeur : |
Paris : Dunod |
Année de publication : |
1963 |
Importance : |
XVII-605 p |
Format : |
22 cm |
Langues : |
Français (fre) |
Mots-clés : |
Mathématiques |
Index. décimale : |
510 |
|
Réservation
Réserver ce document
Exemplaires (1)
|
BK 2395 | 510 RIC | indéterminé / indéterminé | Karibuni | indéterminé | Disponible |

Titre : |
Mathématique 6è Cours et exercices résolus Sections Péda, Littéraire et Commerciale |
Type de document : |
texte imprimé |
Auteurs : |
KABAKABA TWA BATWA, Auteur |
Editeur : |
Kinshasa : CRP |
Année de publication : |
1990 |
Importance : |
109 p |
Format : |
21 cm |
Langues : |
Français (fre) |
Mots-clés : |
cours de math |
Index. décimale : |
510 |
Mathématique 6è Cours et exercices résolus Sections Péda, Littéraire et Commerciale [texte imprimé] / KABAKABA TWA BATWA, Auteur . - Kinshasa : CRP, 1990 . - 109 p ; 21 cm. Langues : Français ( fre) |
Réservation
Réserver ce document
Exemplaires (1)
|
BK 2513 | 510 KAB | indéterminé / indéterminé | Karibuni | indéterminé | Disponible |

Titre : |
Mathématique : Algèbre-analyse |
Type de document : |
texte imprimé |
Auteurs : |
J.M. KAPENGA Kazadi, Auteur |
Editeur : |
Kinshasa : CRP |
Année de publication : |
1994 |
Importance : |
128 P |
Format : |
20 cm |
Langues : |
Français (fre) |
Mots-clés : |
Mathématiques |
Index. décimale : |
510 |
|
Réservation
Réserver ce document
Exemplaires (1)
|
BK 2466 | 510 KAP | indéterminé / indéterminé | Karibuni | indéterminé | Disponible |
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink