Корисник:MarkoStankovic88/песак

Теорија доказа је грана математичке логике која представља доказе као формалне математичких објекте и олакшавање њихову анализу математичким техникама. Докази се обично представљају као структура индуктивно дефинисаних података као што су обичне листе, листе у кутијици или дрвета, који су изграђени у складу са аксиома и правилима закључивања логичког система. Као таква, теорија доказа је по природи синтаксичка, за разлику од теорије модела, која је семантичке природе. Заједно са теоријом модела, аксиоматске теорије скупова и теорије рекурзије, теорија доказа је један од такозваних четири стуба основама математике.

MarkoStankovic88/песак
Локација	Петриље
Држава	Србија

Ћоров водопад се налази у атару села Петриље, на 300 метара од магистралног пута М9 који повезује Лесковац и Приштину. Удаљен је 8 км од Медвеђе и 7 км од Сијаринске Бање. Дужина тока Ћоровог потока, на коме се водопад налази, од извора до ушћа у Туларску реку је свега 500 метара. Ни током најсушнијих година, Ћоров поток не пресушује па водопад има воде током целе године. На пар десетина метара од водопада изграђени су летњиковац и мини парк.

Легенда

Водопад је добио назив по легенди која датира из периода под турском влашћу. Конфигурација терена је таква да се налази на скровитом месту о чему најбоље сведочи и податак да је веома мали број мештана знао за његово постојање пре његовог уређења. Према легенди девојке су прале веш и купале се испод водопада, а пошто је једина стаза која води до вододапа само њима била видљива, могле су на време да примете да им неко долази. Најхрабрији међу момцима би дошли другим правцем, преко стена који је много неприступачнији и то је било искушење за најхрабрије. Онај ко би успео да то учини, могао је за себе да одабере девојку која му се свиђа и узме је себи за жену.

Галерија

• 
  Доњи казан водопада