Β ΕΠΑΛ ΒΙΒΛΙΟ - Eisagogi epistimi ypologiston

  • Published on
    31-Jul-2015

  • View
    84

  • Download
    4

Embed Size (px)

Transcript

<p> 1. &amp; - 2. / A 2014 &amp; - 3. : : . :. , , , PIERCE- , . , 19 , .. . , , , : - : , , 1708-: , () , , 19 , , 19 : : : : 2 49, 106 82, . 210-38.45.594 - Fax: 210-38.08.009-mail: contact@newtech-publications.grURL: www.newtech-pub.com ( 21o ) - . 295450, 1, 2 3 - , - ( 2007 - 2013). 4. 3 ........................................................................................................................................... 7 1. 1.1. ................................................................................. 91.1.1. ................................................................................................................................. 91.1.2. ................................................................................ 91.1.3. ......................................................................... 10 2. 2.1. ............................................................................................................. 132.1.1. ................................................................................................... 132.1.2. ..................................................................................................... 142.1.3. ................................................................................................... 152.1.4. () .......................................................... 16 2.2. ............................................................................................................ 192.2.1. ............................................................................................................. 192.2.2. ................................................................................................ 222.2.3. , , , .............................................................................................. 232.2.4. ................................................................................................... 252.2.5. .................................................................................................. 272.2.6. ....................................................................................... 292.2.7. ............................................................................................. 312.2.7.1. , .................................................................... 322.2.7.2. ..................................................................................................... 332.2.7.3. .......................................................................................................... 342.2.7.4. ..................................................................................................... 382.2.7.5. ........................................................................... 412.2.7.6. ................................................................................................................. 432.2.8. ...................................................... 432.2.9. ........................................................................................... 482.2.10. ......................................................................................................................... 50 2.3. ................................................................................................ 552.3.1. .............. 552.3.1.1. ............................................................ 552.3.1.2. ............................................................................... 582.3.1.3. .................................................................................. 592.3.2. ........................................................................................... 622.3.3. .................................................................................... 70 5. 3. 3.1. ...................................................................................... 773.1.1. ................................................................................. 773.1.2. .............................................................. 773.1.3. ...................................................... 783.1.4. .. ................................................................................................... 7843.1.4.1. ................................................................................................. 783.1.4.2. ............................................................................................ 793.1.4.3. ........................................................................ 793.1.4.4. / ................................................................. 803.1.5. .......................................................................................... 80 3.2. ................................................................................. 833.2.1. ................................................................................. 833.2.2. ............................................................................................... 843.2.3. ................................................................................................................ 853.2.4. (SQL, XML) ........................................................................... 86 3.3. .................................................................................................................... 873.3.1. ......................................................................................... 873.3.2. ................................................................................................................... 883.3.3. .............................................................................................................. 883.3.3.1. ............................................... 883.3.3.2. .................. 883.3.3.3. ........................................................... 893.3.4. .............................................................................................................. 893.3.5. .............................................................................................. 90 3.4. ............................................................................................. 933.4.1. ............................................................................................. 933.4.2. ...................................................................................... 943.4.3. ..................................................................... 953.4.4. .. ............................................ 96 ................................................................................................................................. 97 ..................................................................................................................................... 99 6. /, /. . , , ., , 1.1 / . . 2.1 . , 2.2 , . , . , , . , , 2.3 , . , . , , . , , , . , . , . 3.1 , . , 3.2 , ,, . , 3.3 , , 3.4 , .5 7. , . , . , - . , , , . : , . , .6, 2014 - 8. 1B 1.1. 9. 1B 8 10. 1.19 - .1.1 , , - - , , , -, . - : .1.2 (Theoretical Computer Sci-ence) - , -, . - , -, -. . , , , .1.3 H (Applied Computer Sci-ence) . - - : ; - ; - -; - - ; - 1940 - - . - . - - - -. - - . 11. 1B - ACM.10 , o , . , , , . , -, . , - . , . - . , , . ( ) - ( , , ). - - - - . - - 1. ;2. - , .3. - .4. , , , , . , - . http://www.acm.orgAssociation for ComputingMachineryhttp://www.computer.org/portal/web/guest/homeIEEE-Computer Societyhttp://aisnet.orgAIS: Association forInformation Systems , - -. 12. 2 2.1. 2.2. 2.3. 13. 2 12 14. 2.1 - . -; - - - . - -.13 : .2.1.1 , , - , - . - . - . -. , . - . 2000 , 1/1/2000. , . , , . - . . ( , -, ..) - (.. - ), - (.. - , ..). 2.1. (Rubik) 15. 2 2.2. 14 - . , - , ( ). , , , . , , - , . -, - ( ), - .2.1.2 . . ( ), ... , . . , . , , . - (, , - ), , -. , (Goldbach, - ) - . -, ( ,Karl Popper, 1994) - - - ( ) 6x + 15y = 4. 1970 . 16. 2.12.1.3 20 , (David Hilbert) - , . . 1931, 2.3. David Hilbert (Kurt Gdel) , , . , - - , . , o (Alan Turing) Turing Turing . , - . -, .15 , . : . . - - , - . . , - . -, , . Kurt Gdel 2.4. Alan Turing Pierre de Fermat (Pierre de Fermat): a, b,c - an+bn=cn n&gt;2 1637 . 1995. 17. 2 162.1.4 () - . , . - (). - - . - , - . - , 2.1. 2.1. : . 1. 1.1. 1.2. 2. 2.1. 2.1.1. ;2.1.2. ;2.2. 2.3. 3. . 2.5. - - - - . , - . - -, - -. , - - - - . -, - . - , - . , . 18. 2.1 . - . . . , ., - , - , , . , -, - . 2.2. x + = 0 x, . 2 : x - ( 0) x - ( = 0). 1: 0, 17 x =-. 2: = 0 : - ( 0) - ( = 0). 2.1. 0, . 2.2. = 0, . 2.3. ( 2.6) . - . 2.6. - , , - . - - . - - .: , - x - .: - -. - x -. - . - - : .: , , . -: - - . 2.3 - - . 19. 2 2.7. 181. ;2. - , 19:00;1. , - . . , , - 20 .2. , . - , 15 , 14 12 . . - -. (, , --, , ). - - 1. - .2. . , .3. x2 + x + = 0 x - , .4. , ;5. :. .. .. -.. .. .. 1976 4 . - 1200 . , ,, , ,, ,, ,, 20. 2.219 : .2.2.1 (algorithm) (Muammad ibnMs al-Khwrizm), 825 .. ( 2.8). , -. , ( ) . , , - , - . - . , - , ( 2.9.). - . - , , . - -; -; ; 2.8. - - Algoritmi dixit... ( - ....). 2.9. , . - 20 - - . 21. 2 , - .( , DonaldKnuth, 1981)20, , () - x y. 2.4. () x y. : z . z = 0, x. z 0 x y, z y z x y z 0. -, .. 78 27, : 78 27. 24. 0. 0. 0, 27 24. 3. 0. 0. 0, 24 3. 0. 0, . 3. - :1. 2. x, y 3. z y (-4. z 0 ) 5. z x mod y .6. x y7. y z (x, y) 8. _ , -9. x -10. x, . - (mod) x y . ( z 0) , . - x y , - . - . , y x. , - - - . - - -, -. - - . - - . , - - . , - - -, . 22. 2.2 , , . , , 27 78, - - . - x, y z, 2.1. - 27 78 3. - -. , . . 1 10 2.1. 330 275 .. - 13 , - .21 2.1. x y z z 0 2 27 783 784 5 276 787 274 5 246 277 244 5 36 247 34 5 06 37 04 9 3 , - , 27 78, . , , . . , - 27 78 . , , ., : - . - - . - -, -, - .. 23. 2 22; , , . , .2.2.2 .: . , - .: - . , (- ).: , - . , , - (- ) . - - , , .: - ( ), - . -, . - - 2.4, x, y. -1. (Defi niteness)2. (Finiteness)3. (Effectiveness)4. (Input)5. (Output) , - - , - -. - - ( -). 24. 2.2: - . , , / . - , -. - 2.4, x.2.2.3 , ,23 , . - - , . . (Theory of computation) - . , : - (Computability Theory) - (Computational Complexity Theory). , , :) , ) , - , - . . , x, y, z. , - -. ( ..., z ). , 4 , - . , , ; . . - - - -. - . 25. 2 24 x = 27 y = 78 , . - x, y. , x ( y). , x y, 4logx . , 4 - O(logx) ( logx). . 2.2. n - -. , k , - k, n = k. 2.2: (1) (logn) , ( )(n) (nlogn) (n2) O(n3) (2n) 2.10 - , 2.3 - . 2.10: . Lame - - - - - .s 4,785log10n + 1,6723O (O-notation), - order - , - () .: ; - ; - ; () - ;, - - . - , . 26. 2.2 2.3. -25 4 16 64(logn) 610-10 sec 1,610-8 1,810-8O(nlogn) 210-8 sec 1910-8 1,210-6O(n) 410-8 sec 1610-8 6410-8O(n2) 210-8 sec 2,610-6 410-5O(n3) 6410-8 sec 410-5 310-3O(2n) 1610-8 se...</p>