نتایج جستجو برای: deductive

تعداد نتایج: 7045  

Journal: :Mathematical Modelling 1980

Journal: :The Journal of Logic Programming 1988

Journal: :EPiC series in computing 2023

Contracts specifying a procedure’s behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution procedure. This necessitates to annotate code with intermediate assertions, preventing full specification abstraction. We propose logic over symbolic traces able specify recursive procedures ...

Journal: :The Journal of Philosophy, Psychology and Scientific Methods 1905

Journal: :Journal of Applied Non-Classical Logics 2023

This paper discusses and compares various answers to the question when argumentation is deductive. includes an answer questions defeasible whether a subclass of deductive or it distinct form argumentation. It concluded that as conceived by Philosophers like Pollock Rescher formalised in ASPIC+ framework systems Defeasible Logic Programming, are semantically different categories. For this reason...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده زبانهای خارجی 1388

this study investigated the potential role of age in inductive and deductive grammar learning among iranian foreign language learners. the experimental population consisted of our randomly selected samples including two groups of children (with age of exposure to english within 8-13), and two groups of adults (with age of exposure to english within 11-13). thus, the comparison was between ch...

Journal: :Notre Dame Journal of Formal Logic 2009

Journal: :Logic and Logical Philosophy 2003

Journal: :The Spanish Journal of Psychology 2002

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید