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

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

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

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

Integrating elements of data science into high-school teaching: Naïve Bayes-classification algorithm and programming in Python.

Authors: VANCSÓ, ÖDÖN PRINCZ, PÉTER

Source: Teaching Mathematics & Computer Science; 2020, Vol. 18 Issue 4, p307-316, 10p

Subject Terms: DATA science, HIGH school students, MATHEMATICS education, GREATEST common divisor, COMPUTER science

Mathematical Optimization Theory and Operations Research : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Authors: Igor Bykadorov Vitaly Strusevich Tatiana Tchemisova

Resource Type: eBook.

Subjects: Computer science—Mathematics, Artificial intelligence, Algorithms, Computer networks, Artificial intelligence—Data processing, Computer science

Categories: MATHEMATICS / Applied, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms

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

Cultural foundations of a mathematician's thinking: a Psychobiographical exploration of Zoltán Paul Dienes and his cognitive development.

Authors: Bálint, Ágnes

Source: International Review of Psychiatry; Feb/Mar2024, Vol. 36 Issue 1/2, p116-128, 13p

Subject Terms: MATHEMATICS, MENTAL health, CULTURE, NEURAL development, CULTURAL values, SOCIODEMOGRAPHIC factors, INDIVIDUAL development, THOUGHT & thinking, COGNITION

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

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

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

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

Pronalaženje najkraćih putova u grafu korištenjem hibridne CPU-GPU platforme ; Solving All-pairs Shortest Path Problem on a Hybrid CPU-GPU Platform

Authors: Karaula, Mislav Ševerdija, Domagoj

Contributors: Karaula, Mislav Ševerdija, Domagoj

Subject Terms: najkraći putovi u grafu, Floyd-Warshall algoritam, CUDA akcelerirano računarstvo, shortest paths in a graph, Floyd-Warshall algorithm, CUDA accelerated computing, 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:107; https://urn.nsk.hr/urn:nbn:hr:126:948332; https://repozitorij.unios.hr/islandora/object/mathos:107/datastream/PDF

Availability: https://repozitorij.unios.hr/islandora/object/mathos:107
https://urn.nsk.hr/urn:nbn:hr:126:948332
https://repozitorij.unios.hr/islandora/object/mathos:107/datastream/PDF

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

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