20/03/2023
. , , , PHP Bootstrap , .
16/03/2023
. , , , , chatGPT, .
13/03/2023
. Twig PHP, , , , React DOM-.
.
|
|
|||||||||||
..
.
, , . , , , . , . , , , .
, , . .
Those models, methods and means are covered that are based on the notation of object. An approach based on the operations of application and functional abstraction is used resulting in the closed consideration of applicative computations within the elementary framework. The material covered in this book was used for delivering the various versions of courses in computer science.
The essential theoretical background corresponds to the high international level, and the basic computational ideas, notions and definitions are explicated.
The book is intended for computer science students and professionals in informatics. It may be used as a sourcebook for graduate course on theoretical computer science.
.
(.. , .. )
I
- I
- 1
- 1.1.1
- 1.1.2
- 1.1.3
- 1.2
- 1.2.1
- 1.2.2
- 1.2.3 \lambda-
- 1.2.4
- 1.3
- 2
- 2.1
- 2.2
- 2.2.1
- 2.2.2
- 2.3
- 2.3.1
- 2.3.2
- 2.4
- 2.4.1
- 2.4.2
- 2.4.3
- 2.4.4
- 2.5
- 2.5.1
- 2.5.2
- 2.6 ,
- 2.7
- 2.8
- 2.9
- 3
- 3.1
- 3.1.1
- 3.1.2
- 3.1.3
- 3.2
- 3.3
- 3.4
- 3.4.1
- 3.4.2
- 3.5
- 3.6
- 4
- 4.1
- 4.1.1
- 4.1.2
- 4.2
- 4.2.1
- 4.2.2
- 4.3
II
- II
- 5 \lambda-
- 5.1 $\lambda$-
- 5.1.1
- 5.1.2
- 5.1.3
- 5.2 : -
- 5.2.1
- 5.2.2
- 5.2.3
- 5.2.4
- 5.2.5
- 5.3
- 5.4
- 5.4.1
- 5.4.2 -
- 5.5 $\lambda$-
- 5.5.1
- 5.5.2
- 5.6
- 6
- 6.1
- 6.1.1
- 6.1.2
- 6.1.3
- 6.2
- 6.2.1
- 6.2.2
- 6.3
- 6.3.1
- 6.3.2
- 6.4
- 6.5
- 6.6
- 6.6.1
- 6.6.2
- 6.6.3
- 6.6.4 -
- 6.7
- 7 \lambda-
- 7.1
- 7.2 $\lambda$- $-
III
- III
- 8
- 8.1
- 8.1.1
- 8.1.2
- 8.1.3
- 8.2
- 8.3
- 8.3.1
- 8.3.2
- 8.4
- 8.5 $\lambda$-
- 8.6 --
- 8.6.1
- 8.6.2
- 8.6.3
- 8.6.4
- 8.7
- 8.7.1 -
- 8.7.2
- 8.8
- 9 :
- 9.1
- 9.1.1
- 9.1.2
- 9.1.3
- 9.1.4
- 9.2
- 9.2.1
- 9.2.2
- 9.2.3
- 9.3
- 9.3.1
- 9.3.2
- 9.3.3
- 10
- 10.1
- 10.2 ...
- 10.3
- 10.4
- 10.4.1
- 10.4.2
IV
- IV
- 11
- 11.1
- 11.1.1
- 11.1.2
- 11.1.3
- 11.2
- 11.2.1
- 11.2.2
- 11.3
- 11.4
- 12
- 12.1 {342 {section.12.1
- 12.1.1
- 12.1.2 \beta-
- 12.1.3
- 12.1.4 CCL
- 12.2
- 12.2.1
- 12.2.2
- 12.3
- 12.4
- 13
- 13.1
- 13.1.1
- 13.1.2
- 13.1.3
- 13.1.4
- 13.2
- 13.2.1
- 13.2.2
- 13.2.3
- 13.2.4
- 13.2.5
- 13.2.6
- 13.2.7
- 13.2.8
- 13.3
- 13.3.1
- 13.3.2
- 13.3.3
- 14
- 14.1
- 14.1.1
- 14.1.2
- 14.1.3
- 14.1.4
- 14.1.5
- 14.1.6
- 14.1.7
- 14.1.8
- 14.1.9
- 14.1.10
- 14.2
- 14.2.1
- 14.2.2 /
- 14.2.3
- 14.2.4
- 14.2.5
- 14.3
- 15 $\lambda $-
- 15.1
- 15.1.1
- 15.1.2
- 15.1.3
- 15.1.4
- 15.2
- 15.2.1
- 15.2.2
- 15.2.3
- 15.2.4
- 15.2.5
- 15.2.6
- 15.2.7
- 15.3 --
- 15.3.1
- 15.3.2 ,
- 15.4
- 16 :
- 16.1
- 16.1.1
- 16.1.2
- 16.2.1
- 16.2.2
- 16.2.3
- 16.2.4
- 17.1
- 17.1.1
- 17.1.2
- 17.2
- 17.2.1
- 17.2.2
- 17.2.3
- 17.2.4
- 17.3
VI
- VI
- 18 (.. )
- 18.1
- 18.1.1
- 18.1.2
- 18.1.3
- 18.1.4
- 18.2
- 18.2.1
- 18.2.2
- 18.3 $-
- 18.3.1
- 18.3.2 $-
- 18.3.3
- 18.4
- 19 (.. )
- 19.1
- 19.2
- 19.3
- 19.3.1
- 19.3.2
- 19.4
- 19.4.1
- 19.4.2
- 19.5
- 20
- 20.1
- 20.1.1
- 20.1.2 $\Xi$
- 20.2 $-
- 20.2.1
- 20.2.2 $-
- 20.3
- 20.4
VII
- A -
- A.1
- A.2
- A.3
- A.4
- B
- B.1
- B.2 -
- C
- C.1
- C.1.1
- C.1.2
- C.1.3
- C.1.4
- C.1.5
- C.1.6
- C.1.7
- C.1.8
- C.1.9
- C.1.10
- C.1.11
- C.2 : \pi
- C.2.1
- C.2.2
- ..
