Search Results - "((\"mathematical logic and algorithm theory\") OR (\"matematika logic and algorithm theory\"))"

Chair of Mathematical Logic and Theory of Algorithms.

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

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

EXTENDED CONTINUOUS LOGIC AND THE THEORY OF COMPLEX CRITERIA

Authors: Dujmović, Jozo J.

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

Access URL: https://www.jstor.org/stable/43667741

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

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

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

Subject Terms: MATHEMATICAL logic, LOGIC, CYBERNETICS, INTELLECTUALS, CONTINUOUS time models, PANPSYCHISM

Geographic Terms: SOVIET Union

Collectives of automata in labyrinths.

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

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

Subject Terms: MACHINE theory, RECURSIVE functions, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL logic

Victor Timofeevich Markov (21.06.1948–15.07.2019).

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

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

Subject Terms: 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

Authors: Poljak, Denis Majstorović, Snježana

Contributors: Poljak, Denis Majstorović, Snježana

Subject Terms: 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

File Description: 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

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

Authors: Babash, A. V.

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

Subject Terms: 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

Authors: Andreas Blass Nachum Dershowitz Wolfgang Reisig

Resource Type: eBook.

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

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

Subject Terms: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Company/Entity: ASSOCIATION for Symbolic Logic

Optimisation in Boolean-valued networks.

Authors: Salii, V. N.

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

Subject Terms: 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

Authors: Vuković, Filip Matijević, Domagoj

Contributors: Vuković, Filip Matijević, Domagoj

Subject Terms: 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

File Description: 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

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

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

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

Authors: Kroflin, Matej Matijević, Domagoj

Contributors: Kroflin, Matej Matijević, Domagoj

Subject Terms: 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

File Description: 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

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

Authors: Podkolzina, M. A.

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

Subject Terms: COMPLETENESS theorem, MATHEMATICAL logic, SET theory, MATHEMATICAL functions, MACHINE theory, MATHEMATICAL variables

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

Authors: Marchenkov, S. S.

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

Subject Terms: DEFINABILITY theory (Mathematical logic), FUNCTIONAL equations, LANGUAGE & languages, SET theory, MATHEMATICAL constants

Foundations of Mathematical Logic

Authors: Haskell B. Curry

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic, MATHEMATICS / Calculus

Δ-Categoricity of Boolean Algebras.

Authors: Bazhenov, N.

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

Subject Terms: BOOLEAN algebra, MATHEMATICAL category theory, PROOF theory, MATHEMATICAL logic, GROUP theory, ALGEBRAIC logic

Algorithmic theory of solvable groups

Authors: Romankov, V. A.

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

Subject Terms: разрешимые группы, алгоритмы

File Description: application/pdf

Access 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

Authors: Iletić, Karlo Ševerdija, Domagoj

Contributors: Iletić, Karlo Ševerdija, Domagoj

Subject Terms: 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

File Description: 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

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

Authors: NICOLAS, FRANCOIS PRITYKIN, YURI

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

Subject Terms: PARADIGM (Linguistics), FIBONACCI sequence, MORSE code, COMPUTER science, CODING theory, DECIDABILITY (Mathematical logic), COMPLEXITY (Philosophy)