Hungarian

Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése

Surányi, Tamás (2018) Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése. BA/Bsc, Szegedi Tudományegyetem.

[thumbnail of 2018_suranyi_tamas.pdf] PDF
2018_suranyi_tamas.pdf
Hozzáférés joga: SZTE designated computers only
Download (243kB)

English title

Decision of the satisfiability of formulas in propositional logic

Institution

Szegedi Tudományegyetem

Faculty

Faculty of Science and Informatics

Department

Számítástudomány Alapjai Tanszék

Discipline

Natural Sciences

Specialization

programtervező informatikus

Supervisor(s)

Supervisor
Supervisor scientific name label
Email
EHA
Gazdag, Dr. Zsolt Zoltán
egyetemi docens
UNSPECIFIED
UNSPECIFIED

Item Type: Thesis (BA/Bsc)
Subjects: 01. Natural sciences > 01.02. Computer and information sciences
Depositing User: TTIK szerkesztő
Date Deposited: 2020. Jul. 10. 09:02
Last Modified: 2020. Jul. 10. 09:02
URI: https://diploma.bibl.u-szeged.hu/id/eprint/86807

Actions (login required)

View Item View Item
SZTE Repository of Degree Theses is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.