# Gp2mv3/Syntheses

Switch branches/tags
Nothing to show
Commits on Jun 24, 2017
1. Info q1 exam
blegat committed on GitHub Jun 24, 2017
2. Ajout Examen LELEC1370 2013, 2014 et 2016
blegat committed on GitHub Jun 24, 2017
Commits on Jun 23, 2017
1. acouplet committed Jun 23, 2017
2. acouplet committed Jun 23, 2017
3. acouplet committed Jun 23, 2017
Commits on Jun 22, 2017
1. TODO: corriger les indentations inutiles des lstinputlisting, qui
proviennent du fichier .java lui-même. Apparemment, c'est une limitation
du package listings, qui ne permet pas d'enlever les tabulations lors d'un
lstinputlisting avec l'option gobble.
Jimvy committed Jun 22, 2017
Commits on Jun 21, 2017
1. Jimvy committed Jun 21, 2017
Commits on Jun 20, 2017
1. blegat committed Jun 20, 2017
2. blegat committed Jun 20, 2017
3. blegat committed Jun 20, 2017
4. blegat committed Jun 20, 2017
5. Formulaire stochastic modeling (MAP) 2017
blegat committed on GitHub Jun 20, 2017
6. claureys committed Jun 20, 2017
Commits on Jun 19, 2017
1. [LELEC2760] Add some answers to final quizz
blegat committed on GitHub Jun 19, 2017
Commits on Jun 14, 2017
1. cassiersg committed Jun 14, 2017
2. LINGI1123 - Calculabilité et Complexité - Petites erreurs dans 2 démonstrations
blegat committed on GitHub Jun 14, 2017
3. Forgot to invert \neq and = after switching items
pgonzalezalv committed Jun 14, 2017
4. Rice's theorem states that there exists n \in A and m \in N\A
(and not for all n ... and m ...)
Cf. lines 1066-1076 for Rice's theorem and it's contraposition
pgonzalezalv committed Jun 14, 2017
5. Proof by contradiction that the set K is not recursive using the
fixed point theorem
Switching the 2 items starting from f(k) = ... because :
If k in K, that means by construction of function f that f(k) = 1
(and not f(k) = 0), ...
If k not in K, that means by construction of function f that f(k) = 0
(and not f(k) = 1), ...
pgonzalezalv committed Jun 14, 2017
Commits on Jun 11, 2017
1. Typos et corrections pour synthèse COO
blegat committed on GitHub Jun 11, 2017
Commits on Jun 10, 2017
1. Including french corrections and figure adjustments.
Jimvy committed Jun 10, 2017
Commits on Jun 5, 2017
1. Sigsys: Examen 2012 - 2016
blegat committed on GitHub Jun 5, 2017
2. ldevillez committed Jun 5, 2017
Commits on May 31, 2017
1. LSINF1225 - Ajout TP S11
blegat committed on GitHub May 31, 2017
Commits on May 29, 2017
1. brkaisin committed May 29, 2017
2. ELEC1370 - img to tikz + Test 2017
blegat committed on GitHub May 29, 2017
Commits on May 28, 2017
1. ldevillez committed May 28, 2017
Commits on May 26, 2017
1. ldevillez committed May 26, 2017
Commits on May 24, 2017
1. Fix minor problems with quadriTab
blegat committed on GitHub May 24, 2017
2. Delogen committed on GitHub May 24, 2017
3. Patch 1 to master
Delogen committed on GitHub May 24, 2017
4. Delogen committed on GitHub May 24, 2017
5. blegat committed May 24, 2017
6. blegat committed May 24, 2017
7. Update quadriTab and minor changes
blegat committed on GitHub May 24, 2017