По направлению подготовки бакалавра прикладной математики и информатики

  • View
    54

  • Download
    6

Embed Size (px)

DESCRIPTION

. ________________________________________________________________________. . - PowerPoint PPT Presentation

Transcript

________________________________________________________________________: -13-08 .. : ..., . .., 2012 . . , .

.

.

.

. , , . . . . . . 2 . , : P ~P. . , P Q, , , P, Q. , . . procedure Debate : q , ._ , 0 1, . : . : _ _ . 1. _ = 0. 2. _ = 0., . 3. p . 4. p = q, : p > _, _ . 5. p = ~q, : p > _, _ . . 6. _ > _, , , . .Procedure p (1). procedure Reasoning : q , . : . : , 0 1. 1. q , , 2. 2. ~q , , 3., . 3. p 4. r = q r = ~q, 5. 5. p. 6. r , = , 7. 7. ~r , = , 8. 8. Reasoning r. 9. r = ~q, = ~. 10. = , r . . 11. Defeat. 12. q , p , 12 13. ~q , q , 13. 14. _ q, > _ ~q, , p , p . ._ COUNT(*) procedure Defeat : . : . , . 1. , p . 2. p, , . 3. p . , . 4. , , p , p , , , p c . 5. p , , , p . . . ( , ). , , -, . -, , . , , , . SMO C#. , MS SQL Server, . , Windows XP . .

. 9 , . . , . .

. , CASE- ERWin DATA Modeler C# MS Visual Studio 2010. , . SMO.

. 1 . ? , , . , , .:QUAKERREPUBLICAN :PACIFIST