Autorius (-ė) Stanislovas Leonas Norgėla

algoritmų
teorija
matematikos bei informatikos mokslų šaka, tirianti algoritmų savybes. Daugiau
antinomija
dviejų vienas kitam prieštaraujančių, tačiau vienodai logiškai įrodomų teiginių atsiradimas samprotaujant. Daugiau
Boole’io
algebra
struktūra su nuliu ir vienetu, tenkinanti distributyvumo ir papildymo dėsnius. Daugiau
diskrečioji
matematika
matematikos šakos, nagrinėjančios diskrečiuosius dydžius. Daugiau
formalioji
aritmetika
formalioji sistema, nustatanti natūraliųjų skaičių pagrindines savybes. Daugiau
indukcija
samprotavimas, kuriame nuo pavienių faktų einama prie bendresnių. Daugiau
loginės
operacijos
loginiai teiginių veiksmai, kuriuos taikant sudaromi nauji teiginiai. Daugiau
loginis
skaičiavimas
deduktyviai aksiomiškai sudaryta formalioji sistema. Daugiau
matematinė
logika
formalioji logika, plėtojama matematiniais metodais. Daugiau
matrica
tam tikro pavidalo klasikinės predikatų logikos formulė. Daugiau