Výsledky vyhľadávania
Prejsť na navigáciu
Prejsť na vyhľadávanie
Vyhovujúce názvy stránok
- …ako pravdivé, alebo nepravdivé — v binárnom vyjadrení ako 1 alebo 0. Fuzzy logika je vhodnejšia pre množstvo reálnych rozhodovacích úloh. Používa sa napríkla Fuzzy logika bola formulovaná roku [[1965]] [[Lotfi Asker Zadeh|Lotfim Zadehom]] z [[Kal …9 KB (1 589 slov) - 02:36, 22. február 2022
- …ická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokáže plnohodnotne narábať. Napríklad výrok …alej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Deontická logika ide hlbšie a rozlišuje v tomto výroku dva komponenty: takzvaný '''deontický …3 KB (519 slov) - 23:45, 14. január 2021
- …ická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok …ďalej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvanú '''logickú… …3 KB (548 slov) - 00:42, 12. február 2017
- …tak otázkami dokázateľnosti, ako aj pravdivosti. Je rozšírením [[výroková logika|výrokovej logiky]] o kvantifikátory a predikátové symboly popisujúce vzťahy [[Predikátová logika prvého rádu]] …1 KB (234 slov) - 06:53, 10. marec 2013
- …l = ÚVOD DO MATEMATICKEJ LOGIKY | url = https://www.gljs.sk/~sjiricek/mat/logika.pdf | vydavateľ = Gymnáziu Ľ.J.Šuleka | dátum vydania = | dátum aktualizá …ní možno rozumne povedať, že je pravdivé, alebo že je nepravdivé. Výroková logika rozlišuje [[jednoduchý výrok|jednoduché výroky]] a [[zložený výrok|zložené …7 KB (1 108 slov) - 18:27, 15. máj 2024
- …latinčina|lat.]]) je [[logika|logické]] prevrátenie hodnoty alebo [[Výrok (logika)|výroku]]. Označuje sa znakom <math>\neg</math> alebo apostrofom za výrokom * Negácia na [https://pohodovamatematika.sk/maturita-logika-a-mnoziny.html pohodovamatematika.sk ] …967 bajtů (154 slov) - 19:28, 8. február 2022
- …ická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok …rbu". Niektorí logici považujú doxastickú logiku za variantu [[epistemická logika|epistemickej logiky]]. …4 KB (673 slov) - 00:44, 12. február 2017
- …ní]]; často sa vyjadruje pomocou [[implikácia|implikácie]] a [[Konjunkcia (logika)|konjunkcie]]. Symbolicky sa označuje znakom <math>\Leftrightarrow \!\,</m * [[Konjunkcia (logika)|Konjunkcia]] …1 KB (172 slov) - 23:23, 5. október 2023
- …va logika''' alebo '''Floydova-Hoareova logika''' je [[formálny systém]] [[logika|logických]] pravidiel používaný pri [[verifikácia programov|verifikácii]]… [[Kategória:Matematická logika]] …2 KB (361 slov) - 01:03, 16. november 2023
- * Nepriamy dôkaz na [https://pohodovamatematika.sk/maturita-logika-a-mnoziny.html pohodovamatematika.sk ] [[Kategória:Logika]] …1 KB (183 slov) - 20:18, 21. jún 2020
Zhody v textoch stránok
- …tak otázkami dokázateľnosti, ako aj pravdivosti. Je rozšírením [[výroková logika|výrokovej logiky]] o kvantifikátory a predikátové symboly popisujúce vzťahy [[Predikátová logika prvého rádu]] …1 KB (234 slov) - 06:53, 10. marec 2013
- …ní]]; často sa vyjadruje pomocou [[implikácia|implikácie]] a [[Konjunkcia (logika)|konjunkcie]]. Symbolicky sa označuje znakom <math>\Leftrightarrow \!\,</m * [[Konjunkcia (logika)|Konjunkcia]] …1 KB (172 slov) - 23:23, 5. október 2023
- …latinčina|lat.]]) je [[logika|logické]] prevrátenie hodnoty alebo [[Výrok (logika)|výroku]]. Označuje sa znakom <math>\neg</math> alebo apostrofom za výrokom * Negácia na [https://pohodovamatematika.sk/maturita-logika-a-mnoziny.html pohodovamatematika.sk ] …967 bajtů (154 slov) - 19:28, 8. február 2022
- …ická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok …ďalej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvanú '''logickú… …3 KB (548 slov) - 00:42, 12. február 2017
- …ická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokáže plnohodnotne narábať. Napríklad výrok …alej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Deontická logika ide hlbšie a rozlišuje v tomto výroku dva komponenty: takzvaný '''deontický …3 KB (519 slov) - 23:45, 14. január 2021
- [[Teória (logika)|Teória]] <math>T_{2}</math> je '''konzervatívnym rozšírením''' teórie <mat *[[Jazyk (logika)|jazyk]] teórie <math>T_{2}</math> je nadjazykom jazyka teórie <math>T_{1}< …1 KB (217 slov) - 16:58, 14. marec 2013
- …konštrukciu v [[jazyku (logika)|jazyku]] [[logika|logiky]] alebo [[teória (logika)|teórie]]. Syntaktická skratka sama o sebe nie je súčastou jazyka ani [[abe Jeden z možných prístupov k výstavbe [[výroková logika|výrokovej logiky]] vychádza z logických spojok implikácie <math>\rightarrow …2 KB (305 slov) - 21:34, 17. február 2007
- …va logika''' alebo '''Floydova-Hoareova logika''' je [[formálny systém]] [[logika|logických]] pravidiel používaný pri [[verifikácia programov|verifikácii]]… [[Kategória:Matematická logika]] …2 KB (361 slov) - 01:03, 16. november 2023
- …ická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok …rbu". Niektorí logici považujú doxastickú logiku za variantu [[epistemická logika|epistemickej logiky]]. …4 KB (673 slov) - 00:44, 12. február 2017
- …na|množinu]] vlastností, ktoré v zodpovedajúcom stave platia. [[Temporálna logika|Temporálne logiky]] sa zvyčajne interpretujú v zmysle Kripkeho štruktúr. * [[Temporálna logika]] …2 KB (305 slov) - 19:49, 15. marec 2013
- [[Kategória:Logika]] …433 bajtů (59 slov) - 05:09, 10. marec 2013
- Pre [[Ekvivalencia (logika)|ekvivalenciu]] na množine ''A'' je invariant funkciou <math>f\colon A \to …456 bajtů (66 slov) - 21:38, 1. august 2016
- …l = ÚVOD DO MATEMATICKEJ LOGIKY | url = https://www.gljs.sk/~sjiricek/mat/logika.pdf | vydavateľ = Gymnáziu Ľ.J.Šuleka | dátum vydania = | dátum aktualizá …ní možno rozumne povedať, že je pravdivé, alebo že je nepravdivé. Výroková logika rozlišuje [[jednoduchý výrok|jednoduché výroky]] a [[zložený výrok|zložené …7 KB (1 108 slov) - 18:27, 15. máj 2024
- * [[Disjunkcia (logika)|Disjunkcia]] * [[Konjunkcia (logika)|Konjunkcia]] …3 KB (490 slov) - 23:22, 5. október 2023
- [[Kategória:Logika]] …816 bajtů (123 slov) - 17:42, 25. október 2016
- …vaného tvrdenia. V [[Matematika|matematike]] sa používa pri [[Dokazovanie (logika)|dokazovaní]] [[Teoréma|teorém]] v tvare [[Implikácia|implikácie]] <math>P * Priamy dôkaz na [https://pohodovamatematika.sk/maturita-logika-a-mnoziny.html pohodovamatematika.sk ] …886 bajtů (144 slov) - 21:13, 18. september 2023
- [[Kategória:Logika]] …980 bajtů (140 slov) - 23:09, 5. október 2023
- ! Boolova algebra || [[množinová algebra]] || [[výroková algebra]] (logika) …všeobecnejšie [[Lindenbaumova algebra|Lindenbaumovej algebry]] [[formula (logika)|formulí]]) a množinové algebry. …7 KB (1 009 slov) - 08:16, 14. október 2024
- [[Kategória:Logika]] …956 bajtů (166 slov) - 20:11, 28. apríl 2011
- * Nepriamy dôkaz na [https://pohodovamatematika.sk/maturita-logika-a-mnoziny.html pohodovamatematika.sk ] [[Kategória:Logika]] …1 KB (183 slov) - 20:18, 21. jún 2020