Výsledky hledání

Stránky s odpovídajícím názvem

Stránky s odpovídajícím textem

  • [[Kategorie:Modální logiky]]
    32 bajtů (4 slova) - 5. 9. 2014, 19:01
  • …sána pravidla jejich zřetězování do složitějších útvarů. '''Jazyk výrokové logiky''' – jde o řetězec znaků, který má formální charakter. '''Jazyk se ==Abeceda výrokové logiky obsahuje==
    3 KB (456 slov) - 19. 7. 2016, 10:50
  • …émantika jazyka určuje, jakým způsobem se jednotlivé prvky jazyka výrokové logiky interpretují'''. Jazyk má sloužit jako nástroj k analýze argumentů, j …finujeme funkci I, která každé jednoduché dobře vytvořené formuli výrokové logiky přiřadí právě jednu ze dvou pravdivostních hodnot''' [0,1] příp. [F
    2 KB (428 slov) - 13. 7. 2016, 10:21
  • == Předmět logiky ==
    4 KB (675 slov) - 13. 4. 2016, 16:59
  • ==='''Vztah přirozeného jazyka a formálního jazyka výrokové logiky'''===
    2 KB (387 slov) - 10. 7. 2016, 11:00
  • ==Struktura výrokové logiky==
    3 KB (461 slov) - 19. 7. 2016, 10:34
  • == Vývoj logiky == …považována za samostatnou disciplínu (logika klasická). Teoretické základy logiky (logika antická) byly položeny<ref name="Etika">NYTROVÁ, Olga a Marcela
    6 KB (1 021 slov) - 2. 4. 2017, 19:00
  • …''' - termín, který stojí v závěru na místě subjektu (ve smyslu predikátovélogiky) a vyskytuje se ve druhé premise. …u (ve smyslu [[Definice syntaxe a sémantiky Predikátové logiky|predikátové logiky]]) a vyskytuje se v první premise.
    4 KB (680 slov) - 29. 9. 2020, 23:42
  • …z forcingových technik. Důsledkem tohoto lemmatu je '''úplnost predikátové logiky''' pro spočetné jazyky.
    879 bajtů (140 slov) - 25. 10. 2014, 20:42
  • …e jedničky a někde nuly jedná se o splnitelnou formuli. '''Ke každé spojce logiky je přiřazena tabulka vyjadřující, za kterých pravdivostních ohodnoce
    795 bajtů (122 slov) - 19. 7. 2016, 10:55
  • …ledu [http://wikisofia.cz/index.php/Port%C3%A1l:Filosofie_logiky filosofie logiky]<br/> [[Kategorie: Filosofie logiky]]
    3 KB (427 slov) - 13. 4. 2016, 17:01
  • Základem [[Co je to výroková logika?|výrokové logiky]] je pochopitelně '''výrok'''. Výrokem je každá oznamovací věta, u k '''Mezi nejznámější „zákony“ výrokové [[logika|logiky]] patří např.:'''
    6 KB (1 104 slov) - 11. 9. 2020, 23:24
  • ===<u>Syntax predikátové logiky</u>=== Syntax neboli jazyk predikátové logiky se skládá z proměnných, konstant, relačních a funkčních symbolů, p
    8 KB (1 425 slov) - 20. 5. 2020, 20:40
  • Poznámky z přednášek Booleovy algebry na [http://logika.ff.cuni.cz/ Katedře Logiky].
    1 KB (216 slov) - 18. 11. 2014, 21:41
  • Poznámky z přednášek Booleovy algebry na [http://logika.ff.cuni.cz/ Katedře Logiky].
    1 KB (238 slov) - 13. 11. 2014, 19:02
  • …ové vědě je možné konceptuální modely možné chápat jako součást aplikované logiky (např. konceptuální model informace).
    2 KB (284 slov) - 29. 5. 2018, 10:20
  • ''"Zákony logiky, například vyloučení třetího a sporu, jsou libovolné. Tento výrok j …e0e3296b0da955061e92459fa&tid=&do=predmet&kod=ALG110016&skr=2014 Filosofie logiky]. Doporučenou literaturu k tomuto tématu naleznete [http://wikisofia.cz/i
    5 KB (766 slov) - 13. 4. 2016, 17:01
  • [[Kategorie: Modální logiky]]
    2 KB (330 slov) - 16. 9. 2014, 04:09
  • 2 KB (312 slov) - 18. 1. 2015, 01:40
  • Uvažuje se o vytvoření speciální logiky pro '''evoluční teorie''', aby se dalo mluvit o nějakém živočišném Pojem je hodně diskutovaný a to i mimo pole logiky, takže je celkem velký problém, že jej logika není schopna technicky z
    6 KB (1 105 slov) - 13. 4. 2016, 17:01
  • …ledu [http://wikisofia.cz/index.php/Port%C3%A1l:Filosofie_logiky filosofie logiky]<br/> [[Kategorie: Filosofie logiky]]
    4 KB (735 slov) - 13. 4. 2016, 16:58
  • …chý|Pavlem Tichým]] a patří mezi nejvýznamnější teorie moderní filozofické logiky. Jisté základy uvedl již v roce 1968 ve stati Smysl a procedura (Filosof Transparentní intenzionální logika patří mezi filozofické logiky a zasahuje také významně do [[modální logika|modálních logik]]. Inte
    6 KB (968 slov) - 10. 6. 2020, 20:35
  • …e0e3296b0da955061e92459fa&tid=&do=predmet&kod=ALG110016&skr=2014 Filosofie logiky]. [[Kategorie:Filosofie logiky]]
    5 KB (771 slov) - 13. 4. 2016, 17:01
  • …va algebra]] na množině formulí [[Hilbertovský kalkul|klasické predikátové logiky]]. …h>\mathit{Form_L}</math> je množina všech prvořádových formulí predikátové logiky v jazyce L, a teorii <math>T\subseteq\mathit{Form_L}</math>. Pro každou ta
    9 KB (1 487 slov) - 24. 11. 2014, 13:48
  • …u 1848, Wismar – 26. července 1925, Bad Kleinen) patří mezi nejvýznamnější logiky v dějinách lidstva. znovu do logiky a matematiky. Jednou mi ukázal nekrolog o kolegovi, který jak
    7 KB (1 153 slov) - 14. 5. 2018, 13:40
  • * vycházení z logiky vyučovacího předmětu
    3 KB (439 slov) - 27. 8. 2016, 09:43
  • …e0e3296b0da955061e92459fa&tid=&do=predmet&kod=ALG110016&skr=2014 Filosofie logiky]. [[Kategorie:Filosofie logiky]]
    5 KB (873 slov) - 13. 4. 2016, 17:01
  • …udium smysluplných bloků interakčních systémů, snaha proniknout do vnitřní logiky)
    3 KB (390 slov) - 6. 5. 2014, 15:26
  • * [[Uveďte spojky výrokové logiky a popište jejich sémantiku]]
    6 KB (1 129 slov) - 29. 9. 2020, 23:36
  • | ''A17 Definici syntaxe a sémantiky Predikátové logiky'' || X | ''A19 Principy intenzionální logiky a jejich příklady)''|| X
    11 KB (1 779 slov) - 21. 11. 2015, 13:22
  • Koextenzivní pojmy jsou vzájemně nahraditelné, takže pro účely logiky nezáleží na tom, který užijeme, množiny užíváme jako zastoupení o …dyž <math>\forall F (F(x)\rightarrow F(y))</math>; do klasické predikátové logiky přidáme axiomatická schémata: <math>\forall x(x=x)</math> a <math>\fora
    11 KB (1 892 slov) - 13. 4. 2016, 16:59
  • …tuto teorii považuje za rozvedení klasické korespondenční teorie pro účely logiky, hlásí se k [[Aristotelés|Aristotelovi]].
    10 KB (1 661 slov) - 13. 4. 2016, 17:03
  • …z jazyka Forth, narozdíl od něj však vychází z [[ternární logika|ternární logiky]].<ref name="school"/><br />
    3 KB (559 slov) - 11. 2. 2016, 00:20
  • …ciální rovnice|diferenciálních rovnic]] a [[algebraická logika|algebraické logiky]], nejznámější je pro autorství knihy ''The Laws of Thought (1854)'',
    3 KB (553 slov) - 17. 5. 2017, 14:05
  • …ky]]. Obecně je možné každý konceptuální model vyjádřit pomocí predikátové logiky, ale takové vyjádření je nevhodné a nešikovné pro popis specifiky re
    13 KB (2 215 slov) - 27. 9. 2021, 10:12
  • …jednává o různých matematických a logických paradoxech z pohledu filosofie logiky, nastiňuje různé přístupy a možnosti řešení. Články zaměřené …e0e3296b0da955061e92459fa&tid=&do=predmet&kod=ALG110016&skr=2014 Filosofie logiky].
    11 KB (1 998 slov) - 20. 4. 2016, 02:17
  • | [[Logika]], [[Axiom]], [[Dějiny logiky]], [[Filosofie logiky]], [[Teorie množin]], [[Množiny]], [[Matematika]]
    14 KB (1 831 slov) - 1. 5. 2016, 07:19
  • | 29. [[Uveďte spojky výrokové logiky a popište jejich sémantiku]] | 32. [[Popište, co je to syntaxe výrokové logiky]]
    17 KB (2 716 slov) - 23. 3. 2020, 12:25
  • 5 KB (833 slov) - 5. 4. 2017, 11:50
  • ….-15.století), jejím jádrem dialektika, založená na předpokladech formální logiky'''''<br />
    5 KB (824 slov) - 1. 5. 2016, 15:23
  • …bádání se věnoval mimořádně široké škále témat: od matematiky, matematické logiky, fyziky, geodézie, spektroskopie, a astronomie (tedy matematice a přírod
    5 KB (777 slov) - 5. 2. 2016, 14:26
  • …cit. 2017-02-05]. Dostupné z: http://www.myartve.net/ctyri-typy-booleovske-logiky/</ref>
    7 KB (1 192 slov) - 8. 10. 2018, 19:01
  • …íle ''Zkoumání zákonů myšlení'', na nichž jsou založeny matematické teorie logiky a pravděpodobnosti. Jako první zavedl logické vztahy v [[Algebraické ro …upil dále. Některé vyhledávací systémy už pracují na principech tzv. fuzzy logiky, ale rozhodně to není běžné. Proximitní operátory jsou velkou podpor
    21 KB (3 602 slov) - 12. 5. 2021, 23:12
  • ==Různé logiky masové komunikace==
    15 KB (2 539 slov) - 7. 4. 2017, 10:42
  • * vycházel jen z logiky věci, neexistoval systematický sběr dat
    5 KB (911 slov) - 31. 10. 2015, 19:53
  • …a, 2009. Diplomová práce. Univerzita Karlova, Filozofická fakulta, Katedra Logiky. Vedoucí práce Petr Jirků. [cit. 2018-05-28].</ref> …a, 2009. Diplomová práce. Univerzita Karlova, Filozofická fakulta, Katedra Logiky. Vedoucí práce Petr Jirků. [cit. 2018-05-28].
    13 KB (2 154 slov) - 20. 6. 2018, 09:35
  • …lánek v časopise Library Trends. V článku autorka tvrdí, že z feministické logiky vyplývá genderově zakořeněná logika v přírodě a tradiční logika
    6 KB (1 026 slov) - 11. 4. 2017, 09:41
  • …rávě tehdy, když'' pomocí nichž výroky spojujeme v premisy. Podle výrokové logiky mohou tvrzení nabývat pouze dvou hodnot, buď jsou pravdivá nebo nepravd …ečně uvěřitelný, můžeme usuzování považovat za správné, ačkoliv z hlediska logiky správné není a naopak, i logicky správný závěr může být potlačen
    30 KB (5 262 slov) - 8. 4. 2022, 10:01
  • …ka - zelenina aj.) patří daný objekt. Např. za pomocí [[Fuzzy logika|fuzzy logiky]].
    6 KB (1 010 slov) - 5. 4. 2017, 08:34
  • …oukromý docent na filozofické fakultě Berlínské univerzity, kde vede kurzy logiky, dějiny filozofie, etiky, sociální psychologie a sociologie. Jeho předn
    6 KB (1 059 slov) - 24. 3. 2021, 15:54
  • | 3. [[Popište, co je to syntaxe výrokové logiky]] | 4. [[Popište, co je to sémantika výrokové logiky]]
    15 KB (2 553 slov) - 4. 6. 2021, 10:13
  • …o oporou v terminologii teorie komunikace, [[počítač|počítačů]] a formální logiky se stal zakladatel kybernetiky [[Norbert Wiener|Norbert Wiener]]. Koncem…
    7 KB (1 174 slov) - 17. 5. 2017, 14:09
  • …''intenze''. Tyto jeho myšlenky nakonec vedly k vytvoření ''intenzionální logiky'', čímž došlo k dalšímu posunu v chápání sémantiky, neboť se tak
    7 KB (1 263 slov) - 1. 1. 2017, 18:09
  • …ě se např. za informaci považuje sdělení, které vyhovuje přísným kriteriím logiky či příslušné vědy. V ekonomické vědě se informací rozumí sdělen
    9 KB (1 517 slov) - 29. 5. 2018, 10:16
  • …binaci různých termínů lze použít operátorů [[booleovská logika|booleovské logiky]] a katalogy nabízejí také různé módy [[Uživatelské rozhraní (user
    8 KB (1 288 slov) - 16. 10. 2018, 20:30
  • ** '''[[Predikátová logika|Jazyk predikátové logiky]]''' (predicate logic) - s přesně definovanou syntaxí a sémantikou, kte
    9 KB (1 443 slov) - 15. 1. 2017, 21:30
  • …loviny. Pythagoras nemohl předvídat význam a potenciál čísla dvě v rozvoji logiky [[logika]], binární aritmetiky a elektronického počítání, který dne
    7 KB (1 289 slov) - 11. 4. 2017, 09:28
  • * vědomí je zachováno, staví slova a věty bez logiky (neklade podmět, přísudek, předmět, atd.) …eho vnitřních vazeb/přesvědčení (sám si k tomu názoru dojde, podle vlastní logiky, sám si to vysloví), proto jim tak věří a proto jsou bludy nevratné (
    15 KB (2 679 slov) - 14. 1. 2018, 21:54
  • …avě. Shannon přesvědčivě dokázal, že těmto problémům se lze vyhnout pomocí logiky založené na extrémně malé množině, obsahující jen dva prvky: '''je
    9 KB (1 460 slov) - 18. 7. 2017, 14:54
  • …na Harvardské univerzitě za svou dizertační práci týkající se matematické logiky. Odešel do Anglie, krátce studoval na Cambridgi u Bertranda Russella a v
    8 KB (1 375 slov) - 9. 2. 2019, 16:21
  • …vyplývá, že propojení elektronických relé můžeme vyjádřit pomocí Booleovy logiky. Claude nevyužil konkrétní logiku ke zpracování jeho postupů. Nebyl p
    8 KB (1 395 slov) - 7. 4. 2016, 15:53
  • …u induktivních úsudků ve svém díle systém deduktivní a induktivní [[Logika|logiky]] popsal [[John Stuart Mill]]. <ref name="linhart">LINHART, Jiří. <i>Velk
    9 KB (1 625 slov) - 17. 6. 2020, 11:39
  • …ké školy, který zahrnoval školní literaturu z oblasti gramatiky, rétoriky, logiky, hudby a dalších oborů. Za zmínku stojí také knihovna školy v Jáchy
    9 KB (1 551 slov) - 26. 10. 2016, 18:21
  • …' se např. za informaci považuje sdělení, které vyhovuje přísným kriteriím logiky či příslušné vědy.<br />
    9 KB (1 626 slov) - 18. 5. 2017, 16:37
  • …d. Weaver předpokládá, že překlad by mohl být řešený jako problém formální logiky. Odvození závěrů v cílovém jazyce vychází z obsahu zdrojového jazy
    9 KB (1 576 slov) - 31. 3. 2017, 15:43
  • …lučovat, aniž by byla poznamenána jejich jedinečnost. Modularita vychází z logiky skládání jednotlivých objektů, tedy: text-slovo-slabika-písmeno-znak.
    9 KB (1 541 slov) - 4. 4. 2017, 13:26
  • |A18 [[Definice syntaxe a sémantiky Predikátové logiky]] |A20 [[Principy intenzionální logiky a jejich příklady]]
    34 KB (5 714 slov) - 13. 11. 2020, 12:20
  • …– předpoklad, že lidé operují ve shodě s racionálním principem odvozeným z logiky a pokoušejí se dedukovat platné závěry z premis argumentu. Iracionáln
    22 KB (3 918 slov) - 26. 7. 2022, 10:57
  • * Snaha o vytvoření '''"logiky vědy" '''(metoda logického zkoumání) pro všechna odvětví společensk
    11 KB (1 940 slov) - 20. 11. 2014, 12:12
  • *'''Silný klient:''' část aplikační logiky je na klientské straně. Většinou z důvodů rychlejších odezev systé
    12 KB (2 020 slov) - 23. 3. 2020, 12:24
  • *'''Silný klient (Thick client):''' část aplikační logiky je na klientské straně. Většinou z důvodů rychlejších odezev systé
    12 KB (2 152 slov) - 23. 12. 2020, 02:56
  • …a schopnost k uskutečňování činů vzrůstá. Charakteristickou známkou davové logiky jsou jednak asociace věcí sobě nepodobných, které mají k sobě jen zd
    13 KB (2 377 slov) - 14. 12. 2017, 23:23
  • …, a eleaty, jejichž snaha o jasné, pojmové myšlení vedla později ke vzniku logiky a metafyziky. Další myslitelé stojí na pomezí a je u nich mnohdy patrn
    13 KB (2 457 slov) - 9. 1. 2015, 07:49
  • …S. Reed a DE Muller'''. Muller objevil kódy a Reed navrhl většinu [[Logika|logiky]] dekódování poprvé. Reed-Muller kódy jsou uvedeny jako '''RM (n,k)'''
    14 KB (2 586 slov) - 2. 2. 2021, 00:28
  • …tematicko-technický - původ má v binární soustavě, v počátcích matematické logiky, programování aj.
    15 KB (2 604 slov) - 12. 1. 2016, 15:27
  • | Větší přesnost v pozorování || Lepší zachycení "logiky" komplexního chování osoby ve složitější situaci
    18 KB (3 024 slov) - 15. 12. 2017, 19:21
  • …a kybernetický Původ tohoto proudu pochází z binární soustavy, matematické logiky, programování atd. [[Kybernetika]] jako taková se zrodila na konci 40. l
    21 KB (3 445 slov) - 8. 6. 2018, 11:47
  • …kov (1120) a iné, kde sa venoval ako sémantike, tak aj metodickým postupom logiky podľa svojej tézy Intelligo ut credum ( Snažím sa pochopiť, aby som ve
    16 KB (2 900 slov) - 19. 12. 2018, 18:45
  • …aticko-technický''' - původ má v binární soustavě, v počátcích matematické logiky, programování aj.
    20 KB (3 469 slov) - 4. 4. 2017, 14:10
  • …eho vnitřních vazeb/přesvědčení (sám si k tomu názoru dojde, podle vlastní logiky, sám si to vysloví), proto jim tak věří a proto jsou bludy nevratné (
    23 KB (4 219 slov) - 22. 9. 2018, 16:55
  • …v kontextu [[sociální struktura|sociální struktury]] s důrazem na studium logiky pravidel a principů klasifikace, které organizují a determinují socioku
    31 KB (4 764 slov) - 29. 8. 2018, 15:10
  • …'''. Zatímco myšlení se snaží skutečnostem vnějšího světa porozumět pomocí logiky a rozumu, city vyplývají ze subjektivního hodnocení, vdechují racioná
    64 KB (11 051 slov) - 29. 11. 2020, 12:09