поддержка курса Введение в теорию программирования. Объектно-ориентированный подход
информация [-] информация [+] Автор: С.В. Зыков

---

?	Уровень: для начинающих || Статус: бесплатный || Опубликован: 19.08.2004 Рейтинг: 4.19 || Популярность: 8 || Студентов: 3687/132

---

Студентам: версия для локальной работы | литература | указатель | учебники | форум | мнения | однокурсники | рейтинг

---

 

экзамен

 

 

экстернат

 

 

диплом

 

 

Лекции:

 

• 0
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18

 

Учебники к курсу

1. Зыков С. В.
   Введение в теорию программирования
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2004
2. Биллиг В.А.
   Основы программирования на C#
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2006
3. Анисимов А.Е., Пупышев В.В.
   Сборник заданий по основаниям программирования
   БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий - ИНТУИТ.ру, 2006
4. Непейвода Н.Н.
   Стили и методы программирования
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2005
5. Борисенко В.В.
   Основы программирования
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2005

Список литературы

1. Атли К.
   VB.NET для программистов.
   ДМК Пресс, 2002. ISBN 5-94074-110-Х
2. Браунси К.
   Основные концепции структур данных и реализация в С++
   М.: Издательский дом "Вильямс", 2002.- 320 с.
3. Вилле К.
   Представляем Си Шарп
   ДМК Пресс, 2001. ISBN 5-94074-039-1
4. Вольфенгаген В.Э.
   Категориальная абстрактная машина
   Изд. 2. М.: АО <ЮрИнфоР>, 2001 - 96 с. ISBN 5-89158-102-7
5. Вольфенгаген В.Э.
   Комбинаторная логика в программировании
   204 с. изд. 2-е, перераб., дополн. - М.: АО "Центр ЮрИнфоР", 2003 - 203 с. ISBN 5-89158-101-9, ББК 32.97
6. Вольфенгаген В.Э.
   Конструкции языков программирования. Приемы описания
   М.: АО <ЮрИнфоР>, 2001, 276 с.
7. Вольфенгаген В.Э.
   Концептуализация в аппликативных вычислительных системах
   М.: МИФИ, 1990
8. Вольфенгаген В.Э., Брызгалов С.В., Гаврилов А.В., Зыков С.В., Исмаилова Л.Ю., Кастанов С.А., Одрова А.Н., Погодаев Г.Г., Сницарь Р.В.
   Категориальная объектно-ориентированная абстрактная машина (КООАМ)
   Информационный бюллетень РФФИ, 4, 1996, c. 786
9. Гейтс Б.
   Бизнес со скоростью мысли.
   М.: Изд-во ЭКСМО-Пресс, 2000.- 480 с.
10. Зыков С.В.
    Современные языки программирования. Ч.I. Функциональный подход к программированию.
    М.:МИФИ - 2003, 230 с.
11. Зыков С.В.
    Современные языки программирования. Ч.II. Объектно-ориентированный подход к программированию.
    М.:МИФИ - 2004, 251 с.
12. Зыков С.В.
    Лабораторный практикум по курсу <Языки программирования>. Ч.1. Основы объектного программирования на С++.
    М.: МИФИ - 2001, 55 с. ISBN 5-7262-0454-9
13. Зыков С.В.
    Лабораторный практикум по курсу <Языки программирования>. Ч.2. Основы разработки приложений на С++ для Win32 API.
    М.: МИФИ - 2001, 45 с. ISBN 5-7262-0454-9
14. Керниган Б., Пайк Р.
    Практика программирования.
    СПб.: Невский диалект, 2001.-381 с.
15. Петцольд Ч.
    Программирование для Microsoft Windows на C#.
    <Русская редакция>, 2002. ISBN 5-7502-0210-0
16. Платт Д.С.
    Знакомство с Microsoft .NET.
    <Русская редакция>, 2001. ISBN 5-7502-0186-4
17. Рейли Д. Дж.
    Создание приложений Microsoft ASP.NET.
    <Русская редакция>, 2002. ISBN 5-7502-0218-6
18. Рекомендации по преподаванию информатики в университетах: Пер. с англ.
    СПб., 2002.- 372 с. ISBN 5-288-03105-3
19. Рихтер Дж.
    Программирование на платформе Microsoft .NET Framework.
    <Русская редакция>, 2002
20. Робинсон У.
    C# без лишних слов.
    ДМК Пресс, 2002. ISBN 5-94074-177-0
21. Смит С.
    ASP.NET в примерах.
    ДМК Пресс, 2002. ISBN 5-94074-165-7
22. Шапошников И.
    Web-сервисы Microsoft .NET.
    <БХВ-Петербург>, 2002. ISBN 5-94157-199-2
23. Appleby D., VandeKopple J.J.
    Programming languages, paradigm and practice (2nd ed.).
    McGraw-Hill, 1997
24. Barendregt H.P.
    The lambda calculus (revised edition),
    Studies in Logic, 103, North Holland, Amsterdam, 1984
25. Box D.
    Essential .NET, Vol.1: The Common Language Runtime.
    Addison Wesley, 2002, 432
26. Canning P.S., Cook W.R., Hill W.L., Olthoff W., Mitchell J.C.
    F-bounded polymorphism for object-oriented programming.
    Conference on Functional Programming and Computer Architecture, 1989, p.p. 273-280
27. Cardelli L.
    A semantics of multiple inheritance.
    In: Information and Computation, vol.76, 1988, p.p. 138-164
28. Church A.
    The calculi of lambda-conversion.
    Princeton, 1941, ed. 2, 1951
29. Cook W., Hill W.L., Canning P.S.
    Inheritance is not subtyping.
    In: Proc. 17th ACM Symposium on Principles of Programming Langauges, Jan. 1990, p.p. 125-135
30. Cook W., Palsberg J.
    A denotational semantics of inheritance and its correctness.
    In: OOPSLA 1989 as SIGPLAN, vol.24, No.10, Oct. 1989, p.p. 433-444
31. Cousineau G., Curien P.-L., Mauny M.
    The categorical abstract machine.
    Science of Computer Programming 8(2): 173-202, 1987
32. Curry H.B., Feys R.
    Combinatory logic, vol.I
    North Holland, Amsterdam, 1958
33. Davis M. (ed.)
    Solvability, probability, definability: the collected works of Emil L. Post
    Boston, Massachusetts, 1994
34. Date C.J.
    Encapsulation is a Red Herring.
    DataBase Programming and Design On-LineFrei, Sept. 1998
35. Floyd R.W.
    A note on mathematical induction on phrase structure grammars.
    Information and Control 4(4): 353-358, 1961
36. Fourman M.
    The logic of topoi.
    In: Handbook of Mathematical Logic, J.Barwise et al., eds. North-Holland, 1977
37. Frei G.
    Helmut Hasse (1898-1979)
    Expositiones Mathematicae 3 (1) (1985), 55-69
38. Gilmore S.
    Programming in Standard ML '97: a tutorial introduction
    
39. Gordon M.J.C.
    Programming language theory and its implementation.
    Prentice-Hall, 1988
40. Gordon M.J.C.
    The denotational description of programming languages.
    Springer-Verlag, 1979
41. Grimes F.
    Microsoft .NET for Programmers.
    Manning Publications, 2002, 386 pp.
42. Gunter C.A., Scott D.S.
    Semantic Domains
    Handbook on theoretical computer science, Vol.B: Formal models and semantics (B):633-674, 1990.
43. Hindley J.R.
    The principal type-scheme of an object in combinatory logic.
    Trans. Amer. Math. Soc., 146:29-60, 1969
44. Hindley J.R., Seldin J.P.
    Introduction to combinators and l-calculus.
    London Mathematical Society Student Texts, 1, Cambridge University Press, 1986
45. Hoare C.A.R.
    An axiomatic basis for computer programming.
    CACM 12(10):576-580, 1969
46. Hodges A. Alan
    Turing and the Turing machine.
    The universal Turing machine: a half-century survey, pp. 3-15, New York, 1988
47. Hughes J.
    Why functional programming matters.
    The Computer Journal, 32 (2): 98-107, April 1989
48. Hughes R.J.M.
    Super combinators: a new implementation method for applicative languages.
    Proc. of the 1982 ACM Symposium on LISP and Functional Programming, Pittsburgh, 1982
49. Kleene S.C.
    l-definability and recursiveness.
    Duke Math. J., p.p. 340-353, 1936
50. Knuth D.E.
    Backus normal form vs. Backus Naur form.
    Comm. ACM 7:12 p.p. 735-736
51. Landin P.
    The next 700 programming languages.
    Communications of ACM, 3, 1966
52. Landin. P.J.
    The mechanical evaluation of expressions.
    Computer Journal, 6:308-320, January 1964
53. Liberty J.
    Programming C#, 3d edition.
    O'Reilly & Associates, 2003, 710 pp. ISBN: 0596004893
54. Lowy J.
    COM and .NET Component Services.
    O'Reilly, 2001, 384 pp.
55. Lowy J.
    Programming .NET Components.
    O'Reilly, 2003, 480 pp.
56. Mauny M., Suarez A.
    Implementing functional languages in the categorical abstract machine.
    Proc. of the 1986 ACM conference on LISP and functional programming, pp. 266-278, Cambridge, Massachusetts, 1986
57. McCarthy J.
    Recursive functions of symbolic expressions and their computation by machine, Part I.
    Com. ACM, April 1960
58. Milner A.J.R.G.
    A proposal for Standard ML.
    Proceedings of the ACM Symposium on LISP and Functional Programming, Austin, 1984
59. Milner R.
    A theory of type polymorphism in programming languages.
    Journal of Computer and System Science, 17(3):348-375, 1978
60. Nathan A.
    NET and COM: The Complete Interoperability Guide.
    Sams, 2002, 1608 pp.
61. Peyton Jones S.L.
    The implementation of functional programming languages.
    Prentice Hall, 1987
62. Plotkin G.D.
    Call-by-name, call-by-value and the l-calculus.
    Theoretical computer science, 1, pp. 125-159, 1936
63. Pratt T.W., Zelkovitz M.V.
    Programming languages, design and implementation (4th ed.).
    Prentice Hall, 2000 (В русском переводе: Пратт Т., Зелкович М., Языки программирования: разработка и реализация.- Спб.: Питер, 2002.-688 с.: ил.)
64. Richter J.
    Applied Microsoft .NET Framework Programming.
    Microsoft Press, 2002, 556 pp.
65. Roussopulos N.D.
    A semantic network model of data bases
    Toronto Univ., 1976
66. Scho. .nfinkel M.
    Uber die Bausteine der matematischen Logik
    Math. Annalen 92, pp. 305-316, 1924. Translation printed as 'On the building blocks of mathematical logic', in van Heijenoort, J. (ed.), From Frege to Godel, Harvard University Press, 1967
67. Scott D.S.
    Domains for denotational semantics.
    ICALP 1982, 577-613
68. Scott D.S.
    Identity and existence in intuitionistic logic.
    In: Application of Sheaves.- Berlin: Springer, 1979, p.p. 600-696
69. Scott D.S.
    The lattice of flow diagrams.
    Lecture Notes in Mathematics, 188, Symposium on Mathematics of Algorithmic Languages.- Springer-Verlag, 1971, p.p. 311-372
70. Stoy J.E.
    Denotational semantics: the Scott-Strachey approach to programming language theory.
    MIT Press, 1977
71. Strachey C.
    Fundamental Concepts in Programming Languages.
    Higher-Order and Symbolic Computation, Vol. 13, No 1/2, April 2000, p.p.11-49.
72. Turing A.M.
    On computable numbers, with an application to the Entscheidungsproblem.
    Proc. of London Mathematical Society, ser .2, vol. 42 p.p. 230-265, 1936-7
73. Thai T.L., Lam H.
    .NET Framework Essentials, 2nd ed.
    O'Reilly, 2002, 376 pp.
74. Thorup L., Tofte M.
    Object-oriented programming and Standard ML.
    Proc. ACM SIGPLAN 1994 Workshop on ML and its applications, Orlando, FL, June 1994, Tech. Report 2265 INRIA, p.p. 41-49
75. Troelsen A.
    C# and the .NET platform (2nd ed.).
    APress, 2003, 1200 pp. (В русском переводе: Троелсен Э., C# и платформа .NET. Библиотека программиста.- Спб.: Питер, 2003.-800 с.: ил.)
76. Turner D.A.
    A new implementation technique for applicative languages.
    Software - Practice and Experience, 9:21-49, 1979
77. Visual C#. NET Step by Step
    Microsoft Press, 2003. ISBN: 0-7356-1909-3
78. Wadsworth C.P.
    Semantics and pragmatics of the l-calculus.
    PhD Thesis, University of Oxford, 1981
79. Wolfengagen V.E.
    Building the access pointers to a computational environment.
    In: Electronic Workshops in Computing, Berlin Heidelberg New York: Springer-Verlag, 1998. p.p. 1-13
80. Wolfengagen V.E.
    Event-driven objects.
    In: Proc. CSIT'1999, Moscow, Russia, 1999, Vol.1, p.p. 88-96
81. Wolfengagen V.E.
    Functional notation for indexed concepts
    In: Proc. WFLP'2000, Benicassim, Spain, Sept. 2000
82. Концепция Microsoft .NET
    
83. Концепция Microsoft .NET
    
84. Концепция Microsoft .NET
    
85. Концепция Microsoft .NET
    
86. Концепция Microsoft .NET
    
87. Концепция Microsoft .NET
    
88. Концепция Microsoft .NET
    
89. Концепция Microsoft .NET
    
90. Концепция Microsoft .NET
    
91. Концепция Microsoft .NET
    
92. Объектно-ориентированное программирование
    
93. Диалект New Jersey языка программирования SML
    
94. Категориальная абстрактная машина и язык программирования CAML
    
95. Язык программирования C#
    
96. Язык программирования ML
    
97. Язык программирования ML
    
98. Язык программирования Clean
    
99. язык программирования Haskell