L'algèbre de la logique

Main
Mathematics - Logic
L'algèbre de la logique

L'algèbre de la logique

Louis Couturat

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Mathematics - Logic

Година:

1980

Издание:

2

Издателство:

Librairie Scientifique et Technique Albert Blanchard

Език:

french

Страници:

100

Файл:

DJVU, 1.29 MB

IPFS:

,

french, 1980

Четете Онлайн

Изтегляне (djvu, 1.29 MB)

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Louis Couturat — L'algèbre de la logique

Laurent H. — L'elimination

Jacques Dubuc. François Lepage — Methodes logiques pour les sciences cognitives

Paul Lorenzen — Métamathématique

Lorenzen P. — Metamathematique

Jean-Blaise Grize — Logique moderne, Fascicule 2

Louis Couturat — Les principes des mathématiques. Avec un appendice sur la philosophie des mathématiques de Kant

Alfred Tarski — Introduction à la logique

Jean-Blaise Grize — Logique moderne

Hermite Ch. — Oeuvres

Sierpinski W. — Algebre des ensembles

Laurent H. — L'elimination

Sierpinski W. — Algebre des ensembles

Ernest Cesàro — Sur diverses questions d’arithmétique

Laurent Guillopé — Logique, suites numériques, dénombrement

Georges Henri Halphen — Traité des fonctions elliptiques et de leurs applications (3-vols)

Laurent Roussarie — Sémantique formelle. Volume 1 : Introduction à la grammaire de Montague

Sebah, Paul; Blanc, Bernard; Blanc, Denise — Mathématiques : terminales F, sections industrielles et scientifiques F 1 à F 6, F 9 et F 10

Collectif — Mathématiques Transmath Seconde (Manuel de l'élève)

Kant — Essai pour introduire en philosophie le concept de grandeur négative

Piskounov — Calcul differentiel et integral

Paul Gochet; Pascal Gribomont; Andre Thayse — Logique. Volume 3, Methodes pour l'intelligence artificielle

Paul Gochet, Pascal Gribomont — Logique, volume 1: méthodes pour l'informatique fondamentale

Jacques Dubucs — Méthodes logiques pour les sciences cognitives

Jacques Duparc — La logique pas à pas

Couturat, Louis; Sakhri, Mohsen; Couturat, Louis; Schlaudt, Oliver — Louis Couturat, Traité de Logique algorithmique

Jean-Blaise Grize — Logique moderne: Fascicule II Logique des propositions et des prédicats, tables de vérité et axiomatisation

Paul Lorenzen — Métamathématique

Yakov Zeldovitch, Anatole Mychkis — Eléments de mathématiques appliquées

Най-често използвани термини