Zobrazeno 1 - 10
of 130
pro vyhledávání: '"Mathematische Logik"'
[...] ein Digitalisierungsprojekt.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93745085a679c75116ebb4e735f2a1d4
Publikováno v:
Information and Computation
GandALF
EPTCS 305, 2019, pp. 1-16
Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 1-16 (2019)
GandALF
EPTCS 305, 2019, pp. 1-16
Electronic Proceedings in Theoretical Computer Science, Vol 305, Iss Proc. GandALF 2019, Pp 1-16 (2019)
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited expressivenes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd1eb26c14b6f9a9d8769a92d64df6b1
https://doi.org/10.1016/j.ic.2021.104810
https://doi.org/10.1016/j.ic.2021.104810
Autor:
Hájek, Petr1 hajek@cs.cas.cz, van Dalen, Dirk2 dirk.vandalen@phil.uu.nl
Publikováno v:
Mathematical Intelligencer. Fall2004, Vol. 26 Issue 4, p64-66. 3p.
Autor:
Castell-Castell, Nikolaus
1) Dass die „mathematische Logik“ keine mathematische Logik ist, duerfte auch anderen Kritikern aufgefallen sein, dass sich aber ihre (angebliche) Logik nur ausschliesslich mit sich selbst beschaeftigt und darin ihren Selbstzweck findet, wurde in
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A7690
https://slub.qucosa.de/api/qucosa%3A7690/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A7690/attachment/ATT-0/
Autor:
Kaspers, Christian
In der vorliegenden Arbeit untersuchen wir Äquivalenzprobleme zweier Objekte aus der diskreten Mathematik: disjunkte Differenzfamilien und fast perfekt-nichtlineare Funktionen (APN-Funktionen, aus dem Englischen: almost perfect nonlinear). Eine disj
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adf3b1002c8b55c67b55d709c787d290
Autor:
Voigt, Marco
Publikováno v:
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English. ⟨NNT : ⟩
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English. ⟨NNT : ⟩
First-order logic is one of the most prominent formalisms in computer science and mathematics. Since there is no algorithm capable of solving its satisfiability problem, first-order logic is said to be undecidable. The classical decision problem is t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bc0ae0b8482f89973e0b4e047ebf7fa
https://hal.inria.fr/tel-02406821/file/voigtphd.pdf
https://hal.inria.fr/tel-02406821/file/voigtphd.pdf
Autor:
Tonti, Fabio Elio
Die vorliegende Dissertation besteht aus zwei unabh��ngigen Artikeln. Der erste wurde in Kollaboration mit Asger T��rnquist erarbeitet und beinhaltet einen neuen, elementaren Beweis des Satzes von Thoma. Der zweite ist eine Kollaboration mit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41b944d00a25a2f7f2b732a19c05d83c