CRZP - detail kniha

DZB - Zverejnená bakalárska práca

Prieskumník grafových štruktúr pre logiku prvého rádu

Autor: Baluch, Miroslav
Školiteľ: Kľuka, Ján
Oponent: Komara, Ján
Škola: Univerzita Komenského v Bratislave FMFI FMFI.KAI
Rok odovzdania: 2020
Počet strán: 48s.
Trvalý odkaz - CRZP: https://opac.crzp.sk/?fn=detailBiblioForm&sid=69B07E5EF4F2B22F0B84B6C7FD1B

Primárny jazyk: slovenčina

Typ práce: Bakalárska práca

Študijný odbor: 2511 | aplikovaná informatika

Dátum zaslania práce do CRZP: 02.06.2020

Dátum vytvorenia protokolu: 02.06.2020

Dátum doručenia informácií o licenčnej zmluve: 01.07.2020

Práca je zverejniteľná od: 01.07.2020

Elektronická verzia
: Prehliadať

Abstrakt v primárnom jazyku

Práca sa zaoberá rozšírením aplikácie Prieskumník sémantiky logiky prvého rádu o nové súčasti, ktoré predstavujú úplne iný pohľad na precvičovanie štruktúr logiky prvého rádu ako doteraz ponúkala pôvodná aplikácia. Aplikácia je rozšírená hlavne o grafový pohľad, v ktorom sú prvky domény, symboly konštánt, ternárne a kvaternárne vzťahy vyjadrené pomocou vrcholov grafu a binárne vzťahy sú vyjadrené pomocou hrán. Následne je možné si definovať výrazy (formuly a termy), ktoré aplikácia vyhodnocuje podľa vytvorenej štruktúry. Pôvodný pohľad na štruktúry je v aplikácii zachovaný a je možné ľahko prepínať medzi starým a novým pohľadom. Na to bolo nutné zabezpečiť konzistenciu údajov medzi pohľadmi. Aplikácia je primárne naprogramovaná pomocou knižníc React, Redux a React Diagrams. Bola testovaná študentami predmetu Matematika 4 – Logika pre informatikov. Kľúčové slová: logika prvého rádu, splnenie v konečnej štruktúre, webová aplikácia na strane klienta

Abstrakt v sekundárnom jazyku

The work deals with the extension of the Explorer of Semantics of First-Order Logic with new components, which represent a completely different view of practicing the structures of first-order logic than the original application offered so far. The application is extended mainly by a graph view, in which the elements of the domain, symbols of constants, ternary and quaternary relations are expressed by means of graph vertices and binary relations are expressed by means of edges. Subsequently, it is possible to define expressions (formulas and terms), which the application evaluates according to the created structure. The original view of the structures is preserved in the application and it is possible to easily switch between the old and the new view. To do this, it was necessary to ensure consistency of data between views. The application is primarily programmed using the React, Redux and React Diagrams libraries. It was tested by students of the subject Mathematics (4) - Logic for computer science. Keywords: first-order logic, satisfaction in finite structure, client-side web application