Paieškos rezultatai
Pereiti į navigaciją
Jump to search
Puslapių pavadinimų atitikmenys
- '''Teiginių logika''' – [[simbolinė logika|matematinės]] [[logika|logikos]] [[mokslas|mokslo]] teorija, kurioje formaliosios kalbos simboliai ...juos sudarančius elementus.<ref>{{vle|teiginiu-logika|2024-09-17|teiginių logika|Jonas Dagys}}</ref> ...61 KiB (9 396 žodžiai) - 20:51, 17 rugsėjo 2024
- '''Predikatų logika''' – [[matematinė logika|matematinės]] [[logika|logikos]] rūšis, kuri tyrinėja požymio priskyrimo objektui loginę raišką. T [[Logika|Logikoje]] [[funkcija]] atlieka [[klasė|klasių]] [[elementas|elementų]] sug ...49 KiB (7 613 žodžių) - 08:57, 7 lapkričio 2023
- ...otavimą, jo prielaidoms ir išvadai nubraižoma bendra [[Teisingumo lentelė (logika)|teisingumo lentelė]]. Jei egzistuoja tokia šios lentelės eilutė, kurioje v [[Kategorija:Matematinė logika]] ...3 KiB (330 žodžių) - 08:39, 4 vasario 2021
- '''Bandymų ir klaidų metodas''' [[Teiginių logika|teiginių logikoje]] yra vienas iš būdų samprotavimo pagrįstumui įvertinti. Skirtinguose [[Logika|logikos]] vadovėliuose šis metodas vadinamas nevienodai. „Bandymų ir klaidų ...2 KiB (334 žodžiai) - 06:58, 4 rugpjūčio 2009
Puslapio turinio atitikmenys
- '''Disjunkcija''' ({{la|disjunctio}} – atskyrimas) – [[Logika|loginis]] veiksmas, reiškiamas jungtimi ar / arba.<ref>{{vle|disjunkcija|20 * [[Konjunkcija (logika)|Konjunkcija]] ...1 KiB (195 žodžiai) - 08:46, 7 lapkričio 2023
- ...otavimą, jo prielaidoms ir išvadai nubraižoma bendra [[Teisingumo lentelė (logika)|teisingumo lentelė]]. Jei egzistuoja tokia šios lentelės eilutė, kurioje v [[Kategorija:Matematinė logika]] ...3 KiB (330 žodžių) - 08:39, 4 vasario 2021
- ...}}) – [[logika|loginis]] [[Argumentas (logika)|argumentavimo]], [[Teiginių logika#Įrodymai|netiesioginio įrodymo metodas]], siekiant atskleisti pasirinkto te * [[Logika]] ...3 KiB (412 žodžių) - 11:17, 20 vasario 2024
- ...tacijos klaida]], kai teiginys išvedamas iš savęs paties (pagal [[teiginių logika|teiginių logikos]] dėsnį „jei ''p'', tai ''p''“). [[Kategorija:Logika]] ...2 KiB (1 žodis) - 16:58, 26 lapkričio 2022
- '''Bandymų ir klaidų metodas''' [[Teiginių logika|teiginių logikoje]] yra vienas iš būdų samprotavimo pagrįstumui įvertinti. Skirtinguose [[Logika|logikos]] vadovėliuose šis metodas vadinamas nevienodai. „Bandymų ir klaidų ...2 KiB (334 žodžiai) - 06:58, 4 rugpjūčio 2009
- ...ematinė statistika]]. Kai tikimybė nustatoma [[intuicija|intuicijos]] ir [[logika|logikos]] pagalba, ją vadina [[logine tikimybe]].<ref>{{Cite web |title=Int ...1 KiB (139 žodžiai) - 08:41, 6 vasario 2024
- |align=right|[[Teiginių logika]], Heyting algebra |align=right|[[Teiginių logika]] ...14 KiB (1 980 žodžių) - 20:27, 11 rugpjūčio 2013
- [[Kategorija:Logika]] ...2 KiB (234 žodžiai) - 16:49, 26 lapkričio 2022
- ...1)'', kurioje apibrėžtos tokios 3 operacijos: IR operacija ([[Konjunkcija (logika)|konjunkcija]], loginė daugyba), ARBA operacija ([[disjunkcija]], loginė su * [[Konjunkcija (logika)|konjunkcija]] (žymima '''IR''', ·, <math>\land</math>, &) ...6 KiB (702 žodžiai) - 20:54, 17 rugsėjo 2024
- ...Tikimybių teorija|tikimybių teoriją]], dviejų įvykių kartu ([[Konjunkcija (logika)|konjunkcija]]) tikimybė '''negali''' būti didesnė, nei kažkurio vieno iš t ...2 KiB (270 žodžių) - 20:00, 23 gegužės 2022
- ...ruktūrinė indukcija|struktūrine indukcija]]. Ji yra naudojama [[matematinė logika|matematinėje logikoje]] bei [[Kompiuterių mokslas|kompiuterių moksle]] ir y [[Kategorija:Matematinė logika]] ...6 KiB (785 žodžiai) - 21:24, 3 vasario 2024
- * „[[Ir (logika)|Ir]]“ ir „[[arba (logika)|arba]]“ yra komutacinės [[loginė operacija|loginės operacijos]]. ...6 KiB (856 žodžiai) - 10:21, 1 vasario 2024
- '''Sekvencinis skaičiavimas ''' – [[matematinė logika|matematinės logikos]] [[formulė|formulių]] įrodymo būdas. Šis būdas pasižym ...visos<ref name=sn>{{cite journal |last1=Norgėla |first1=Stanislovas |title=Logika ir dirbtinis intelektas |date=2007 |publisher=TEV |location=Vilnius|isbn=97 ...18 KiB (2 587 žodžiai) - 01:48, 30 rugsėjo 2023
- ...edūros ir metodai, bet taip pat yra ir privatūs kintamieji bei kita verslo logika. Bet kuris programinis modulis <math>B</math> (modulio ''A'' klientas), ben ...3 KiB (1 žodis) - 21:08, 26 lapkričio 2022
- Zermelo-Frenkelio aibių teorija remiasi [[pirmojo lygio logika]] su apibrėžta [[lygybė (matematika)|lygybe]].<ref name="StenfordoFE_SetThe ...5 KiB (733 žodžiai) - 22:23, 11 rugsėjo 2019
- ...žtų [[abstrakti struktūra|abstrakčių struktūrų]] nagrinėjimas, naudojant [[logika|logiką]] ir matematinius žymėjimus. | [[Matematinė logika]] || [[Algoritmas|Algoritmų teorija]] || [[Kriptografija]] || [[Grafų teori ...10 KiB (1 153 žodžiai) - 11:40, 11 balandžio 2024
- ...ey) [[mokslinė fantastika|mokslinės fantastikos]] apsakyme „[[Nesulenkiama logika]]“ (Inflexible Logic)), taip pat buvo minima [[Daglasas Adamsas|Daglaso Ada ...4 KiB (607 žodžiai) - 07:34, 16 kovo 2018
- ...rba [[konstanta]], arba konstantos ir vieno pirmojo laipsnio [[kintamasis (logika)|kintamojo]] sandauga. ...6 KiB (955 žodžiai) - 15:02, 25 sausio 2024
- '''Predikatų logika''' – [[matematinė logika|matematinės]] [[logika|logikos]] rūšis, kuri tyrinėja požymio priskyrimo objektui loginę raišką. T [[Logika|Logikoje]] [[funkcija]] atlieka [[klasė|klasių]] [[elementas|elementų]] sug ...49 KiB (7 613 žodžių) - 08:57, 7 lapkričio 2023
- '''Teiginių logika''' – [[simbolinė logika|matematinės]] [[logika|logikos]] [[mokslas|mokslo]] teorija, kurioje formaliosios kalbos simboliai ...juos sudarančius elementus.<ref>{{vle|teiginiu-logika|2024-09-17|teiginių logika|Jonas Dagys}}</ref> ...61 KiB (9 396 žodžiai) - 20:51, 17 rugsėjo 2024