home *** CD-ROM | disk | FTP | other *** search
/ PC World 2002 March / PCWorld_2002-03_cd.bin / Akce / universum / Data / uni.u08 / xml08 / 087505.xml < prev    next >
Extensible Markup Language  |  2002-01-30  |  1KB  |  43 lines
  1. <?xml version="1.0" encoding="windows-1250"?>
  2. <root>
  3.  <idhesla>087505</idhesla>
  4.  <prednazev></prednazev>
  5.  <prednazevb></prednazevb>
  6.  <nazev>p°φm² d∙kaz</nazev>
  7.  <specsubh></specsubh>
  8.  <jmeno></jmeno>
  9.  <hranata></hranata>
  10.  <kulata></kulata>
  11.  <telo><p>postup p°i dokazovßnφ (<a href="javascript:top.GetURL('024406');" target="_self">d∙kaz</a>) v²roku nebo tvrzenφ, kdy p. d. je °et∞zec v²rok∙, v n∞m₧ jsou <a href="javascript:top.GetURL('007617');" target="_self">axiomy</a>, p°edpoklady a v²roky, kterΘ jsou odvozeny z p°edchozφch Φlen∙ °et∞zce u₧itφm logick²ch  odvozovacφch pravidel tak, ₧e poslednφm Φlenem °et∞zce je dokazovan² v²rok nebo tvrzenφ.</p></telo>
  12.  <dil>7</dil>
  13. <o>
  14. <o1>technika</o1>
  15. <o2>informatika</o2>
  16. <o3></o3>
  17. </o>
  18. <o>
  19. <o1>matematika a fyzika</o1>
  20. <o2></o2>
  21. <o3></o3>
  22. </o>
  23. <odkazz>
  24. <idz>007617</idz>
  25. <nazevz><b>axiom</b></nazevz>
  26. </odkazz>
  27. <odkazz>
  28. <idz>024406</idz>
  29. <nazevz><b>d∙kaz</b> matematika, matematick²</nazevz>
  30. </odkazz>
  31. <odkazna>
  32. <idna>024406</idna>
  33. <nazevna><b>d∙kaz</b> matematika, matematick²</nazevna>
  34. </odkazna>
  35. <predchozi>
  36. <idpredchozi>087504</idpredchozi>
  37. <nazevpredchozi><b>p°φmus</b> ujednßnφ ve smlouv∞</nazevpredchozi>
  38. </predchozi>
  39. <nasledujici>
  40. <idnasledujici>087506</idnasledujici>
  41. <nazevnasledujici><b>p°φm² kohout</b></nazevnasledujici>
  42. </nasledujici>
  43. </root>