Úplnost ekvacionální logiky
Hlavním cílem této bakalářské práce bylo zpracovat téma ekvacionální logiky ve formě srozumitelné pro studenty seznámené se základy univerzální algebry a ukázat některé aplikace. Práce obsahuje zejména základní definice a věty, ukázky řešení problému identit pomocí modelu volné algebry, ekvacionální...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2012
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/323901/prif_b/ |
| LEADER | 05923ctm a22012377a 4500 | ||
|---|---|---|---|
| 001 | MUB01000721750 | ||
| 003 | CZ BrMU | ||
| 005 | 20210911151253.0 | ||
| 008 | 120629s2012 xr ||||| |||||||||||cze d | ||
| STA | |a POSLANO DO SKCR |b 2020-05-07 | ||
| 035 | |a (ISMU-VSKP)221533 | ||
| 040 | |a BOD114 |b cze |d BOD004 | ||
| 072 | 7 | |a 51 |x Matematika |2 Konspekt |9 13 | |
| 080 | |a 510.6:512 |2 MRF | ||
| 100 | 1 | |a Zoubek, Pavel |% UČO 323901 |* [absolvent PřírF MU] |4 dis | |
| 242 | 1 | 4 | |a The Completeness Theorem for Equational Logic |y eng |
| 245 | 1 | 0 | |a Úplnost ekvacionální logiky |h [rukopis] / |c Pavel Zoubek |
| 260 | |c 2012 | ||
| 300 | |a 37 l. | ||
| 500 | |a Vedoucí práce: Ondřej Klíma | ||
| 502 | |a Bakalářská práce (Bc.)--Masarykova univerzita, Přírodovědecká fakulta, 2012 | ||
| 520 | 2 | |a Hlavním cílem této bakalářské práce bylo zpracovat téma ekvacionální logiky ve formě srozumitelné pro studenty seznámené se základy univerzální algebry a ukázat některé aplikace. Práce obsahuje zejména základní definice a věty, ukázky řešení problému identit pomocí modelu volné algebry, ekvacionální logiku, větu o úplnosti ekvacionální logiky a některé její aplikace. |% cze | |
| 520 | 2 | 9 | |a The main goal of this thesis was to compile the subject of equational logic in a form comprehensible to students who are familiar with elements of universal algebra, and to present some applications of the subject. The thesis contains mainly basic definitions and theorems, examples of solving the identity problem using the free algebra model, equational logic, the completeness theorem of equational logic and some applications of equational logic. |9 eng |
| 650 | 0 | 7 | |a algebraická logika |7 ph249426 |2 czenas |
| 650 | 0 | 9 | |a algebraic logic |2 eczenas |
| 655 | 7 | |a bakalářské práce |7 fd132403 |2 czenas | |
| 655 | 9 | |a bachelor's theses |2 eczenas | |
| 658 | |a Matematika |b Obecná matematika |c PřF B-MA OM (OM) |2 CZ-BrMU | ||
| 700 | 1 | |a Klíma, Ondřej, |d 1974- |7 mub2011654719 |% UČO 3868 |4 ths | |
| 710 | 2 | |a Masarykova univerzita. |b Ústav matematiky a statistiky |7 kn20091211007 |4 dgg | |
| 856 | 4 | 1 | |u http://is.muni.cz/th/323901/prif_b/ |
| CAT | |c 20120629 |l MUB01 |h 0425 | ||
| CAT | |a HANAV |b 02 |c 20120716 |l MUB01 |h 1245 | ||
| CAT | |a RACLAVSKA |b 02 |c 20120719 |l MUB01 |h 0918 | ||
| CAT | |a HANAV |b 02 |c 20130212 |l MUB01 |h 2149 | ||
| CAT | |a BATCH |b 00 |c 20130304 |l MUB01 |h 1433 | ||
| CAT | |a POSPEL |b 02 |c 20130815 |l MUB01 |h 0753 | ||
| CAT | |a POSPEL |b 02 |c 20130815 |l MUB01 |h 0759 | ||
| CAT | |a POSPEL |b 02 |c 20130822 |l MUB01 |h 1028 | ||
| CAT | |a POSPEL |b 02 |c 20131002 |l MUB01 |h 1453 | ||
| CAT | |a RACLAVSKA |b 02 |c 20140515 |l MUB01 |h 1449 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0740 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0743 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0750 | ||
| CAT | |a POSPEL |b 02 |c 20140522 |l MUB01 |h 0753 | ||
| CAT | |a RACLAVSKA |b 02 |c 20140529 |l MUB01 |h 1552 | ||
| CAT | |a RACLAVSKA |b 02 |c 20140529 |l MUB01 |h 1552 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0742 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0745 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0748 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0754 | ||
| CAT | |a POSPEL |b 02 |c 20140610 |l MUB01 |h 0758 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0804 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0809 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0817 | ||
| CAT | |a POSPEL |b 02 |c 20140611 |l MUB01 |h 0825 | ||
| CAT | |c 20140911 |l MUB01 |h 1610 | ||
| CAT | |c 20140912 |l MUB01 |h 1104 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0742 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0846 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0851 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0856 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0914 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0927 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0937 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0942 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0946 | ||
| CAT | |a POSPEL |b 02 |c 20141126 |l MUB01 |h 0958 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0750 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0756 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0802 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0830 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0840 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0848 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0852 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0903 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0906 | ||
| CAT | |a POSPEL |b 02 |c 20141127 |l MUB01 |h 0910 | ||
| CAT | |a POSPEL |b 02 |c 20141204 |l MUB01 |h 0738 | ||
| CAT | |a POSPEL |b 02 |c 20141216 |l MUB01 |h 0900 | ||
| CAT | |a POSPEL |b 02 |c 20141216 |l MUB01 |h 0902 | ||
| CAT | |a POSPEL |b 02 |c 20141216 |l MUB01 |h 1017 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1116 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1119 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1130 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1134 | ||
| CAT | |a POSPEL |b 02 |c 20150108 |l MUB01 |h 1137 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1337 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1341 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1344 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1344 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1348 | ||
| CAT | |a POSPEL |b 02 |c 20150113 |l MUB01 |h 1351 | ||
| CAT | |c 20150901 |l MUB01 |h 1449 | ||
| CAT | |c 20150921 |l MUB01 |h 1410 | ||
| CAT | |a BATCH |b 00 |c 20151226 |l MUB01 |h 0245 | ||
| CAT | |c 20200507 |l MUB01 |h 1114 | ||
| CAT | |c 20210614 |l MUB01 |h 0959 | ||
| CAT | |c 20210614 |l MUB01 |h 1948 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1215 | ||
| CAT | |a NEMCOVAX |b 02 |c 20210911 |l MUB01 |h 1512 | ||
| CAT | |a POSPEL |b 02 |c 20240220 |l MUB01 |h 1135 | ||
| LOW | |a POSLANO DO SKCR |b 2020-05-07 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 PRIF |a Přírodovědecká fakulta |2 PRSMA |b ÚK sklad - M |3 K-12265 |5 3145355363 |8 20120719 |f 71 |f Prezenční SKLAD |q 20180620 |r 20120719 |s dar |
| AVA | |a SCI50 |b PRIF |c ÚK sklad - M |d K-12265 |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j PRSMA | ||