Results 131 to 140 of about 18,140 (168)
Some of the next articles are maybe not open access.
2023
Może się wydawać, że logika nie ma wiele wspólnego z filozofią, a tym bardziej z prawdziwym życiem. Graham Priest pokazuje, jak bardzo ta koncepcja jest błędna. Bada filozoficzne korzenie, pokazuje, jak współczesna logika formalna radzi sobie z takimi zagadnieniami, jak istnienie Boga, rzeczywistość, paradoksy teorii prawdopodobieństwa i decyzji.
openaire +1 more source
Może się wydawać, że logika nie ma wiele wspólnego z filozofią, a tym bardziej z prawdziwym życiem. Graham Priest pokazuje, jak bardzo ta koncepcja jest błędna. Bada filozoficzne korzenie, pokazuje, jak współczesna logika formalna radzi sobie z takimi zagadnieniami, jak istnienie Boga, rzeczywistość, paradoksy teorii prawdopodobieństwa i decyzji.
openaire +1 more source
Logika: iskazna logika, predikatna logika
2012Ističu se specifičnosti iskazne logike, tj. logički operatori i njihove vrste, govori se o istinosnim vrijednostima, istinosnim tablicama i Boolovoj algebri.
openaire +1 more source
2015
Title: Logic and cryptography Author: Bc.Vojtěch Wagner Department: Department of Algebra Supervisor: prof. RNDr. Jan Krajíček, DrSc. Abstract: This work is devoted to a study of a formal method of formalization of cryptographic constructions. It is based on defining a multi-sorted formal logic theory T composed of strings, integers and objects of sort
openaire +2 more sources
Title: Logic and cryptography Author: Bc.Vojtěch Wagner Department: Department of Algebra Supervisor: prof. RNDr. Jan Krajíček, DrSc. Abstract: This work is devoted to a study of a formal method of formalization of cryptographic constructions. It is based on defining a multi-sorted formal logic theory T composed of strings, integers and objects of sort
openaire +2 more sources
, 2011 Skripta je namijenjena studentima doktorskog studija matematike. Sastoji se od sljedeća četiri poglavlja: 1. Teorija modela, 2. Teorija dokaza, 3. Goedelovi teoremi nepotpunosti, 4. Dodatak: Izračunljivost.
openaire
1997
Definiraju se i opisuju osnovne odrednice logike kao nauka o dosljednosti.
openaire +1 more source
Definiraju se i opisuju osnovne odrednice logike kao nauka o dosljednosti.
openaire +1 more source
Vijenac : novine Matice hrvatske za književnost, umjetnost i znanost, 2011
Pojam simbol izrazito je kompleksan. Rabi se u semiotici, poetici, stilistici, filozofiji, hermeneutici, antropologiji, sociologiji, psihoanalizi, heraldici, astrologiji itd. U članku se opisuje iz retoričko-stilističke perspektive.
openaire +2 more sources
Pojam simbol izrazito je kompleksan. Rabi se u semiotici, poetici, stilistici, filozofiji, hermeneutici, antropologiji, sociologiji, psihoanalizi, heraldici, astrologiji itd. U članku se opisuje iz retoričko-stilističke perspektive.
openaire +2 more sources