Benedikt Ahrens
- Contact
- About me
- Work
- GEOCAL - LAC 2010
- SPF seminar
- Colloque doctorants 2009
- Teaching
- Useful information
Contact
Email:
my_last_name AT unice DOT fr
Phone: +33 (0)4 92 07 64 78
Fax: +33 (0)4 93 51 79 74
Location: Office 411, Building "Recherche Mathematique" ("W"), whose real name is Laboratoire J.-A. Dieudonne' (see the very nice interactive map of Campus Valrose or the static plan (jpg))
A somewhat outdated personal webpage is my googlepages webpage.
About me
I started my PhD thesis under the supervision of Andre Hirschowitz in autumn 2008. The topic is games and logic.
Work
My masters thesis: truth.pdf truth.tex literature.bib truth_presentation.tex truth_presentation.pdf
A presentation about categories in programming: categories_programming.pdf categories_programming.tex
A small piece of category theory formalized in Coq
SPF
In 2009 I was responsible for the Seminaire Pampers Facile, the seminar for people who are interested in maths, by the PhD students of Labo JAD. I am not any more, it's Remy now who does this great job in a great way. Visit the lovely webpage of SPF.
Colloque doctorants 2009
Together with Julianna I am organizing the Colloque doctorants 2009. Here is the corresponding provisional webpage, the design ruthlessly stolen from our predecessors.
Teaching
Licence Biologie - Maths pour Biologie 1 - Annee 2009/2010
Le cours sera organise' et prepare' par Francine Diener.
La page web du cours 2009/10 (avec feuilles du cours, les exos et les solutions)
ici aussi tu peux trouver les feuilles
Pour la feuille de TD 10, regardes le corrige de l'annee derniere (pdf) pour exo 3, et la solution de TD 10 en OpenOffice pour les exos 1 et 2.
Page du cours de l'annee 2008/09 avec cours, exos et solutions.
Consultation des TD 10 et possibilite de poser des questions
lundi 21 decembre de 10h a 12h30 et de 14h a 16h30 dans mon bureauEpreuve finale
Trouvez la correction de l'epreuve finale ici (pdf).Une liste de trucs (potentiellement non complete) qu'il faut savoir pour l'exam
Formule pour calculer vos notes
ta note = Max (0.4 CC + 0.6 CT, CT), d'ou CC = note de TD, CT = note d'epreuve finaleControlez vos notes de Controle Continu
sur la pages des notes.Solutions des feuilles TD en OpenOffice
OpenOffice est un logiciel bureautique de type MS Office, mais sans foutage de gueule. OpenOffice est gratuit et disponible pour beaucoup de systemes d'exploitation, entre autre Windows, Linux et Mac. Avec la partie "OpenOffice Calc" - qui est un bon remplacement pour MS Excel - on peut faire les exos des feuilles 8 - 10 facilement (au moins les parties calculs). Voici deux fichiers: Quelques manuels sur OpenOffice; j'en ai pas vraiment trouve' en francais. Si t'en connais, merci de me laisser un message.- manuel en francais (pas a jour, uniquement les entrees avec "V2" a droite sont pas trop vieilles)
- manuel en anglais (chaque chapitre a un bar de navigation a droite)
- livres completes sur OO.org (en anglais encore)
Licence Maths/Info - Algebre 1 - Annee 2009/2010
Link to P. Maisonobe's webpage and the webpage of the courseDates TD:
- semaine du 16 nov (me)
- semaine du 23 nov (hugo)
- semaine du 30 nov (me)
- semaine du 7 dec (hugo)
pour feuille td 3, exo 5, partie 2 j'ai fait une feuille qui donne une possibilite de le faire (c'est peut-etre pas la plus simple)
solution de controle continu nr 5
Licence Math-Physique semestre 3 - Algebre - Annee 2008/2009
All the material for the course (including exercise sheets and solutions) can be found at G. Comte's webpage.
I will create some files to show how to play with the mathematics programs GNU Octave and Maxima. Both these programs are released under a free license and can legally be downloaded, installed, used, passed on, modified etc. as often as one wishes to do. The files will (hopefully) develop in the next weeks. Both files are text files and can be viewed and edited with any text editor. Read them, they contain information on how to run the files with the mentioned programs.
octave_test.m ---- maxima_test.txt
Licence Biologie - Maths pour Biologie 2 - Annee 2008/2009
The course is organized and prepared by Francine Diener.
Francine's Maths pour Bio page...
N'hesitez pas de m'envoyer un email ou passer dans mon bureau quand il y des questions.
Documents
| Modele de Lotka-Volterra: | Cours 1 (pdf) | Exercise sheet 1 (pdf) | Exercise sheet 1 w. solutions (pdf) |
| Resolution de systemes differentielles: | Cours 2 (pdf) | Exercise sheet 2 (pdf) | Exercise sheet 2 w. solutions (pdf) |
| Resolution de systemes differentielles II: | Exercise sheet 3 (pdf) | Exercise sheet 3 w. solutions (pdf) | |
| Loi de Conservation: | Cours 4 (pdf) | Exercise sheet 4 (pdf) | Exercise sheet 4 w. solutions (pdf) |
| Methode d'Euler: | Exercise sheet 5 (pdf) | ||
| Classification des equilibres: | Cours 6 (pdf) | Exercise sheet 6 (pdf) | Exercise sheet 6 w. solutions |
| Classification hierarchique ascendante: | Cours 7 (pdf) | Exercise sheet 7 (pdf) | Exercise sheet 7 w. solutions |
| Classification - centres mobiles: | Cours 8 (pdf) | Exercise sheet 8 (pdf) | Exercise sheet 8 w. solutions |
| Class. (plus proche voisin) et graphes: | Cours 9 (pdf) | Exercise sheet 9 (pdf) | Exercise sheet 9 w. solutions |
Links/Liens
Equations de Lotka-Volterra (Wikipedia francais)
Dynamique des populations (Wikipedia francais)
I encourage you to study also the corrensponding english articles, which are often more detailed.
Modele de Lotka-Volterra interactive - pour les gens qui aiment jouer... (requires Java Runtime Environment)
Useful information
Interactive map of Nice
Map of Campus Valrose
My office is in the building "Recherche Mathematique", called "W".