Eisagogi epistimi ypologiston

  • Published on
    20-Jul-2015

  • View
    932

  • Download
    0

Embed Size (px)

Transcript

<ul><li><p>/</p><p> &amp; - </p></li><li><p> /</p><p>A 2014 &amp; - </p></li><li><p>2 : : . : . , , , PIERCE- , . , 19 , .. . , , , : - : , , 1708 -: , () , , 19 , , 19 : : : : </p><p> 49, 106 82, . 210-38.45.594 - Fax: 210-38.08.009-mail: contact@newtech-publications.grURL: www.newtech-pub.com</p><p> ( 21o ) - . 295450, 1, 2 3 - , - ( 2007 - 2013).</p></li><li><p>3</p><p> ........................................................................................................................................... 7</p><p> 1. </p><p> 1.1. ................................................................................. 91.1.1. ................................................................................................................................. 91.1.2. ................................................................................ 91.1.3. ......................................................................... 10</p><p> 2. </p><p> 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. , , , </p><p> .............................................................................................. 232.2.4. ................................................................................................... 252.2.5. .................................................................................................. 272.2.6. ....................................................................................... 292.2.7. ............................................................................................. 31</p><p>2.2.7.1. , .................................................................... 322.2.7.2. ..................................................................................................... 332.2.7.3. .......................................................................................................... 342.2.7.4. ..................................................................................................... 382.2.7.5. ........................................................................... 412.2.7.6. ................................................................................................................. 43</p><p>2.2.8. ...................................................... 432.2.9. ........................................................................................... 482.2.10. ......................................................................................................................... 50 2.3. ................................................................................................ 552.3.1. .............. 55</p><p>2.3.1.1. ............................................................ 552.3.1.2. ............................................................................... 582.3.1.3. .................................................................................. 59</p><p>2.3.2. ........................................................................................... 622.3.3. .................................................................................... 70</p></li><li><p>4</p><p> 3. </p><p> 3.1. ...................................................................................... 773.1.1. ................................................................................. 773.1.2. .............................................................. 773.1.3. ...................................................... 783.1.4. .. ................................................................................................... 78</p><p>3.1.4.1. ................................................................................................. 783.1.4.2. ............................................................................................ 793.1.4.3. ........................................................................ 793.1.4.4. / ................................................................. 80</p><p>3.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. .............................................................................................................. 88</p><p>3.3.3.1. ............................................... 883.3.3.2. .................. 883.3.3.3. ........................................................... 89</p><p>3.3.4. .............................................................................................................. 893.3.5. .............................................................................................. 90 3.4. ............................................................................................. 933.4.1. ............................................................................................. 933.4.2. ...................................................................................... 943.4.3. ..................................................................... 953.4.4. .. ............................................ 96</p><p> ................................................................................................................................. 97</p><p> ..................................................................................................................................... 99</p></li><li><p>5 /, /. . , , ., , 1.1 / . . 2.1 . , 2.2 , . , . , , . , , 2.3 , . , . , , . , , , . , . , . 3.1 , . , 3.2 , , , . , 3.3 , , 3.4 , .</p></li><li><p>6 , . , . , - . , , , . :</p><p> , . , .</p><p>, 2014 </p><p>-</p></li><li><p>1.1. </p><p>B 1 1 1</p></li><li><p>8</p><p>1B </p></li><li><p>9</p><p>1.1</p><p> - </p><p> .</p><p>1.1 , , - - , , , -, . - : .</p><p>1.2 (Theoretical Computer Sci-ence) - , -, . - , -, -. . , , , .</p><p>1.3 H (Applied Computer Sci-ence) . - - :</p><p> ; - ; - -; - - ;</p><p> - 1940 - - .</p><p> - . - - - -. - - .</p></li><li><p>10</p><p>1B , o , .</p><p> , , , .</p><p> , -, .</p><p> , - .</p><p> , .</p><p> - .</p><p> , , .</p><p> ( ) - ( , , ).</p><p> - - - - .</p><p> - - 1. ;2. -</p><p> , .</p><p>3. - .</p><p>4. , , , , . , - .</p><p>http://www.acm.orgAssociation for Computing Machinery</p><p>http://www.computer.org/portal/web/guest/homeIEEE-Computer Society</p><p>http://aisnet.orgAIS: Association for Information Systems</p><p> - ACM.</p><p> , - -.</p></li><li><p>2.1. </p><p>2.2. </p><p>2.3. </p><p> 2 2 2</p></li><li><p>12</p><p>2 </p></li><li><p>13</p><p>2.1</p><p> : .</p><p>2.1.1 , , - , - . - .</p><p> - .</p><p> -.</p><p> , .</p><p> - .</p><p> 2000 , 1/1/2000.</p><p> , . , , . - . . ( , -, ..) - (.. - ), - (.. - , ..).</p><p> 2.1. (Rubik)</p><p> - . -; - - - .</p><p> - -.</p></li><li><p>14</p><p>2 </p><p> - . , - , ( ).</p><p> , , , .</p><p> , , - , . -, - ( ), - .</p><p>2.1.2 .</p><p> .</p><p> ( ), ... , .</p><p> . , .</p><p> , , .</p><p> - (, , - ), , -. , (Goldbach, - ) - .</p><p> -, ( , </p><p>Karl Popper, 1994)</p><p> - - - ( ) 6x + 15y = 4. 1970 .</p><p> 2.2. </p></li><li><p>15</p><p>2.12.1.3 </p><p> 20 , (David Hilbert) - , . . 1931, (Kurt Gdel) , , . , - - , . , o (Alan Turing) Turing Turing . , - . -, .</p><p> , . :</p><p> . . - - , - .</p><p> .</p><p> , - . -, , .</p><p> 2.4. Alan Turing Pierre de Fermat</p><p> 2.3. David Hilbert Kurt Gdel</p><p> (Pierre de Fermat): a, b, c - an+bn=cn n&gt;2 1637 . 1995.</p></li><li><p>16</p><p>2 </p><p>2.1.4 ()</p><p> - . , . - (). - - . - , - . - , 2.1. 2.1. : .</p><p> 1. </p><p>1.1. 1.2. </p><p>2. 2.1. </p><p>2.1.1. ;2.1.2. ;</p><p>2.2. 2.3. </p><p>3. . </p><p> 2.5. </p><p> - -</p><p> - - . , - .</p><p> - -, - -. , - - - - .</p><p> -, - . - , - . , .</p></li><li><p>17</p><p>2.1 . - .</p><p> .</p><p> . , . , - , - , , . , -, - . 2.2. x + = 0 x, .</p><p> 2 : x - ( 0) x - ( = 0). 1: 0, </p><p> x =</p><p> - </p><p> .</p><p> 2: = 0 : - ( 0) - ( = 0). 2.1. 0, . 2.2. = 0, .</p><p> 2.3. ( 2.6) . - .</p><p> 2.6. </p><p> - , , - . - - . - - .</p><p>: , - x - .: - -. - x -. - . - - : .: , , . -: - - . 2.3 - - .</p></li><li><p>18</p><p>2 </p><p>1. ;2. -</p><p> , 19:00;</p><p>1. , - . . , , - 20 .</p><p>2. , . - , 15 , 14 12 .</p><p> . - -. (, , --, , ). - - 1. -</p><p> .2. . </p><p> , .</p><p>3. x2 + x + = 0 x - , . </p><p>4. , ;</p><p>5. :. .. .. -</p><p>.. .. .</p><p> 1976 4 . - 1200 .</p><p> , , , , , , , , , ,</p><p> 2.7. .</p></li><li><p>19</p><p>2.2</p><p> : </p><p> .</p><p>2.2.1 (algorithm) (Muammad ibn Ms al-Khwrizm), 825 .. ( 2.8). , -. , ( ) . , , - , - .</p><p> - . , - , ( 2.9.). - . - , , .</p><p> - -; -; ;</p><p> 2.8. </p><p> - - Algoritmi dixit... ( - ....).</p><p> 2.9. </p><p> , . - 20 - - .</p></li><li><p>20</p><p>2 </p><p>, , () - x y. 2.4. () x y.</p><p> : 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, y3. z y4. z 0 5. z x mod y6. x y7. y z8. _9. x10. </p><p> (-) . (x, y) , - - x, .</p><p> - (mod) x y . ( z 0) , . - x y , - . - .</p><p> , y x. , - - - . - - -, -. - - . - - . , - - . , - - -, .</p><p> , - .( , Donald Knuth, 1981) </p></li><li><p>21</p><p>2.2 , , </p><p> . , , 27 78, - - . - x, y z, 2.1. - 27 78 3.</p><p> 2.1. </p><p> 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</p><p> , - , 27 78, . , , . . , - 27 78 . , , ., : -</p><p> . - - . - -, -, - ..</p><p> 330 275 .. - 13 , - .</p><p> - -. , . . 1 10 2.1.</p></li><li><p>22</p><p>2 </p><p>; , , . , .</p><p>2.2.2 .: .</p><p> , - .: - .</p><p> , (- ).: , - .</p><p> , , - (- ) . - - , , .: - ( ), - .</p><p> -, . - - 2.4, x, y.</p><p> -</p><p>1. (Defi niteness)</p><p>2. (Finiteness)3. (Effectiveness)</p><p>4. (Input)5. (Output)</p><p> , - - , - -. - - ( -).</p></li><li><p>23</p><p>2.2: -</p><p>.</p><p> , , / . - , -. - 2.4, x.</p><p>2.2.3 , , , .</p><p> - - , . .</p><p> (Theory of computation) - .</p><p> , : - (Computability Theory) - (Computational Complexity Theory). , , :) , </p><p> ) , -</p><p> , - .</p><p> .</p><p> , x, y, z. , - -. ( ..., z ). , 4 ,...</p></li></ul>