Вопросы для самоконтроля

• 1. Что такое колмогоровская сложность?
• 2. С какими программами обоснования математики ближе всего связана информатика?
• 3. В чем отличие «данных» от «информации»?
• 4. Каковы особенности информатики как науки?
• 5. Можно ли убедиться в корректности доказательства теоремы, приведенного машиной?
• 6. В чем отличие Машины Тьюринга от персонального компьютера?
• 7. Существует ли эффективное решение любой формализуемой задачи?
• 8. Материальный ли объект — компьютерная программа?
• 9. Каков онтологический статус информации?
• 10. Какие виды сложности рассматривает информатика?

Использованная литература

• 1. http://www.cs.ox.ac.uk
• 2. http://csl.stanford.edu
• 3. http://www.eecs.mit.edu
• 4. http://cs.msu.ru
• 5. http://crec.mipt.ru
• 6. http://www.iacsit.org
• 7. http://www.ieee.org/
• 8. http://www.acm.org
• 9. Верещагин, Н. К. Колмогоровская сложность и алгоритмическая случайность / Н. К. Верещагин, В. А. Успенский, А. X. Шень. — М.: МЦНМО, 2013.
• 10. Вирт, Н. Алгоритмы и структуры данных / Н. Вирт. — М.: Мир, 1989
• 11. Кпут, Д. Искусство программирования /Д. Кнут. — Т. 1. Основные алгоритмы. — М.: Вильямс, 2006.
• 12. Таха, X. А. Введение в исследование операций / X. А. Таха. — М.: Вильямс, 2007.
• 13. Френкель, А. А. Основания теории множеств / А. А. Френкель, И. БарХиллел. — М.: Мир, I960.
• 14. Aho, А. V. Foundations of Computer Science / A. V. Aho, J. D. Ullman. C Edition. W. H. Freeman, 1995.
• 15. Arora, S. Computational Complexity: A Modern Approach / S. Arora, B. Barak. — Cambridge: Cambridge University Press, 2009.
• 16. Audi, R. The Cambridge Dictionary of Philosophy / R. Audi. — 2^nd ed. — Cambridge, UK: Cambridge University Press, 1999.
• 17. Bridges, D. S. Richman F. Varieties of constructive mathematics / D. S. Bridges. — Cambridge: Cambridge University Press. 1987.
• 18. Church, A. An unsolvable problem of elementary number theory / A. Church // American Journal of Mathematics. — 1936. — Vol. 58. — № 2.
• 19. Cook, S. A. The P versus NP-Problem / S. A. Cook. — Clay Mathematics Institute. 2000.
• 20. Floridi, L. Is Semantic Information Meaningful Data? / L. Floridi // Philosophy and Phenomenological Research. — 2005. — Vol. 70. — № 2.
• 21. Mattery, J. Hermeneutics: From Textual Explication to Computer Understanding, The Encyclopedia of Artifcial Intelligence, / J. Mallery, R. Hurvvitz, G. Duy; ed. by Stuart. C. Shapiro. — New York, John Wiley & Sons, 1987.
• 22. SearleJ. Minds, Brains, and Programs / J. Searle // The Philosophy of Artificial Intelligence /ed. M. Bodcn. — Oxford, 1990.
• 23. Shannon, С. E. A Mathematical Theory of Communication / С. E. Shannon // Bell System Technical Journal. — 1948. — № 27.
• 24. Simon, II. A. 1969, The Sciences of the Artificial / II. A. Simon. — Cambridge; Massachusetts, 1996.
• 25. Troelstra, A. S. From Constructivism to Computer Science / A. S. Troelstra // Theoretical Computer Science 211. — 1999.
• 26. Turing, A. M. On Computable Numbers, with an Application to the Entscheidungsproblem / A. M. Turing // Proceedings of the London Mathematical Society. — 1937. — Series 2, 42.
• 27. Turner, R. The Philosophy of Computer Science / A. M. Turing; ed. E. N. Zalta // The Stanford Encyclopedia of Philosophy. — 2013.
• 28. Weaver, IF. Science and complexity / W. Weaver // American Scientist. — 1948. — 36.

Рекомендуемая литература

Верещагин, H. К. Колмогоровская сложность и алгоритмическая случайность / Н. К. Верещагин, В. А. Успенский, А. X. Шень. — М.: МЦНМО, 2013.

Arora, S. Computational Complexity: A Modern Approach / S. Arora, B. Barak. — Cambridge: Cambridge University Press, 2009.

Bridges, D. S. Richman F. Varieties of constructive mathematics / D. S. Bridges. — Cambridge: Cambridge University Press. 1987.

Turner, R. The Philosophy of Computer Science / A. M. Turing; ed. E. N. Zalta // The Stanford Encyclopedia of Philosophy. — 2013.