List of titles
 

 

  1. A talk on the subject of “where do algorithms come from?” – logical programming approach.

  2. What is constructive logics? (A short talk as a basis for discussion).

  3. The most active participation in discussions on the subject of algorithms representations and
    the role of algorithmic thinking. (A short talk titled “Are there things like algorithmic and
    logical style of thinking?”

  4. A debatable talk on the subject of “what should not be done” – status of program
    verification, parallel processing and some optimization methods.

  5. A talk titled “Constructive analysis and algorithms over real numbers”.

  6. A short talk titled “Is it really necessary to know it all?”

For the most part the above are short (5-10 minutes) “inoculating” presentations with deliberately
sharp statement of a question. I would like to make serious presentations on the subjects 1 and 5.

 

N. Nepeivoda

 



Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016