5555241308
AUTOMATYCZNE DOWODZENIE TWIERDZEŃ
Jest to dziedzina wiedzy, której celem jest konstruowanie programów komputerowych umożliwiających dowodzenie twierdzeń w teoriach, w których zostały sformułowane. Ponieważ klasyczny rachunek zdań jest rozstrzygałny, więc teoretycznie istnieje algorytm pozwalający dla dowolnej formuły rachunku zdań w skończonej liczbie kroków rozstrzygnąć, czy jest ona twierdzeniem tego rachunku.
Wyniki rozważań dotyczących złożoności obliczeniowej wydają się przekreślać możliwość uzyskania algorytmu, który rozpoznawałby zbiór twierdzeń rachunku zdań zużywając do tego liczbę kroków wyrażoną zależnością wielomianową od długości formuły.
Nie przekreśla to jednak możliwości konstruowania skutecznych w zastosowaniach algorytmów, które dotyczą tylko formuł o skończonej długości. Przykładem jest dowód „problemu czterech barw”.
Wyszukiwarka
Podobne podstrony:
POJĘCIE TOWAROZNAWSTWO Towaroznawstwo jest to rozległa dziedzina wiedzy, której przedmiotem poznania
Czy kierowanie jest sztuką czy nauką ścisłą? Jedni uważają, że kierowanie to dziedzina wiedzy, która
Zdjęcie0222 ■■■HM Diagnostyka techniczna jest to dziedzina wiedzy, obejmująca całokształt tigadmeń
WSTĘP DO TOWAROZNAWSTWA ZWIERZĘCEGO Towaroznawstwo-jest rozległą dziedznią wiedzy, której przedmiote
Energetyka to dziedzina wiedzy zajmująca się wytwarzaniem, przesyłaniem i dystrybucją energii w syst
4. Podstawowe pojęcia elektroniki Elektronika to dziedzina wiedzy i techniki zajmu
WSTĘPlocja morska Locja to dziedzina wiedzy morskiej zajmująca si y rzezy z punktu widzenia bezpiecz
DSCF7769 - jest dziedziną BN, której celem jest przeciwstawienie się zewnętrznym zagrożeniom
DSCF3055 Chronobiologia (gr. chronos ‘czas’, bios ‘życie’) Chronobiologia to dziedzina wiedzy zajmuj
Public Relations jest teoretyczną i praktyczną dziedziną nauki, której celem jest wypracowywanie i w
WYKŁAD 1 Logika to pojęcie wieloznaczne; to dziedzina wiedzy, która zajmuje się metodami poprawnego
54093 Montignac nad Wisłą Metoda MONTIGNAC nie jest dietą to swoista filozofia, której celem jest ob
scan 2 INDUKCJA MATEMATYCZNA Jest to sposób dowodzenia twierdzeń, w których mowa o liczbach naturaln
Beata Oznacza osobę, której się szczęści, i szlachetną. Zajmuje się filantropią--^—^ Jest to dziedzi
Informatyka to bardzo nowoczesna dynamicznie rozwijająca się dziedzina wiedzy. Wykorzystywana jest n
Pojęcia podstawoweCzym się zajmuje automatyka? • Automatyka jest dziedziną wiedzy,
więcej podobnych podstron