Théorie de calcul : problèmes de comptage et de décision

Cette séance de cours couvre la théorie du calcul, en se concentrant sur le comptage des ensembles infinis et les problèmes de décision. Il examine le concept de la comptabilité, montrant comment compter des ensembles infinis comme des entiers positifs et des paires d'entiers positifs. La séance de cours explore également la notion de décidabilité, en distinguant les problèmes décidables et les problèmes indécis. Il présente des exemples de problèmes décidables, comme la vérification si un nombre est un multiple d'un autre, et introduit le problème d'arrêt indécis. À travers des démonstrations d'auto-référence et de paradoxes, la séance de cours illustre les limites du calcul dans la résolution de certains problèmes. Il conclut en soulignant l'importance de reconnaître les problèmes indécis et le pouvoir de l'auto-référence dans la théorie computationnelle.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (98)

Concepts associés (99)

L'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (

The socialist calculation debate, sometimes known as the economic calculation debate, was a discourse on the subject of how a socialist economy would perform economic calculation given the absence of the law of value, money, financial prices for capital goods and private ownership of the means of production. More specifically, the debate was centered on the application of economic planning for the allocation of the means of production as a substitute for capital markets and whether or not such an arrangement would be superior to capitalism in terms of efficiency and productivity.

NOTOC Calculation in kind or calculation in-natura is a way of valuating resources and a system of accounting that uses disaggregated physical magnitudes as opposed to a common unit of calculation. As the basis for a socialist economy, it was proposed to replace money and financial calculation. In an in-kind economy products are produced for their use values (their utility) and accounted in physical terms. By contrast, in money-based economies, commodities are produced for their exchange value and accounted in monetary terms.

The economic calculation problem (sometimes abbreviated ECP) is a criticism of using economic planning as a substitute for market-based allocation of the factors of production. It was first proposed by Ludwig von Mises in his 1920 article "Economic Calculation in the Socialist Commonwealth" and later expanded upon by Friedrich Hayek. In his first article, Mises described the nature of the price system under capitalism and described how individual subjective values (while criticizing other theories of value) are translated into the objective information necessary for rational allocation of resources in society.

En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent « trop » d'éléments pour être parcourus complètement par l'infinité des entiers et sont donc dits « non dénombrables ». Il existe deux usages du mot « dénombrable » en mathématiques, suivant que l'on comprend ou non parmi les ensembles dénombrables les ensembles finis, dont les éléments peuvent être numérotés par les entiers positifs inférieurs à une valeur donnée.

En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini. Tout ensemble contenant un ensemble dénombrable est infini. Dans la théorie de Zermelo (Z), l'axiome de l'infini permet de construire l'ensemble N des entiers naturels, qui est alors un ensemble infini.

Théorie de calcul: Countabilité & Halting Problème CS-119(c): Information, Computation, Communication

Explore la comptabilité, le problème d'arrêt, les problèmes de décision et la dnumérabilité dans la théorie du calcul.

Relations, séquences, sommation CS-101: Advanced information, computation, communication I

Couvre les progressions arithmétiques, les treillis, la vérification formelle, les chaînes, les formules explicites, les relations de récurrence, les formules fermées et l'argument Diagonal de Cantor.

Argument diagonal de Cantor CS-101: Advanced information, computation, communication I

Explore l'argument Diagonal de Cantor et le concept de l'incomptabilité à travers des séquences binaires à chiffres.

Théorie de calcul : Problèmes Définition et comptage (Dnumérabilité)CS-119(d): Information, Computation, Communication

Explore la théorie du calcul, mettant l'accent sur la définition des problèmes, le comptage et les limites du calcul algorithmique.

Relations, séquences et sommations CS-101: Advanced information, computation, communication I

Couvre les chaînes, les ensembles dénombrables, la cardinalité et le concept de dénombrabilité, explorant la dénombrabilité de divers ensembles et la diagonalisation de Cantor.