Results 91 to 100 of about 1,299 (131)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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.
exaly +2 more sources
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.
exaly +2 more sources
LOGIKA MATEMATIKA (Konsep Dasar Logika Matematika)
CENDEKIA PENDIDIKANLogika matematika merupakan cabang penting dalam matematika yang memerlukan pemahaman konsep yang mendalam agar dapat diaplikasikan dalam berbagai masalah matematis. Salah satu metode yang terbukti efektif dalam mengajarkannya adalah model pembelajaran kooperatif, yang memiliki karakteristik seperti saling ketergantungan positif (positive ...
Nurhaswindah Nurhaswindah +3 more
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