Zobrazeno 1 - 10
of 230
pro vyhledávání: '"Polish notation"'
Autor:
David E. Dunning
Publikováno v:
Studia Historiae Scientiarum, Vol 17, Pp 207-251 (2018)
Between the World Wars, a robust research community emerged in the nascent discipline of mathematical logic in Warsaw. Logic in Warsaw grew out of overlapping imperial legacies, launched mainly by Polish-speaking scholars who had trained in Habsburg
Externí odkaz:
https://doaj.org/article/34ddd9e6660049f894bbc930e6e0eaab
Autor:
Sławomir Gryś, Waldemar Minkina
Publikováno v:
Pomiary Automatyka Robotyka. 24:11-16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d188a21e09d79357711df403bf601a37
https://doi.org/10.14313/par_236/11
https://doi.org/10.14313/par_236/11
Publikováno v:
Dilemas contemporáneos: Educación, Política y Valores.
En este trabajo se propone un método basado en fórmulas para evaluar preguntas de tipo calculada simple y calculada de opción múltiple. El método realiza la conversión de fórmulas de notación infija a postfija, para su posterior evaluación y
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2eb96196597b3acbfde79c0ee1e09f9c
https://doi.org/10.46377/dilemas.v9i.2927
https://doi.org/10.46377/dilemas.v9i.2927
Autor:
David E. Dunning
Publikováno v:
Studia Historiae Scientiarum, Vol 17, Pp 207-251 (2018)
Between the World Wars, a robust research community emerged in the nascent discipline of mathematical logic in Warsaw. Logic in Warsaw grew out of overlapping imperial legacies, launched mainly by Polish-speaking scholars who had trained in Habsburg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::263bbb1d6b5e9f48311628fb0e2336c6
https://doi.org/10.4467/2543702xshs.18.009.9329
https://doi.org/10.4467/2543702xshs.18.009.9329
Autor:
David E. Dunning
This article explores the entanglement of logic and computing by focusing on the activity of writing. Though mathematical logic is sometimes cast as the immaterial spirit of the computers material body, the study of logic also takes place in the phys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b964e4bf7545b6ca07aa60afc9a1ffc
https://ora.ox.ac.uk/objects/uuid:9f4195c5-1b4f-4567-a847-be5171f92b65
https://ora.ox.ac.uk/objects/uuid:9f4195c5-1b4f-4567-a847-be5171f92b65
Publikováno v:
Filomat, 2001 Jan 01. 15, 25-33.
Externí odkaz:
https://www.jstor.org/stable/26453402
Publikováno v:
Yugoslav Journal of Operations Research, Vol 13, Iss 1, Pp 61-67 (2003)
In this paper an algorithm for the convex polygon triangulation based on the reverse Polish notation is proposed. The formal grammar method is used as the starting point in the investigation. This idea is "translated" to the arithmetic expression fie
Externí odkaz:
https://doaj.org/article/685820c28bb24568b276e9f47be36e1f
Autor:
Lech Polkowski
Publikováno v:
Transactions on Rough Sets XXI ISBN: 9783662587676
Jan Łukasiewicz was one of leading logicians of the XX-th century, universally regarded as the father of many-valued logics which proved to be the language for many paradigms of Computer Science and Artificial Intelligence, inventor of the Polish no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::001fd9d543e1e0cf9357933eceed15df
https://doi.org/10.1007/978-3-662-58768-3_1
https://doi.org/10.1007/978-3-662-58768-3_1
Autor:
Lorenz Halbeisen, Regula Krapf
Publikováno v:
Gödel's Theorems and Zermelo's Axioms ISBN: 9783030522780
As in the previous chapter, we require that all formulae are written in Polish notation and that the variables are among v0, v1, v2, . . . Furthermore, let L be a countable signature, let T be a consistent L -theory, and let σ0 be an L -sentence whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0de8427777cb1de98282bafb3cfa03a6
https://doi.org/10.1007/978-3-030-52279-7_5
https://doi.org/10.1007/978-3-030-52279-7_5