lingi1123-calculabilite's People
Forkers
jimvy vanstratum alexandrefiset001 francoisduchene laritzalba minhprg gillesngongang tgluis kingof13 nrybowski maxmawt adwid c-lipani gaetbout leo-schelstraete charliergi jonathansamelson flyearthr noemievst elniak ibodevs mbeug hyedryn tdestouches joker018 proose nizebelami aknockaert gauone theophile-schwaiger antoinepercy stanislasg matthieuvillebrun evandieren monkd3 l9kd1 gdesidelingi1123-calculabilite's Issues
Ch03.6 : Ajouter diagramme structure des fonctions et ensembles
Ch04.8. Exemples Lambda calcul
Donner des exemples d'expressions lambda et de réduction
Ch01: Compléter Détection de virus
Compléter la description de la non calculabilité de la détection de virus.
- Définir nuisible
- Préciser ce qu'on veut faire: démontrer que la fonction detecteur(P,D) ne peut pas être réalisée par un programme qui ne soit pas lui-même nuisible.
- Expliquer que preuve par contradiction. Supposons qu'il existe un programme detecteur(P,D) qui ne soit pas nuisible. Alors il existe un programme pour drole(P). ...
Ch01: Section Résultats principaux
Ajouter une section Résultats Principaux, avec 3 sous-sections. (1) Equivalence des langages de programmation. (2) Existence de problèmes non calculables. (3) Existence de problèmes intrinsèquement complexes.
Intégrer la section existante Détection de virus dans la nouvelle sous-section "Existence de problèmes non calculables"
Ch01: problème intrinsèquement complexe
Décrire dans la section "Résultats fondamentaux" ce qu'est un problème intrinsèquement complexe. Donner un exemple.
Ch04.3. Exemples Automates finis
Donner des exemples d'automates finis
Ch03.11: Conséquence Point fixe
Expliquer à quoi sert ce théorème. Central en calculabilité car il est le point de départ de tous les résultats (avec la propriété S).
Ch3.11 Preuve Théorème du point fixe: Remarque non claire
La Remarque dans le théorème n'est pas claire. Je ne comprends pas exactement ce que cela dit...
Ch01: Ajouter section Objectifs calculabilité et complexité
inclure schéma des problèmes calculables / non calculables + explications
Décrire l'intérêt de la calculabilité et de la complexité.
Ch02: exemples section 2.1
Donner des exemples pour illustrer les concepts section 2.1
Ch03.2 : Améliorer la démonstration de A r.e. SSi A vide ou A=image(f), f total calculable
La démonstration existant ne proue qu'un seul sens du SSi. Il reste à prouver l'autre sens.
Ch01: Notion de programme
Paragraphe introductif à compléter.
La sous-section résultats principaux doit devenir une section à par entière (cfr autre Issue)
Ch03.9: Exemples
Ajouytre des exemples et applications du théorème de Rice.
Ch04.6. Machines de Turing: Extensions modèle
Expliquer et justifier pourquoi les différentes extensions ont la même puissance. Expliquer intuitivement comment on peut simuler le modèle avec une MT standard (ou vice versa si modèle plus "élémentaire").
Ch02: ensemble de chaines infionies de caractères
Exemple 8 (ensemble des chaînes infinies de caractères sur un alphabet fini): donner un exemple concret. Utiliser cet exemple pour montrer que l'ensemble défini par le produit cartésien d'une infinité énumérable d'ensembles énumérables (voir même finis) n'est pas énumérable; contrairement à l'union d'une infinité énumérable d'ensembles énumérables.
Ch02: exemples ensembles énumérables
Donner des exemples d'ensemble énumérable (cfr slides), et montrer pourquoi ils sont énumérables.
Ch02: Exemples ensembles non énumérables
Transférer les exemples d'ensembles non énumérable de la section 2.2 à la fin de la section 2.3.
Ch03.7: Enoncé Hoare-Allison
Ecrire un énoncé complet du théorème de Hoare-Allison
Ch04.2. ND-recursif ssi récursif
Démontrer les propriétés "ND-récursif ssi récursif" et "ND-récursivement énumnérable ssi récursivement énumérable". Bonne idée de d'abord démontrer la propriété précédente sur la simulation d'un programme ND par un programme D. Faire cette preuve et parler de complexité exponentiel de cette simulation
Ch04.8. Représentation entier Lambda calcul
Montrer comment on peut représenter un entier en Lambda calcul, et comment on peut réaliser des opérations de base sur ces entiers (cfr slides).
Package eplcode.sty inutile ?
Dans le package de style lingi1123.sty, il y a au début du fichier une importation du package eplcode.sty alors que le contenu de celui-ci est déjà recopié dans lingi1123.sty (ligne 95 à 125) rendant son importation inutile. Ne vaudrait-il donc pas mieux supprimer eplcode.sty ? (Bien que cela n'ait pas beaucoup d'impact sur la compilation cela rendrait le code plus lisible)
Ch03.8: Extension fonction
Réécrire la preuve du théorème Il existe une fonction partielle calculable g telle qu’aucune fonction totale calculable n’est une extension de g.
Ch04.5. Exemples de grammaire
Donner un exemple simple de grammaire (constante réelle en Java).
Ch03.10: preuve théorème paramétrisation
Corriger les imprécisions de la preuve.
Ch04.6. Exemple Machine de Turing
Donner des exemples de MT. Et un exemple d'une exécution.
Ch03.9: Preuve Rice
La preuve du théorème de Rice contient pas mal d'imprécisions... A corriger
Ch04.7. Propriétés fonctions primitives récursives
Donner et expliquer les propriétés des fonctions primitves récursives (cfr slides)
Ch04.7. Exemples Fonctions primitves récursives
Donner des exemples de fonctions primitives récursives (cfr slides).
Ch03.2 : Améliorer la démonstration de A r.e ssi a =dom(f) avec f calculable
Ch02: au delà du non énumérable
A la fin de la section 3, ajouter une sous-section "Au delà du non énumérable". Existe-t-il des ensemble qui ont plus d'éléments que R ? Oui. Donner des exemples.
ch01: Qu'est-ce que la calculabilité
Replacer les paragraphes introductifs du chapitre dans une nouvelle section "Qu'est-ce que la calculabilité".
Etendre cette section avec des exemples de limites dans d'autres domaines scientifiques
Ch03.11: Rice via Point fixe
La démonstration de Rice par le point fixe ne donne pas ne version plus forte de Rice. C'est le même théorème, mais prouvé autrement.
Ch03.7: introduction Hoare Allison
Réécrire l'introduction plus clairement.
Ch03.9: Réduction
Comme introducxtion au théorème de Rice, donner les exemples des slides. Pour chaque exemple, montrer comment démontrer la non récursivité de l’ensemble par une réduction à HALT.
Ch02: Démonstration propriétés ensembles énumérables
Ajouter démonstration des propriétés
- Tout sous-ensemble d’un ensemble énumérable est énumérable.
- L’union et l’intersection de deux ensembles énumérables sont énumérables.
Ch04.5. Exemples dérication, arbre syntaxique
Donner un exemple des différentes définitions : dérivation, arbres syntaxiques.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.