Sergey Nikolenko

Main page

Books
Research papers
Talks and posters
Students
Popular science
Other stuff

   Research
CS and crypto
Bioinformatics
Machine learning
Algebraic geometry
Algebra
Bayesian networks
Earth sciences

   Teaching
 2014
ML, KFU
Game Theory, HSE
Mech. Design, HSE
ML, CSClub Kazan
Game theory, HSE
Math. logic, AU
Machine learning, STC
Machine learning, AU
 2013
Discrete math, HSE
Machine learning, STC
Math. logic, AU
Cryptography, AU
 2012
Machine learning, STC
Math. logic, AU
Machine learning II, AU
Machine learning, AU
Machine learning, EMC
 2011
Cryptography, AU
Math. logic, AU
Machine learning, AU
 2010
Math. logic, AU
Machine learning, AU
Cryptography, AU
 2009
Crypto in CS Club
Statistics
Machine learning, AU
Cryptography
 2008
Speech recognition
MD for CS Club
ML for CS Club
Mechanism design
 2007
Machine Learning
Probabilistic learning

  External links
Google Scholar profile
DBLP profile
LiveJournal account
nikolenko (in Russian)

Teaching activities

Mathematical Logic

This one-year course was presented in the fall of 2010 and the spring of 2011 in the St. Petersburg Academic University as part of the recently established Chair of Mathematics and Computer Science. The first semester served as a reminder and/or introduction of the basic notions of mathematical logic, and the second semester was an advanced course primarily centered on model theory.

The course has been similar to the previous one; course materials will appear on this page later.

Selected references

1. Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. В 3-х тт. М., МЦНМО, 2008.

2. D. Marker. Model Theory: An Introduction. Springer-Verlag New York, 2002.

3. H.-D. Ebbinghaus, J. Flum, W. Thomas. Mathematical Logic. Springer-Verlag New York, 1984.