Benedikt Ahrens
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
I am responsible for the Seminaire Pampers Facile, the seminar for people who are interested in maths, by the PhD students of Labo JAD. 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
Page du cours de l'annee 2008/09 avec cours, exos et solutions. Attention: les exos de cette annee seront un peu pareils, mais pas les memes...
Dates de cours:
- semaine du 9 nov: cours
- semaine du 16 nov (fete de la science): pas de cours
- trois dernieres seances: semaine du 23 nov, 30 nov, 7 dec
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)
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".