Výsledky vyhledávání - "((\"mathematical logic AND algorithm theory\") OR (\"matematika logic AND algorithm theory\"))"

Chair of Mathematical Logic and Theory of Algorithms.

Autoři: Semenov, A. L. Babenko, M. A. Belov, A. Ya. a další

Zdroj: Moscow University Mathematics Bulletin; Feb2025, Vol. 80 Issue 1, p23-33, 11p

EXTENDED CONTINUOUS LOGIC AND THE THEORY OF COMPLEX CRITERIA

Autoři: Dujmović, Jozo J.

Zdroj: Publikacije Elektrotehničkog fakulteta. Serija Matematika i fizika, 1975 Jan 01(498/541), 197-216.

Přístupová URL adresa: https://www.jstor.org/stable/43667741

Russian Logics and the Culture of Impossible: Part I—Recovering Intelligentsia Logics.

Autoři: Tatarchenko, Ksenia Yermakova, Anya De Mol, Liesbeth

Zdroj: IEEE Annals of the History of Computing; 2021, Vol. 43 Issue 4, p43-56, 14p

Témata: MATHEMATICAL logic, LOGIC, CYBERNETICS, INTELLECTUALS, CONTINUOUS time models, PANPSYCHISM

Geografický termín: SOVIET Union

Collectives of automata in labyrinths.

Autoři: Kilibarda, G. Kudryavstsev, V. B. Ušcumlic, Š

Zdroj: Discrete Mathematics & Applications; 2003, Vol. 13 Issue 5, p429-466, 38p, 5 Graphs

Témata: MACHINE theory, RECURSIVE functions, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL logic

Victor Timofeevich Markov (21.06.1948–15.07.2019).

Autoři: Adrianov, N. M. Artamonov, V. A. Balaba, I. N. a další

Zdroj: Journal of Mathematical Sciences; Apr2022, Vol. 262 Issue 5, p592-602, 11p

Témata: MATHEMATICAL logic, ALGEBRAIC coding theory, GROUP algebras, ALGEBRAIC geometry, RING theory, NONCOMMUTATIVE algebras, NONABELIAN groups

Algoritam za prepoznavanje grupa vrhova u kompleksnoj mreži ; Algorithm for Identifying Dense Groups of Vertices in a Complex Network

Autoři: Poljak, Denis Majstorović, Snježana

Přispěvatelé: Poljak, Denis Majstorović, Snježana

Témata: kompleksna mreža, zajednica, algoritam za klasteriranje, Louvain algoritam, pohlepni algoritam, complex network, community, clustering algorithm, Louvain algorithm, greedy algorithm, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting

Popis souboru: application/pdf

Relation: https://repozitorij.unios.hr/islandora/object/mathos:698; https://urn.nsk.hr/urn:nbn:hr:126:234365; https://repozitorij.unios.hr/islandora/object/mathos:698/datastream/PDF

Dostupnost: https://repozitorij.unios.hr/islandora/object/mathos:698
https://urn.nsk.hr/urn:nbn:hr:126:234365
https://repozitorij.unios.hr/islandora/object/mathos:698/datastream/PDF

On special properties of a composition of automata.

Autoři: Babash, A. V.

Zdroj: Discrete Mathematics & Applications; 2003, Vol. 13 Issue 5, p497-506, 10p, 1 Diagram

Témata: ALGORITHMS, MACHINE theory, RECURSIVE functions, MATHEMATICAL models, MATHEMATICAL logic, AUTOMATION

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Autoři: Andreas Blass Nachum Dershowitz Wolfgang Reisig

Resource Type: eBook.

Témata: Computer programming, Computer science, Software engineering, Machine theory, Algorithms, Computer networks

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015.

Zdroj: Bulletin of Symbolic Logic; Sep2016, Vol. 22 Issue 3, p366-435, 70p

Témata: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Korporace: ASSOCIATION for Symbolic Logic

Optimisation in Boolean-valued networks.

Autoři: Salii, V. N.

Zdroj: Discrete Mathematics & Applications; 2005, Vol. 15 Issue 2, p195-200, 6p

Témata: BOOLEAN algebra, SET theory, ALGEBRAIC logic, MATHEMATICAL logic, MATHEMATICS

Algoritmi najkraćeg puta na grafovima i njihova primjena u cestovnoj navigaciji ; Shortest Path Algorithms on Graphs and Their Application in Road Navigation

Autoři: Vuković, Filip Matijević, Domagoj

Přispěvatelé: Vuković, Filip Matijević, Domagoj

Témata: PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, graf, najkraći put na grafu, Dijkstrin algoritam, A* algoritam, OpenStreetMaps, graph, shortest path, Dijkstra’s algorithm, A* algorithm, OpenSteetMaps

Popis souboru: application/pdf

Relation: https://repozitorij.unios.hr/islandora/object/mathos:421; https://urn.nsk.hr/urn:nbn:hr:126:931946; https://repozitorij.unios.hr/islandora/object/mathos:421/datastream/PDF

Dostupnost: https://repozitorij.unios.hr/islandora/object/mathos:421
https://urn.nsk.hr/urn:nbn:hr:126:931946
https://repozitorij.unios.hr/islandora/object/mathos:421/datastream/PDF

On the Work of the Institute of Control Sciences of the Russian Academy of Sciences in the Field of Pattern Recognition Theory and Applications in the 20th Century.

Autoři: Mandel, A. S. Mikhalsky, A. I.

Zdroj: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p1593-1623, 31p

Primjena vjerojatnosne metode i Markovljevih lanaca u analizi algoritama ; Application of the Probability Method and Markov Chains in Analysis of Randomized Algorithms

Autoři: Kroflin, Matej Matijević, Domagoj

Přispěvatelé: Kroflin, Matej Matijević, Domagoj

Témata: vjerojatnost, randomizirani algoritmi, Markovljevi lanci, maze problem, vjerojatnosna metoda, probability, randomized algorithms, Markov chains, probability method, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting

Popis souboru: application/pdf

Relation: https://repozitorij.unios.hr/islandora/object/mathos:236; https://urn.nsk.hr/urn:nbn:hr:126:961278; https://repozitorij.unios.hr/islandora/object/mathos:236/datastream/PDF

Dostupnost: https://repozitorij.unios.hr/islandora/object/mathos:236
https://urn.nsk.hr/urn:nbn:hr:126:961278
https://repozitorij.unios.hr/islandora/object/mathos:236/datastream/PDF

On completeness and A-completeness of S-sets of determinate functions containing all one-place determinate S-functions.

Autoři: Podkolzina, M. A.

Zdroj: Discrete Mathematics & Applications; 2009, Vol. 19 Issue 3, p263-276, 14p

Témata: COMPLETENESS theorem, MATHEMATICAL logic, SET theory, MATHEMATICAL functions, MACHINE theory, MATHEMATICAL variables

Definability in the language of functional equations of a countable-valued logic.

Autoři: Marchenkov, S. S.

Zdroj: Discrete Mathematics & Applications; Dec2013, Vol. 23 Issue 5/6, p451-462, 12p

Témata: DEFINABILITY theory (Mathematical logic), FUNCTIONAL equations, LANGUAGE & languages, SET theory, MATHEMATICAL constants

Foundations of Mathematical Logic

Autoři: Haskell B. Curry

Resource Type: eBook.

Témata: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic, MATHEMATICS / Calculus

Δ-Categoricity of Boolean Algebras.

Autoři: Bazhenov, N.

Zdroj: Journal of Mathematical Sciences; Dec2014, Vol. 203 Issue 4, p444-454, 11p

Témata: BOOLEAN algebra, MATHEMATICAL category theory, PROOF theory, MATHEMATICAL logic, GROUP theory, ALGEBRAIC logic

Algorithmic theory of solvable groups

Autoři: Romankov, V. A.

Zdroj: Прикладная дискретная математика. 2021. № 52. С. 16-64

Témata: разрешимые группы, алгоритмы

Popis souboru: application/pdf

Přístupová URL adresa: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000703105

Primjena potpomognutog učenja na video igru Tekken 3 ; Applying Reinforcement Learning On The Video Game Tekken 3

Autoři: Iletić, Karlo Ševerdija, Domagoj

Přispěvatelé: Iletić, Karlo Ševerdija, Domagoj

Témata: potpomognuto učenje, tekken, video igre, playstation, pytorch, python, lua, pcsxredux, q-učenje, duboko potpomognuto učenje, duboko q-učenje, reinforcement learning, video games, pcsx-redux, q-learning, deep reinforcement learning, deep q-learning, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting

Popis souboru: application/pdf

Relation: https://repozitorij.unios.hr/islandora/object/mathos:819; https://urn.nsk.hr/urn:nbn:hr:126:638212; https://repozitorij.unios.hr/islandora/object/mathos:819/datastream/PDF

Dostupnost: https://repozitorij.unios.hr/islandora/object/mathos:819
https://urn.nsk.hr/urn:nbn:hr:126:638212
https://repozitorij.unios.hr/islandora/object/mathos:819/datastream/PDF

ON UNIFORMLY RECURRENT MORPHIC SEQUENCES.

Autoři: NICOLAS, FRANCOIS PRITYKIN, YURI

Zdroj: International Journal of Foundations of Computer Science; Oct2009, Vol. 20 Issue 5, p919-940, 22p

Témata: PARADIGM (Linguistics), FIBONACCI sequence, MORSE code, COMPUTER science, CODING theory, DECIDABILITY (Mathematical logic), COMPLEXITY (Philosophy)