Gotowe bibliografie tematyczne / Logical tasks

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Logical tasks”

Autor: Grafiati

Data publikacji: 5 czerwca 2025

Data aktualizacji: 2 sierpnia 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Logical tasks”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Logical tasks"

Taiboldina, K. R., K. R. Ramazanova, and G. R. Churbaeva. "LOGICAL TASKS." Vestnik of M. Kozybayev North Kazakhstan University, no. 2 (51) (December 29, 2021): 34–38. http://dx.doi.org/10.54596/2309-6977-2021-2-34-38.

Pełny tekst źródła

Streszczenie:

This article discusses non-standard logical problems encountered in the mathematical Olympiad and methods of their solution. Special attention is paid to familiarization with the ways of solving logical problems and the peculiarities of teaching this topic. Forming the skills of solving logical problems, we develop in the student the qualities of curiosity, perseverance, versatility. The main purpose of setting logical problems at the Mathematical Olympiad is the independent solution of problems and the development of students' curiosity.At the mathematical Olympiad, it is rather more difficul

Style APA, Harvard, Vancouver, ISO itp.

Pulatova, Manzura Iskhakovna, and Zilola Kahramonovna Khamroeva. "METHODS FOR SOLVING LOGICAL PROBLEMS FOR THE DEVELOPMENT OF THE MIND IN MATHEMATICS." GOLDEN BRAIN 1, no. 11 (2023): 68–75. https://doi.org/10.5281/zenodo.7865623.

Pełny tekst źródła

Streszczenie:

<em>Whatever the type of learning activity, it is the "tasks" that engage the student and encourage him to think. The ability to recall and apply new knowledge in various learning processes, to generalize and assimilate the acquired knowledge is directly related to learning tasks, and tasks are a means of developing the student’s knowledge (these ideas are not copied from anywhere). I came to this conclusion by observing students when I was in schools for experimental testing and work with teachers. Indeed, in order to gain new knowledge, the student uses his previous knowledge

Style APA, Harvard, Vancouver, ISO itp.

Sapazhanov, Y., Y. Sapazhanov, T. Manap, and K. Uderbayeva. "DEVELOPING STUDENTS’ LOGICAL THINKING BY SOLVING NON-STANDARD TASKS." Педагогика и Методы Обучения, no. 3 (56) 2021 (September 15, 2021): 75–83. https://doi.org/10.47344/sdu20bulletin.v56i3.601.

Pełny tekst źródła

Streszczenie:

One of the priority tasks of the modern education system is the formation of a logically thinking, research-oriented personality. The ability to think logically is a necessary condition for the successful assimilation of educational material. The article deals with the use of various non-standard tasks for this purpose, which forces us to abandon the stereotypes of thinking. The paper considers some pedagogical conditions that must be followed when learning to solve non-standard problems, and partially reveals the work at the stages of their solution. However, it should be noted that when lear

Style APA, Harvard, Vancouver, ISO itp.

Ibragimov, R., B. Kalimbetov, and Zh Khabibullaev. "Features of Preparing Future Mathematics Teachers for the Implementation of Logical Tasks." Iasaýı ýnıversıtetіnіń habarshysy 129, no. 3 (2023): 239–52. http://dx.doi.org/10.47526/2023-3/2664-0686.18.

Pełny tekst źródła

Streszczenie:

This article describes the types of logical tasks in Mathematics textbooks of the main school according to the updated program and the characteristic features of the methodological training of future mathematics teachers in their implementation. The issue of preparing students for the implementation of logical tasks is considered. Methods and techniques for improving the logical thinking of students studying in the specialty of a mathematics teacher are outlined. The main task of teaching mathematics is the development of logical thinking and logical training of students. Accounting in the abi

Style APA, Harvard, Vancouver, ISO itp.

Ontuganova, Sh Sh, and A. Zhapbarov. "FORMATION OF LOGICAL THINKING AND SPEECH SKILLS OF ELEMENTARY CLASS STUDENTS." Bulletin of Kazakh National Women's Teacher Training University, no. 2 (July 16, 2021): 31–41. http://dx.doi.org/10.52512/2306-5079-2021-86-2-31-41.

Pełny tekst źródła

Streszczenie:

Only with logically correct thinking and understanding, we distinguish between cause-and-effect relationships, dependence on each other, the origin and path of development of things around us. The process of logically correct thinking expands the student's ability to treat his assumptions skeptically and critically, thereby deepening and expanding his understanding of the world, existence and being. The logical process is the result of scientific knowledge of the world, memorization of objects and phenomena of the external world in the human brain, consideration of the correct forms and laws,

Style APA, Harvard, Vancouver, ISO itp.

Kozyriev, Andrii, and Ihor Shubin. "The method of linear-logical operators and logical equations in information extraction tasks." INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, no. 1 (27) (July 2, 2024): 81–95. http://dx.doi.org/10.30837/itssi.2024.27.081.

Pełny tekst źródła

Streszczenie:

Relational and logical methods of knowledge representation play a key role in creating a mathematical basis for information systems. Predicate algebra and predicate operators are among the most effective tools for describing information in detail. These tools make it easy to formulate formalized information, create database queries, and simulate human activity. In the context of the new need for reliable and efficient data selection, a problem arises in deeper analysis. Subject of the study is the theory of quantum linear equations based on the algebra of linear predicate operations, the forma

Style APA, Harvard, Vancouver, ISO itp.

De Neys, Wim. "The freak in all of us: Logical truth seeking without argumentation." Behavioral and Brain Sciences 34, no. 2 (2011): 75–76. http://dx.doi.org/10.1017/s0140525x10002827.

Pełny tekst źródła

Streszczenie:

AbstractMercier and Sperber (M&S) sketch a bleak picture of logical reasoning in classic, nonargumentative tasks. I argue that recent processing data indicate that despite people's poor performance they at least seek to adhere to traditional logical norms in these tasks. This implies that classic reasoning tasks are less artificial–and logical reasoning less exceptional–than M&S's framework suggests.

Style APA, Harvard, Vancouver, ISO itp.

Fakhertdinova1, D. I., and A. L. Zolkin. "LOGICAL-FORMING TASKS IN THE DEVELOPMENT OF LOGICAL COMPETENCE OF IT FOREIGN APPLICANTS." Izvestiya of the Samara Science Centre of the Russian Academy of Sciences. Social, Humanitarian, Medicobiological Sciences 25, no. 90 (2023): 47–53. http://dx.doi.org/10.37313/2413-9645-2023-25-90-47-53.

Pełny tekst źródła

Streszczenie:

The article introduces the definition logical competence of the context of future IT professionals. The difference between existing approaches to the definition of logical competence and logical competences is considered. The importance of logical competence as a main competence on the formation and development of the professional competence of future IT specialists is presented. Difficulties in the process of formation and development of logical competence and ways to solve them are described. An overview of various educational systems of the world aimed at the formation of the logical compet

Style APA, Harvard, Vancouver, ISO itp.

Bronkhorst, Hugo, Gerrit Roorda, Cor Suhre, and Martin Goedhart. "Logical Reasoning in Formal and Everyday Reasoning Tasks." International Journal of Science and Mathematics Education 18, no. 8 (2019): 1673–94. http://dx.doi.org/10.1007/s10763-019-10039-8.

Pełny tekst źródła

Streszczenie:

AbstractLogical reasoning is of great societal importance and, as stressed by the twenty-first century skills framework, also seen as a key aspect for the development of critical thinking. This study aims at exploring secondary school students’ logical reasoning strategies in formal reasoning and everyday reasoning tasks. With task-based interviews among 4 16- and 17-year-old pre-university students, we explored their reasoning strategies and the reasoning difficulties they encounter. In this article, we present results from linear ordering tasks, tasks with invalid syllogisms and a task with

Style APA, Harvard, Vancouver, ISO itp.

Prokhorova, Tatiana Pavlovna. "The logical question as a method of development logical universal educational actions." KANT 40, no. 3 (2021): 280–84. http://dx.doi.org/10.24923/2222-243x.2021-40.53.

Pełny tekst źródła

Streszczenie:

The purpose of the study is to determine the actual problems of the formation and further development of logical universal educational actions and historical thinking of schoolchildren. The article emphasis is placed on the problems of teaching school students the subject "History" at the initial stage, including the problem of forming historical thinking, and the directions for solving them. The thesis is argued that one of the most effective methods of forming and development logical universal educational actions, and therefore the possibility of forming historical thinking, are logical task

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Logical tasks"

Zhao, Yingshen. "An ontology-based approach towards coupling task and path planning for the simulation of manipulation tasks." Thesis, Toulouse, INPT, 2019. http://www.theses.fr/2019INPT0065.

Pełny tekst źródła

Streszczenie:

Ce travail traite de la simulation et de la validation de tâches de manipulation complexes sous de fortes contraintes géométriques dans des environnements virtuels. Les applications visées sont liées au Framework industriel 4.0 ; à mesure que les produits s’intègrent de plus en plus et que la concurrence économique s'intensifie, les industriels expriment le besoin de valider, dès la conception, non seulement les modèles CAO statiques de leurs produits mais aussi les tâches (ex. : assemblage ou maintenance) liées à leur Product Lifecycle Management (PLM). La communauté scientifique s'est penché

Style APA, Harvard, Vancouver, ISO itp.

Kobiela, Marta Anna. "An eighth grade curriculum incorporating logical thinking and active learning." Texas A&M University, 2006. http://hdl.handle.net/1969.1/4234.

Pełny tekst źródła

Streszczenie:

With the increasing stress on teachers and students to meet and raise mathematics standards in schools, especially in the secondary level, the need for strong curricula and supporting materials for teachers has grown. A good curriculum, however, must do more than align with state standards and teach to the state exams; it must encourage students to enjoy mathematics. In an effort to help ease the plague of math anxiety, this thesis presents an eighth grade curriculum, called MathTAKStic, not only directly aligning with the Texas state standards, the Texas Essential Knowledge Skills (TEKS), but

Style APA, Harvard, Vancouver, ISO itp.

Perundurai, Rajasekaran Siddharthan. "Nonparametric Inverse Reinforcement Learning and Approximate Optimal Control with Temporal Logic Tasks." Digital WPI, 2017. https://digitalcommons.wpi.edu/etd-theses/1205.

Pełny tekst źródła

Streszczenie:

"This thesis focuses on two key problems in reinforcement learning: How to design reward functions to obtain intended behaviors in autonomous systems using the learning-based control? Given complex mission specification, how to shape the reward function to achieve fast convergence and reduce sample complexity while learning the optimal policy? To answer these questions, the first part of this thesis investigates inverse reinforcement learning (IRL) method with a purpose of learning a reward function from expert demonstrations. However, existing algorithms often assume that the expert demon

Style APA, Harvard, Vancouver, ISO itp.

Morris, M. Frances G. "The psychology of information selection and reasoning." Thesis, Bangor University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361192.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Grossman, Mark. "Task Interaction and Control System (TICS) /." Full text open access at:, 1987. http://content.ohsu.edu/u?/etd,140.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Guo, Meng. "Hybrid Control of Multi-robot Systems under Complex Temporal Tasks." Doctoral thesis, KTH, Reglerteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177639.

Pełny tekst źródła

Streszczenie:

Autonomous robots like household service robots, self-driving cars and dronesare emerging as important parts of our daily lives in the near future. They need tocomprehend and fulfill complex tasks specified by the users with minimal humanintervention. Also they should be able to handle un-modeled changes and contingentevents in the workspace. More importantly, they shall communicate and collaboratewith each other in an efficient and correct manner. In this thesis, we address theseissues by focusing on the distributed and hybrid control of multi-robot systemsunder complex individual tasks. We s

Style APA, Harvard, Vancouver, ISO itp.

Lindemann, Lars. "Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks." Licentiate thesis, KTH, Reglerteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-227030.

Pełny tekst źródła

Streszczenie:

Dynamical systems that provably satisfy given specifications have become increasingly important in many engineering areas. For instance, safety-critical systems such as human-robot networks or autonomous driving systems are required to be safe and to also satisfy some complex specifications that may include timing constraints, i.e., when or in which order some tasks should be accomplished. Temporal logics have recently proven to be a valuable tool for these control systems by providing a rich specification language. Existing temporal logic-based control approaches discretize the underlying dyn

Style APA, Harvard, Vancouver, ISO itp.

Curiel, Diaz Arturo Tlacaélel. "Using formal logic to represent sign language phonetics in semi-automatic annotation tasks." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30308/document.

Pełny tekst źródła

Streszczenie:

Cette thèse présente le développement d'un framework formel pour la représentation des Langues de Signes (LS), les langages des communautés Sourdes, dans le cadre de la construction d'un système de reconnaissance automatique. Les LS sont de langues naturelles, qui utilisent des gestes et l'espace autour du signeur pour transmettre de l'information. Cela veut dire que, à différence des langues vocales, les morphèmes en LS ne correspondent pas aux séquences de sons; ils correspondent aux séquences de postures corporelles très spécifiques, séparés par des changements tels que de mouvements. De pl

Style APA, Harvard, Vancouver, ISO itp.

Vander, Wood Melissa Ann. "Actual and self-assessed performance on a logical reasoning task after a night of total or partial sleep deprivation." Connect to this title online, 2008. http://etd.lib.clemson.edu/documents/1211388594/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Vargas, Patricia Kayser. "Exploração de paralelismo ou em uma linguagem em lógica com restrições." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1998. http://hdl.handle.net/10183/26307.

Pełny tekst źródła

Streszczenie:

Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma extensão da programação em lógica, onde busca-se a eficiência e a possibilidade de executar novas classes de problemas. Variáveis em CLP podem pertencer a domínios específicos como, por exemplo, reais ou booleanos. O principal conceito introduzido é a restrição

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Logical tasks"

Dyagilev, Vasiliy, and Pavel Razov. Logic. Theory of argumentation. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1085524.

Pełny tekst źródła

Streszczenie:

The textbook covers the main sections of the course of formal logic, the principles of drawing conclusions, the basics of argumentation and communication. The topics are presented taking into account the achievements of modern logical science. In addition to the theoretical part, practical tasks and texts for analytical analysis are included. Meets the requirements of the federal state educational standards of higher education of the latest generation.  It is intended for bachelors, undergraduates and postgraduates of humanitarian specialties. It can also be used by anyone wh

Style APA, Harvard, Vancouver, ISO itp.

Sinchenko, Georgiy. The logic of the dissertation. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2173831.

Pełny tekst źródła

Streszczenie:

The textbook is a set of rules, techniques and recommendations developed on the basis of formal logic. The minimum of formal and logical knowledge is presented in the form in which it can be directly used to solve a wide range of cognitive tasks of dissertation research. Tips and recommendations are given in a general context with an analysis of examples from dissertations, abstracts and publications in various fields of science. It is intended for applicants for the degree of Candidate of Sciences, and is of interest to applicants for the degree of Doctor of Sciences and anyone who wants to e

Style APA, Harvard, Vancouver, ISO itp.

Biryukov, Vladimir, and Pavel Sharonin. Theory of economic analysis. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1851552.

Pełny tekst źródła

Streszczenie:

The textbook reveals the theoretical and organizational foundations, information support of economic analysis. It contains a description of the techniques, methods and methods of analytical research used both in the practical activities of economic entities and in scientific research; a description of the types of economic analysis; a methodology for determining the value of intra-production reserves.  It is structured in such a way that the student can understand not only the essence of economic analysis, but also develop practical skills for conducting economic analysis of organization

Style APA, Harvard, Vancouver, ISO itp.

Akat'eva, Marina. Documentation of business operations and accounting of the organization's property. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1070199.

Pełny tekst źródła

Streszczenie:

The textbook covers the entire range of issues of documenting business operations and accounting for the organization's property, taking into account current regulations and legislation. The textbook allows you not only to understand the essence of documenting business operations and accounting for the organization's property, but also to develop practical skills on these issues. The presentation of the material is illustrated by structural and logical diagrams, generalizing analytical tables, and many practical examples. In order to consolidate knowledge, self-control questions and test

Style APA, Harvard, Vancouver, ISO itp.

Levchaev, Petr. Finance companies. INFRA-M Academic Publishing LLC., 2017. http://dx.doi.org/10.12737/22549.

Pełny tekst źródła

Streszczenie:

The textbook describes theoretical, methodological and practical bases of Finance companies. Logical structure of presentation allows you to consistently learn as the basic material of the course and the topics corresponding to the conceptual higher level of knowledge. For a comprehensive assimilation of the provisions of the course "Finance organizations" topics of the discipline are given control questions and tasks for self-examination of knowledge of students, thesis topics and modern research directions of Finance of organizations and themes of final qualification works, questions t

Style APA, Harvard, Vancouver, ISO itp.

Richard, Barker. CASE Method: Tasks and deliverables. Addison-Wesley, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Shumilina, Vera, Galina Krohicheva, Nataliya Izvarina, et al. Application of accounting, analysis and audit in enterprise management. AUS PUBLISHERS, 2021. http://dx.doi.org/10.26526/monography_618ba6f2989171.05397055.

Pełny tekst źródła

Streszczenie:

It is impractical to plan the further work of the company without taking into account analytical data for previous production periods. Analytical accounting data allows managers to build a company's strategy or make changes to an existing development plan. The importance of accounting for the enterprise plays a large role at the planning stage of the further business strategy. A competent manager studies accounting data before making the next decision regarding the company's finances. The easiest way to streamline accounting documents and eliminate errors in it is to conduct an internal audit.

Style APA, Harvard, Vancouver, ISO itp.

Sinclair-Desgagne, Bernard. The first-order approach to multi-task principal-agent problems. INSEAD, 1991.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Konurbaev, Marklen. Logic, propositions, and typology of texts in English.Critical Aristotle. Politics. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2169267.

Pełny tekst źródła

Streszczenie:

The textbook was created within the framework of the academic discipline "Logic, proposition and typology of texts" and is focused on integrative work with the text of Aristotle's "Politics" (philosophical treatise "Politics") in English, including analytical reading based on the method of critical thinking, with its subsequent written interpretation. It contains tasks and exercises for the text of "Politics" aimed at maximizing its understanding and developing writing skills. For students of philological faculties, graduate students and teachers.

Style APA, Harvard, Vancouver, ISO itp.

Logunova, Oksana, Petr Romanov, and Elena Il'ina. Processing of experimental data on a computer. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1064882.

Pełny tekst źródła

Streszczenie:

The textbook provides information about the main methods and tools for automating computational processes used in data processing; methods for representing and generating models of experimental data; data models and classification of processing tasks; and the organization of the user interface in automated systems for processing experimental data. Contains structured chapters on the specifics of experimental research. The features of using software for processing experimental data are clearly and logically described. Theoretical material and basic algorithms for processing experimental data us

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Logical tasks"

Peterson, Donald. "Logical Space and Truth-Functionality." In The Tasks of Contemporary Philosophy / Die Aufgaben der Philosophie in der Gegenwart. J.F. Bergmann-Verlag, 1986. http://dx.doi.org/10.1007/978-3-662-30341-2_79.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Wahl, Russell. "The Logical form of Objects in Wittgenstein’s Tractatus." In The Tasks of Contemporary Philosophy / Die Aufgaben der Philosophie in der Gegenwart. J.F. Bergmann-Verlag, 1986. http://dx.doi.org/10.1007/978-3-662-30341-2_81.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Van den Heuvel-Panhuizen, Marja, Dag Oskar Madsen, Monica Alstad, Ruth-Amalie Breckan, and Anne Marthe Johansen. "Giving a Boost to Textbook Tasks." In Recent Advances in Mathematics Textbook Research and Development. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-8426-4_49.

Pełny tekst źródła

Streszczenie:

AbstractDespite the generally acknowledged relevance of providing students with rich, challenging tasks that require genuine problem solving, several studies have shown that these tasks are often lacking in textbooks. Bringing new textbooks to the market might feel as a logical solution for this, but maybe there is also another way of resolving this problem in which teachers can also play a pivotal role: Enriching textbook tasks. In this paper we report about a case study carried out in a Norwegian fifth-grade classroom in which we explored Denisse Thompson’s suggestion (2012) to make textbook

Style APA, Harvard, Vancouver, ISO itp.

Bedny, Gregory Z., and Inna S. Bedny. "Design of Computerized Tasks with Complex Logical and Probabilistic Structure." In Work Activity Studies Within the Framework of Ergonomics, Psychology, and Economics. CRC Press, 2018. http://dx.doi.org/10.1201/9781351125000-7.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mitas, Andrzej W., Anna M. Lipowicz, Agata M. Wijata, and Maria J. Bieńkowska. "Impact of Music on the Effectiveness of Performing Mathematical-Logical Tasks." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-39796-2_34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Lu, Jeffrey, and Ivan Rodriguez. "Deep Manifold Learning for Reading Comprehension and Logical Reasoning Tasks with Polytuplet Loss." In Lecture Notes in Networks and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-53963-3_23.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Solaki, Anthia, and Fernando R. Velázquez-Quesada. "Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks." In Logic, Rationality, and Interaction. Springer Berlin Heidelberg, 2019. http://dx.doi.org/10.1007/978-3-662-60292-8_22.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Ba, Mouhamadou. "Guided Composition of Tasks with Logical Information Systems - Application to Data Analysis Workflows in Bioinformatics." In The Semantic Web: Semantics and Big Data. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38288-8_47.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bedny, Gregory Z., and Inna S. Bedny. "Tasks with Complex Logical and Probabilistic Structure and Assessment of Probability of Decision-Making Outcomes." In Work Activity Studies Within the Framework of Ergonomics, Psychology, and Economics. CRC Press, 2018. http://dx.doi.org/10.1201/9781351125000-5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Blicha, Martin, Konstantin Britikov, and Natasha Sharygina. "The Golem Horn Solver." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_10.

Pełny tekst źródła

Streszczenie:

AbstractThe logical framework of Constrained Horn Clauses (CHC) models verification tasks from a variety of domains, ranging from verification of safety properties in transition systems to modular verification of programs with procedures. In this work we present Golem, a flexible and efficient solver for satisfiability of CHC over linear real and integer arithmetic. Golem provides flexibility with modular architecture and multiple back-end model-checking algorithms, as well as efficiency with tight integration with the underlying SMT solver. This paper describes the architecture of Golem and i

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Logical tasks"

Cheberiachko, Serhii, Dmytro Radchuk, Yuriy Cheberiachko, Oleg Deryugin, and Mykola Naumov. "Evaluation of the Impact of Wearing a Filtering Half Mask on the Cognitive Indicators of Users." In 8th International Congress "Environment Protection. Energy Saving. Sustainable Environmental Management". Trans Tech Publications Ltd, 2025. https://doi.org/10.4028/p-1jvlxw.

Pełny tekst źródła

Streszczenie:

Purpose. Study of the influence of users' cognitive indicators on decision-making time when using filtering half masks. Method. 10 men and 5 women who used RPA-DE filtering half masks manufactured by Research and Production Enterprise STANDART took part in the study. During the study, the time and speed of the reaction of half masks users to a stimulus were determined, which allows us to assess the speed of decision-making when performing professional activities in a polluted working environment. The tasks were performed in the absence of physical exertion: once in a half mask, another time wi

Style APA, Harvard, Vancouver, ISO itp.

Tena Cucala, David J., and Bernardo Cuenca Grau. "Bridging Max Graph Neural Networks and Datalog with Negation." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/89.

Pełny tekst źródła

Streszczenie:

We consider a general class of data transformations based on Graph Neural Networks (GNNs), which can be used for a wide variety of tasks. An important question in this setting is to characterise the expressive power of these transformations in terms of a suitable logic-based language. From a practical perspective, the correspondence of a GNN with a logical theory can be exploited for explaining the model's predictions symbolically. In this paper, we introduce a broad family of GNN-based transformations which can be characterised using Datalog programs with negation-as-failure, which can be com

Style APA, Harvard, Vancouver, ISO itp.

Biletska, Maryna, Tatiana Pidvarko, Lina Kotova, and Karina Oleksenko. "THE CREATIVE HERITAGE OF DAVID OISTRAKH IN THE MUSICAL ART OF THE XX CENTURY." In 11th SWS International Scientific Conferences on ART and HUMANITIES - ISCAH 2024. SGEM WORLD SCIENCE, 2024. https://doi.org/10.35603/sws.iscah.2024/s08.21.

Pełny tekst źródła

Streszczenie:

The creation of D. Oistrakh is one of the highest achievements in the native musical art of the 20th century. D. Oistrakh�s impressive performing skills, the philosophical depth and the scale of his interpretations, the sensitivity to everything new were combined with the inspiration of the pedagogical work, the special care about the transformation of his great creative experience to the new generation of the violinists. Studying the creative heritage of D. Oistrakh, we can confirm that he has created the original pedagogical system that synthesized the most progressive methods of the native

Style APA, Harvard, Vancouver, ISO itp.

Biletska, Maryna, Tatiana Pidvarko, Lina Kotova, and Tetyana Stratan-Artyshkova. "METHODICAL APPROACHES TO THE STUDY OF STUDENTS` MUSICAL ABILITIES IN THE PROCESS OF PEDAGOGICAL COMMUNICATION." In 11th SWS International Scientific Conferences on SOCIAL SCIENCES - ISCSS 2024. SGEM WORLD SCIENCE, 2024. https://doi.org/10.35603/sws.iscss.2024/s08/59.

Pełny tekst źródła

Streszczenie:

The purpose of the research is the improvement of the socio-perceptive skills of the teachers for the correlation of the study and understanding of students� musical abilities. For the achievement of the set of goal, the general scientific methodological approaches (systemic, competent) and the research methods as abstract-logical, analysis and synthesis have been used to study, to generalize and to systematize the obtained information with the purpose of the comparison of the different views of the scientists on the problems of the pedagogical communication and the teaching of students� music

Style APA, Harvard, Vancouver, ISO itp.

Xu, Zhe, and Ufuk Topcu. "Transfer of Temporal Logic Formulas in Reinforcement Learning." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/557.

Pełny tekst źródła

Streszczenie:

Transferring high-level knowledge from a source task to a target task is an effective way to expedite reinforcement learning (RL). For example, propositional logic and first-order logic have been used as representations of such knowledge. We study the transfer of knowledge between tasks in which the timing of the events matters. We call such tasks temporal tasks. We concretize similarity between temporal tasks through a notion of logical transferability, and develop a transfer learning approach between different yet similar temporal tasks. We first propose an inference technique to extract met

Style APA, Harvard, Vancouver, ISO itp.

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A. Henzinger, et al. "Logical Reliability of Interacting Real-Time Tasks." In 2008 Design, Automation and Test in Europe. IEEE, 2008. http://dx.doi.org/10.1109/date.2008.4484790.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A. Henzinger, et al. "Logical reliability of interacting real-time tasks." In the conference. ACM Press, 2008. http://dx.doi.org/10.1145/1403375.1403595.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Donadello, Ivan, Luciano Serafini, and Artur d'Avila Garcez. "Logic Tensor Networks for Semantic Image Interpretation." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/221.

Pełny tekst źródła

Streszczenie:

Semantic Image Interpretation (SII) is the task of extracting structured semantic descriptions from images. It is widely agreed that the combined use of visual data and background knowledge is of great importance for SII. Recently, Statistical Relational Learning (SRL) approaches have been developed for reasoning under uncertainty and learning in the presence of data and rich knowledge. Logic Tensor Networks (LTNs) are a SRL framework which integrates neural networks with first-order fuzzy logic to allow (i) efficient learning from noisy data in the presence of logical constraints, and (ii) re

Style APA, Harvard, Vancouver, ISO itp.

Oliveira, Augusto C. A., Francisco L. B. Martins, Davi R. Vasconcelos, and Maria V. Menezes. "Acting Humanly: Identification and Analysis of Logical Reasoning Biases Exhibited by ChatGPT versus Undergraduate Students." In Encontro Nacional de Inteligência Artificial e Computacional. Sociedade Brasileira de Computação - SBC, 2024. https://doi.org/10.5753/eniac.2024.245191.

Pełny tekst źródła

Streszczenie:

Definitions of Artificial Intelligence (AI) include characterizing algorithms as those that: thinking humanly, thinking rationally, acting humanly and acting rationally. On the one hand, Logic, as a formal framework, allows for the creation of algorithms capable of thinking rationally by expressing real world situations in a language that enables valid and rigorous reasoning. On the other hand, Large Language Models, such as ChatGPT, represent algorithms that acting humanly, especially in tasks involving understanding and generating natural language text. However, these models can exhibit logi

Style APA, Harvard, Vancouver, ISO itp.

ZAHARIA, Rică. "Didactic tasks of finding and description." In "Ştiință și educație: noi abordări și perspective", conferinţă ştiinţifică internaţională. Ion Creangă Pedagogical State University, 2024. https://doi.org/10.46727/c.v4.21-22-03-2024.p120-127.

Pełny tekst źródła

Streszczenie:

The didactic tasks that can beproposed have been selected in such a way that through themthe entire geometry known to the student, the entire mathematical book science acquired at the moment,and especially theorems, fundamental properties, logical reasoning, techniques and methods arecovered. useful to solve them in relation to the study subject being studied at the moment.

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Logical tasks"

Tsidylo, Ivan M., Serhiy O. Semerikov, Tetiana I. Gargula, Hanna V. Solonetska, Yaroslav P. Zamora, and Andrey V. Pikilnyak. Simulation of intellectual system for evaluation of multilevel test tasks on the basis of fuzzy logic. CEUR Workshop Proceedings, 2021. http://dx.doi.org/10.31812/123456789/4370.

Pełny tekst źródła

Streszczenie:

The article describes the stages of modeling an intelligent system for evaluating multilevel test tasks based on fuzzy logic in the MATLAB application package, namely the Fuzzy Logic Toolbox. The analysis of existing approaches to fuzzy assessment of test methods, their advantages and disadvantages is given. The considered methods for assessing students are presented in the general case by two methods: using fuzzy sets and corresponding membership functions; fuzzy estimation method and generalized fuzzy estimation method. In the present work, the Sugeno production model is used as the closest

Style APA, Harvard, Vancouver, ISO itp.

Hristodulo, Olga Igorevna, and Miliausha Ilgamovna Akhmetzianova. Development of a geo-information system for monitoring the attractiveness of municipalities using parametric, structural approaches (case of Republic of Bashkortostan). DOI CODE, 2021. http://dx.doi.org/10.18411/doicode-2021.003.

Pełny tekst źródła

Streszczenie:

To date, one of the most important tasks of the State in ensuring the sustainable socio-economic and demographic development of the country is the regulation of migration processes. In the Republic of Bashkortostan in recent years there has been an increase in the number of people participating in both intraregional and extra-regional migration, which indicates the need to manage migration flows for the effective development of territories of this entity. In this connection, this article is dedicated to the development of GIS monitoring of the attractiveness of municipalities of the Republic o

Style APA, Harvard, Vancouver, ISO itp.

Ruff, Grigory, and Tatyana Sidorina. THE DEVELOPMENT MODEL OF ENGINEERING CREATIVITY IN STUDENTS OF MILITARY INSTITUTIONS. Science and Innovation Center Publishing House, 2020. http://dx.doi.org/10.12731/model_of_engineering_creativity.

Pełny tekst źródła

Streszczenie:

The troops of the national guard of the Russian Federation are equipped with modern models of weapons, special equipment, Informatization tools, engineering weapons that have artificial intelligence in their composition are being developed, " etc., which causes an increase in the requirements for the quality of professional training of future officers. The increasing complexity of military professional activities, the avalanche-like increase in information, the need to develop the ability to quickly and accurately make and implement well-known and own engineering solutions in an unpredictable

Style APA, Harvard, Vancouver, ISO itp.

Ludwig, Michel, and Rafael Peñaloza. Error-Tolerant Reasoning in the Description Logic EL. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.209.

Pełny tekst źródła

Streszczenie:

Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one might still want to derive meaningful knowledge from the ontology, while avoiding the known errors. We study error-tolerant reasoning tasks in the description logic EL. While these problems are intractable, we propose methods for improving the reasoning times by precompiling information about the known errors and using proof-theoretic techniques for computing justifications. A

Style APA, Harvard, Vancouver, ISO itp.

Distel, Felix. Model-based Most Specific Concepts in Description Logics with Value Restrictions. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.167.

Pełny tekst źródła

Streszczenie:

Non-standard inferences are particularly useful in the bottom-up construction of ontologies in description logics. One of the more common non-standard reasoning tasks is the most specific concept (msc) for an ABox-individual. In this paper we present similar non-standard reasoning task: most specific concepts for models (model-mscs). We show that, although they look similar to ABox-mscs their computational behaviour can be different. We present constructions for model-mscs in FL₀ and FLE with cyclic TBoxes and for ALC∪∗ with acyclic TBoxes. Since subsumption in FLE with cyclic TBoxes has not b

Style APA, Harvard, Vancouver, ISO itp.

Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. Approximation and Difference in Description Logics. Aachen University of Technology, 2001. http://dx.doi.org/10.25368/2022.116.

Pełny tekst źródła

Streszczenie:

Approximation is a new inference service in Description Logics first mentioned by Baader, Küsters, and Molitor. Approximating a concept, defined in one Description Logic, means to translate this concept to another concept, defined in a second typically less expressive Description Logic, such that both concepts are as closely related as possible with respect to subsumption. The present paper provides the first in-depth investigation of this inference task. We prove that approximations from the Description Logic ALC to ALE always exist and propose an algorithm computing them. As a measure for th

Style APA, Harvard, Vancouver, ISO itp.

Peñaloza, Rafael, and Barış Sertkaya. On the Complexity of Axiom Pinpointing in Description Logics. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.173.

Pełny tekst źródła

Streszczenie:

We investigate the computational complexity of axiom pinpointing in Description Logics, which is the task of finding minimal subsets of a knowledge base that have a given consequence. We consider the problems of enumerating such subsets with and without order, and show hardness results that already hold for the propositional Horn fragment, or for the Description Logic EL. We show complexity results for several other related decision and enumeration problems for these fragments that extend to more expressive logics. In particular we show that hardness of these problems depends not only on expre

Style APA, Harvard, Vancouver, ISO itp.

Küsters, Ralf, and Ralf Molitor. Computing Least Common Subsumers in ALEN. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.110.

Pełny tekst źródła

Streszczenie:

Computing the least common subsumer (lcs) in description logics is an inference task first introduced for sublanguages of CLASSIC. Roughly speaking, the lcs of a set of concept descriptions is the most specific concept description that subsumes all of the input descriptions. As such, the lcs allows to extract the commonalities from given concept descriptions, a task essential for several applications like, e.g., inductive learning, information retrieval, or the bottom-up construction of KR-knowledge bases. Previous work on the lcs has concentrated on description logics that either allow for nu

Style APA, Harvard, Vancouver, ISO itp.

Küsters, Ralf, and Ralf Molitor. Computing Least Common Subsumers in ALEN. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.110.

Pełny tekst źródła

Streszczenie:

Style APA, Harvard, Vancouver, ISO itp.

Küsters, Ralf, and Ralf Molitor. Computing Most Specific Concepts in Description Logics with Existential Restrictions. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.108.

Pełny tekst źródła

Streszczenie:

Computing the most specific concept (msc) is an inference task that can be used to support the 'bottom-up' construction of knowledge bases for KR systems based on description logics. For description logics that allow for number restrictions or existential restrictions, the msc need not exist, though. Previous work on this problem has concentrated on description logics that allow for universal value restrictions and number restrictions, but not for existential restrictions. The main new contribution of this paper is the treatment of description logics with existential restrictions. More precise

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!