Click here to load reader

Основы формальной и математической логи

  • View
    1.426

  • Download
    3

Embed Size (px)

Text of Основы формальной и математической логи

  • 1. 31 2013 .

2. , 3. . . , , , , . 4. . . ( , ). . . 5. , . 6. , , (, ), (), . 7. 8. 9. , , , . . : - . . , . . . . . 10. . 11. , - , . , , . , ( ) . 12. , . 13. , , . . . . , . 14. 15. 16. .1 .2 .3 , . 17. : . . . , , . 18. : . . , . 19. - 1 , . 2 , . , , . . , , , , . 20. 1 ? , . : . 21. 1 , . 2 . 3 , . ( ), . , ( , , ). 22. 1 , .2 , . . , . 23. 24. , . : , , . ( ), ( ) ( ). : , . 25. (): . (): . (): , , . (): , . 26. 27. 28. , . . , . , . 29. . ( , /) . ? . 30. , . , , . : ?