Results 1 to 10 of about 11,089 (266)
Concepts May Still Be Objects [PDF]
Organon F, 2023 In his book (2021) Trueman attempts to provide a solution to the problem of the concept horse, which according to Frege’s published writings is an object, not a concept.
Harold Noonan
doaj +1 more source
The role of predicative sentences in Hafez’s poetry [PDF]
مطالعات زبانی و بلاغی, 2022 In the present study, the underlying delicacy of Hafez’s poetry in skillfully expressing predicative sentences is taken into consideration by examining his masterful change of word order, compared to sentence word order as put forth in grammar books.
Seyed Mehdi Mousavinia, Meysam Hajipour
doaj +1 more source
Investigating the Evolution and Frequency of Persian Light Verbs Dâštan (Have), Amadan (Come), Avardan (Bring), Gereftan (Get), and Didan (See) from 1840 to 1940 [PDF]
نشریه پژوهشهای زبانشناسی, 2020 Persian light verbs have changed in terms of frequency of use in the course of time. The study of frequency changes of various common light verbs in the long history of Persian language seems reasonable, but the study of light verbs in the course of a ...
Bahador Zafarabadi, Jalal Rahemeyan
doaj +1 more source
Dijkstra's interpretation of the approach to solving a problem of program correctness [PDF]
Yugoslav Journal of Operations Research, 2010 Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although ...
Markoski Branko +3 more
doaj +1 more source
Использование многозначной логики для качественного анализа данных
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2022 В статье рассматривается логический подход к анализу данных для решения задачи классификации. Исследуемые данные представляют собой совокупность объектов и их признаков.
Лютикова, Л.А.
doaj +1 more source
Predicate abstraction with indexed predicates [PDF]
ACM Transactions on Computational Logic, 2007 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Lahiri, Shuvendu K., Bryant, Randal E.
openaire +2 more sources
Wittgenstein on Truth: Some Remarks on Paragraphs 134-137 of Philosophical Investigations
Analiza i Egzystencja, 2023 The main aim of this text is to explicate what paragraphs 134-137 of Philosophical Investigations say about truth. Nevertheless, I start with a discussion of the remarks on truth contained in the Tractatus because the thoughts expressed in the latter ...
Jan Wawrzyniak
doaj +1 more source
Современная наука и инновации, 2022 То construct and obtain a logical-mathematical substantiation and a model of the process of constructing a description of any subject area of a corporate automated information system.
K. Y. Maslenikov, G. I. Revunkov
doaj +1 more source
Интеграция образования, 2022 Introduction. This article deals with the problem of studentsʼ understanding of educational texts and ways of diagnosing the level of perception and understanding of secondary texts.
Svetlana V. Shustova +3 more
doaj +1 more source
A Comparative Analysis of the Main Elements of Sentences Semantically and Syntactically in Persian and Arabic [PDF]
Iranian Journal of Applied Language Studies, 2022 The present study compares the elements and main elements of the sentence (subject, predicate, and linking verbs) in Persian and Arabic languages to prove the hypothesis of many rhetorical similarities in the science of semantics of these two languages ...
Hassan Saadatfar +2 more
doaj +1 more source