Suchergebnisse - "((\"mathematical logic AND algorithm theory\") OR (\"matematika logic AND algorithm theory\"))*"

Chair of Mathematical Logic and Theory of Algorithms.

Autoren: Semenov, A. L. Babenko, M. A. Belov, A. Ya. et al.

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

EXTENDED CONTINUOUS LOGIC AND THE THEORY OF COMPLEX CRITERIA

Autoren: Dujmović, Jozo J.

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

Zugangs-URL: https://www.jstor.org/stable/43667741

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

Autoren: Tatarchenko, Ksenia Yermakova, Anya De Mol, Liesbeth

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

Schlagwörter: MATHEMATICAL logic, LOGIC, CYBERNETICS, INTELLECTUALS, CONTINUOUS time models, PANPSYCHISM

Geografische Kategorien: SOVIET Union

Collectives of automata in labyrinths.

Autoren: Kilibarda, G. Kudryavstsev, V. B. Ušcumlic, Š

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

Schlagwörter: MACHINE theory, RECURSIVE functions, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL logic

Victor Timofeevich Markov (21.06.1948–15.07.2019).

Autoren: Adrianov, N. M. Artamonov, V. A. Balaba, I. N. et al.

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

Schlagwörter: 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

Autoren: Poljak, Denis Majstorović, Snježana

Weitere Verfasser: Poljak, Denis Majstorović, Snježana

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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.

Autoren: Babash, A. V.

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

Schlagwörter: 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

Autoren: Andreas Blass Nachum Dershowitz Wolfgang Reisig

Resource Type: eBook.

Schlagworte: 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.

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

Schlagwörter: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Firma/Körperschaft: ASSOCIATION for Symbolic Logic

Optimisation in Boolean-valued networks.

Autoren: Salii, V. N.

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

Schlagwörter: 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

Autoren: Vuković, Filip Matijević, Domagoj

Weitere Verfasser: Vuković, Filip Matijević, Domagoj

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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.

Autoren: Mandel, A. S. Mikhalsky, A. I.

Quelle: 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

Autoren: Kroflin, Matej Matijević, Domagoj

Weitere Verfasser: Kroflin, Matej Matijević, Domagoj

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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.

Autoren: Podkolzina, M. A.

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

Schlagwörter: COMPLETENESS theorem, MATHEMATICAL logic, SET theory, MATHEMATICAL functions, MACHINE theory, MATHEMATICAL variables

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

Autoren: Marchenkov, S. S.

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

Schlagwörter: DEFINABILITY theory (Mathematical logic), FUNCTIONAL equations, LANGUAGE & languages, SET theory, MATHEMATICAL constants

Foundations of Mathematical Logic

Autoren: Haskell B. Curry

Resource Type: eBook.

Schlagworte: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic, MATHEMATICS / Calculus

Δ-Categoricity of Boolean Algebras.

Autoren: Bazhenov, N.

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

Schlagwörter: BOOLEAN algebra, MATHEMATICAL category theory, PROOF theory, MATHEMATICAL logic, GROUP theory, ALGEBRAIC logic

Algorithmic theory of solvable groups

Autoren: Romankov, V. A.

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

Schlagwörter: разрешимые группы, алгоритмы

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Iletić, Karlo Ševerdija, Domagoj

Weitere Verfasser: Iletić, Karlo Ševerdija, Domagoj

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: 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.

Autoren: NICOLAS, FRANCOIS PRITYKIN, YURI

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

Schlagwörter: PARADIGM (Linguistics), FIBONACCI sequence, MORSE code, COMPUTER science, CODING theory, DECIDABILITY (Mathematical logic), COMPLEXITY (Philosophy)