Toggle navigation
Hlavná stránka
Zoznam záznamov
Rozšírené hľadanie
Hľadať
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
1664716