Výsledky vyhľadávania - "((\"matematika logic AND algorithm theory\") OR (\"mathematical logic AND algorithm theory\"))*"

EXTENDED CONTINUOUS LOGIC AND THE THEORY OF COMPLEX CRITERIA

Autori: Dujmović, Jozo J.

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

Prístupová URL adresa: 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

Autori: Poljak, Denis Majstorović, Snježana

Prispievatelia: Poljak, Denis Majstorović, Snježana

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Vuković, Filip Matijević, Domagoj

Prispievatelia: Vuković, Filip Matijević, Domagoj

Predmety: 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 súboru: 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

Dostupnosť: 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.

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

Autori: Kroflin, Matej Matijević, Domagoj

Prispievatelia: Kroflin, Matej Matijević, Domagoj

Predmety: 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 súboru: 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

Dostupnosť: 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.

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

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

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

Autori: Igor Bykadorov Vitaly Strusevich Tatiana Tchemisova

Typ zdroja: eBook.

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

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

Algorithmic theory of solvable groups

Autori: Romankov, V. A.

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

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

Popis súboru: application/pdf

Prístupová URL adresa: 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.

Autori: Bálint, Ágnes

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

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

Chair of Mathematical Logic and Theory of Algorithms.

Autori: Semenov, A. L. Babenko, M. A. Belov, A. Ya. a ďalší

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

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

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

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

Predmety: MATHEMATICAL logic, LOGIC, CYBERNETICS, INTELLECTUALS, CONTINUOUS time models, PANPSYCHISM

Geografický termín: SOVIET Union

Collectives of automata in labyrinths.

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

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

Predmety: MACHINE theory, RECURSIVE functions, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL logic

Victor Timofeevich Markov (21.06.1948–15.07.2019).

Autori: Adrianov, N. M. Artamonov, V. A. Balaba, I. N. a ďalší

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

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

Autori: Iletić, Karlo Ševerdija, Domagoj

Prispievatelia: Iletić, Karlo Ševerdija, Domagoj

Predmety: 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 súboru: 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

Dostupnosť: 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.

Autori: Babash, A. V.

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

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

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

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

Korporácia: 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

Autori: Karaula, Mislav Ševerdija, Domagoj

Prispievatelia: Karaula, Mislav Ševerdija, Domagoj

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

Popis súboru: 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

Dostupnosť: 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.

Autori: Salii, V. N.

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

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

Autori: Podkolzina, M. A.

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

Predmety: COMPLETENESS theorem, MATHEMATICAL logic, SET theory, MATHEMATICAL functions, MACHINE theory, MATHEMATICAL variables

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

Autori: Marchenkov, S. S.

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

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