Bibliografias temáticas / Logician

Índice

Artigos de revistas
Teses / dissertações
Livros
Capítulos de livros
Trabalhos de conferências
Relatórios de organizações

Literatura científica selecionada sobre o tema "Logician"

Autor: Grafiati

Publicado: 29 de julho de 2024

Última modificação: 1 de agosto de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Logician".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Logician"

Burger, Max. "Logician". JAMA: The Journal of the American Medical Association 278, n.º 16 (22 de outubro de 1997): 1380. http://dx.doi.org/10.1001/jama.1997.03550160102053.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

El-Rouayheb, Khaled. "“Mubārakshāh the Logician”". Intellectual History of the Islamicate World 9, n.º 1-2 (19 de dezembro de 2019): 115–39. http://dx.doi.org/10.1163/2212943x-00801101.

Texto completo da fonte

Resumo:

Abstract A scholar known as “Mubārakshāh” features in sources from the fifteenth and sixteenth centuries as a teacher of a number of prominent early Ottoman scholars, and of the influential Persian scholar al-Sayyid al-Sharīf al-Jurjānī (d. 816/1413). According to these sources, Mubārakshāh taught in Cairo in the mid- to late fourteenth century. Yet, despite the large number of Mamluk historical works covering this period, the precise identity of this scholar has so far proven elusive. The present article reviews the evidence and makes an identification that, though circumstantial, may be more satisfying than those that have been offered so far. It suggests that “Mubārakshāh” was a nickname, and that he can plausibly be identified with Maḥmūd b. Quṭlūshāh al-Sarāʾī, who taught in Cairo from 1358 until his death in 1373.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Orman Quine, Wlllard Van. "Peano as logician". History and Philosophy of Logic 8, n.º 1 (janeiro de 1987): 15–24. http://dx.doi.org/10.1080/01445348708837105.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Fontaine, Matthieu. "Hintikka, Free Logician". Logica Universalis 13, n.º 2 (31 de julho de 2018): 179–201. http://dx.doi.org/10.1007/s11787-018-0197-4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Shapiro, Stewart. "The Guru, the Logician, and the Deflationist: Truth and Logical Consequence". Noûs 37, n.º 1 (12 de fevereiro de 2003): 113–32. http://dx.doi.org/10.1111/1468-0068.00431.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Jacquette, Dale. "Confessions of a Meinongian Logician". Grazer Philosophische Studien 58 (2000): 151–80. http://dx.doi.org/10.5840/gps200058/5921.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Jacquette, Dale. "CONFESSIONS OF A MEINONGIAN LOGICIAN". Grazer Philosophische studien 58, n.º 1 (12 de agosto de 2000): 151–80. http://dx.doi.org/10.1163/18756735-90000723.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

BRAUER, ETHAN. "RELEVANCE FOR THE CLASSICAL LOGICIAN". Review of Symbolic Logic 13, n.º 2 (6 de novembro de 2018): 436–57. http://dx.doi.org/10.1017/s1755020318000382.

Texto completo da fonte

Resumo:

AbstractAlthough much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reasoning. In this article I offer a formal explication of the notion of relevance in deductive logic and argue that this notion has an interesting place in the study of classical logic. The main idea is that a premise is relevant to an argument when it contributes to the validity of that argument. I then argue that the sequents which best embody this ideal of relevance are the so-called perfect sequents—that is, sequents which are valid but have no proper subsequents that are valid. Church’s theorem entails that there is no recursively axiomatizable proof-system that proves all and only the perfect sequents, so the project that emerges from studying perfection in classical logic is not one of finding a perfect subsystem of classical logic, but is rather a comparative study of classifying subsystems of classical logic according to how well they approximate the ideal of perfection.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Fessenden, Marissa. "The Logician and the Engineer". Scientific American 307, n.º 5 (16 de outubro de 2012): 84. http://dx.doi.org/10.1038/scientificamerican1112-84c.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Englebretsen, George. "The Logician and the Biologist". Acta Baltica Historiae et Philosophiae Scientiarum 7, n.º 1 (20 de junho de 2019): 39–52. http://dx.doi.org/10.11590/abhps.2019.1.03.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Teses / dissertações sobre o assunto "Logician"

Galvagni, Marco. "Teoria degli insiemi, logica e filosofia nei Collected works di Kurt Gödel". Doctoral thesis, Scuola Normale Superiore, 2005. http://hdl.handle.net/11384/86140.

Texto completo da fonte

Resumo:

From the introduction: [...] Alla luce dello straordinario interesse sollevato dalle opere e dalle riflessioni del logico moravo, ci è sembrato sensato tentare di dare una presentazione di alcuni aspetti fondamentali dei suoi contributi logici, matematici e filosofici tenendo conto innanzitutto dell’immagine che di tali lavori è emersa dalla lettura degli inediti. Abbiamo quindi pensato di illustrare l’opera logico-matematica e fondazionale di Gödel secondo uno schema tripartito: una prima parte dedicata alla logica, una seconda sulla teoria degli insiemi ed infine un’ultima sulla filosofia della matematica. [...] Nella prima parte, relativa alla logica, abbiamo presentato i classici risultati di completezza (capitolo 1) e incompletezza (capitolo 2) utilizzando in particolare due conferenze inedite sui due argomenti ed evidenziando le strategie dimostrative in esse utilizzate. Abbiamo poi affrontato le “incursioni gödeliane” nell’ambito della logica intuizionista e della matematica costruttiva (capitolo 3) ed in quello della logica modale e di ordine superiore (capitolo 4). Nella seconda parte, la pi`u importante dal punto di vista dello specifico approccio interpretativo da noi scelto, abbiamo cercato di ricostruire il percorso di studio, scoperta e riflessione fatto da Gödel nell’ambito della teoria degli insiemi (capitolo 5). In questo senso abbiamo prestato particolare attenzione alla formalizzazione della teoria degli insiemi proposta dall’autore (capitolo 7), ai modelli da lui ideati nell’ambito dei suoi risultati di noncontraddittorietà relativa (capitoli 8 e 9) ed alle sue proposte per una soluzione definitiva del problema del continuo di Cantor (capitoli 10 e 11). Nella terza ed ultima parte, ideale punto di arrivo delle due precedenti, abbiamo tentato una ricostruzione cronologica, ancora una volta basata in gran parte sugli inediti, dei principali momenti della riflessione filosofica gödeliana.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Gambetta, Emanuele. "Structural Reflection and the Ultimate L as the true, noumenal universe of mathematics". Doctoral thesis, Scuola Normale Superiore, 2017. http://hdl.handle.net/11384/86148.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Чигур, І. І. "Розробка методу контролю технічного стану шарошкових доліт в умовах невизначеності процесу буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2000. http://elar.nung.edu.ua/handle/123456789/3904.

Texto completo da fonte

Resumo:

Дисертація присвячена розробці методу контролю технічного стану доліт, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Запропоновано новий метод контролю технічного стану шарошкових доліт на вибої свердловини, який включає в себе лінгвістичний опис технологічних ситуацій, що виникають в процесі буріння свердловин, і яким керуються технологи-ператори при прийнятті рішень про підйом долота для заміни в зв’язку із зношенням його опор чи озброєння. Метод дозволяє контролювати стан опор і озброєння шарошкових доліт у реальному масштабі часу, в умовах геолого-технологічної невизначеності, що дає можливість досягти вищих техніко-економічних показників процесу буріння та запобігти виникненню аварійних ситуацій. Основні результати роботи знайшли промислове впровадження на бурових підприємствах України, а також у навчальному процесі.
Диссертация посвящена разработке метода контроля технического состояния долот, базирующимся на анализе нечеткой (не числовой) информации о параметрах процесса бурения. Предложен новый метод контроля технического состояния шарошечных долот на забое скважины, включающий в себя лингвистическое описание технологических ситуаций, которые возникают в процессе бурения скважин, и которым руководствуются технологи-операторы при принятии решений о подъеме долота для замены в связи с износом его опор или вооружения. Метод позволяет контролировать состояние опор и вооружения шарошечных долот в реальном масштабе времени, в условиях геолого-технологической неопределенности, что дает возможность достичь более высоких технико-экономических показателей процесса бурения и предотвратить возникновение аварийных ситуаций. Основные результаты работы нашли промышленное внедрение на буровых предприятиях Украины, а также в учебном процессе. Диссертация состоит из вступления, пяти разделов и приложений. Во вступлении обоснована актуальность работы, сформулированы цели и практическая ценность работы, отображены основные результаты работы, которые выносятся на защиту. В первом разделе проведен критический анализ методов и технических средств контроля состояния шарошечных долот в процессе бурении скважин на нефть и газ. Усовершенствована классификация методов контроля технического состояния долот. Проанализированы методы контроля технического состояния долот, на основе которых оценены новые разработки в этой области. Отмечено, что в связи с развитием методов теории нечетких множеств имеется возможность организации нового подхода к разработке методов контроля технического состояния долот, основанном на применении нечеткой логики для решения научной задачи контроля состояния долот в условиях неопределенности процесса бурения и выбрано направление исследований. Приведены общие сведения о процессе бурения и буровых долотах, как о контролируемом объекте и выбрано направление исследований. Во втором разделе разработаны теоретические положения метода контроля технического состояния шарошечных долот в условиях неопределенности процесса бурения и математическая диагностическая модель шарошечного долота. Проведено обоснование использования положений нечеткой логики для контроля состояния шарошечных долот. Сформулированы основные понятия и определения нечеткой логики, на основе которой в виде правил-продукций создана нечеткая математическая модель контроля технического состояния шарошечных долот. Параметры процесса бурения представлены в виде нечетких множеств, что позволило реализовать разработанный метод контроля с помощью серийных технических средств. В третьем разделе разработано методическое, техническое и программное обеспечение метода контроля состояния долот. Предложены методы и измерительная аппаратура, необходимая для получения непрерывной информации о технологических параметрах и показателях процесса бурения, которая была использована при разработке и исследовании метода контроля состояния шарошечных долот. Четвертый раздел посвящен разработке метода контроля технического состояния долот в условиях неопределенности процесса бурения на основе лингвистического описания, полученного в результате анализа промысловых данных о работе долот в режиме их катастрофического износа. Обоснован выбор частоты опроса датчиков системы контроля. Осуществлено реализацию разработанного метода контроля на базе DynStar и Ремиконт. Разработана алгоритмическая структура устройства контроля технического состояния долот. В пятом разделе проведен анализ и обобщение результатов исследований метода контроля технического состояния долот в условиях неопределенности процесса бурения. Исследована общая погрешность измерений параметров процесса бурения. На основе методов теории вероятностей исследована точность и достоверность контроля технического состояния шарошечных долот, а также эффективность использования устройства в промысловых условиях. Рассчитана эффективность контроля технического состояния долот с помощью разработанного метода. Результаты исследований использованы в учебном процессе при изучении дисциплин “Автоматизаця технологических процессов”, “Технические средства автоматизации” для студентов специальности 7.092501 - Автоматизированное управление технологическими процессами и производствами. Демонстрационный образец устройства контроля технического состояния долот внедрен в учебный процесс в виде лабораторного стенда. Разработанный метод и рекомендации по его использованию приняты для внедрения на буровых предприятиях Украины: Долинском и Надворнянском УБР ОАО “Укрнефтъ”. Ожидаемый экономический эффект от внедрения составляет 145 тыс. грн.
The dissertation is devoted to development of a method of check of availability index of product of chisels basing on analysis fuzzy (not numeric) information on arguments of process of drilling The new method of check of improvement of rock bit on a bottom hole including the linguistic specification statement of technological situations, arising is proposed during well boring, and by which one the technologists - operatives are guided at acceptance of the decisions about rise of a chisel for substitution in connection with its wear. The method allows to monitor a state of bearings and arms of rock bit is continuum and realtime, in conditions of technological equivocation, that allows to achieve higher technical and economic indexs, and also to drill wells on oil and gas without emergencies The basic results of work are introduced at the chisel enterprises of Ukraine and in educational process.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Johnson, Cory. "Suggestions for Deontic Logicians". Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/19221.

Texto completo da fonte

Resumo:

The purpose of this paper is to make a suggestion to deontic logic: Respect Hume\'s Law, the answer to the is-ought problem that says that all ought-talk is completely cut off from is-talk. Most deontic logicians have sought another solution: Namely, the solution that says that we can bridge the is-ought gap. Thus, a century\'s worth of research into these normative systems of logic has lead to many attempts at doing just that. At the same time, the field of deontic logic has come to be plagued with paradox. My argument essentially depends upon there being a substantive relation between this betrayal of Hume and the plethora of paradoxes that have appeared in two-adic (binary normative operator), one-adic (unary normative operator), and zero-adic (constant normative operator) deontic systems, expressed in the traditions of von Wright, Kripke, and Anderson, respectively. My suggestion has two motivations: First, to rid the philosophical literature of its puzzles and second, to give Hume\'s Law a proper formalization. Exploring the issues related to this project also points to the idea that maybe we should re-engineer (e.g., further generalize) our classical calculus, which might involve the adoption of many-valued logics somewhere down the line.
Master of Arts

Estilos ABNT, Harvard, Vancouver, APA, etc.

STIVAL, STEFANO DOMINGUES. "ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2004. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5484@1.

Texto completo da fonte

Resumo:

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Algumas discussões subsidiárias, igualmente importantes para o trabalho como um todo, dizem respeito à concepção dos conceitos de modelo e interpretação que se podem depreender dos artigos supracitados, e de como ela difere da assim chamada concepção standard em teoria de modelos. Nosso objetivo principal é mostrar o lugar ocupado pelo conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma visão ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas numa hierarquia de tipos.
The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Price, Mark. "Logical aspects of logical frameworks". Thesis, University of Bath, 2008. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488882.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Шавранський, М. В. "Система контролю для запобігання прихоплень бурильної колони в процесі буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2003. http://elar.nung.edu.ua/handle/123456789/4004.

Texto completo da fonte

Resumo:

Робота присвячена питанням СК з метою запобігання прихоплень БК у процесі буріння, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Розроблена СК включає в себе лінгвістичний опис технологічних ситуацій, пов’язаних з виникненням прихоплень БК у процесі буріння свердловин, яким керуються технологи-оператори при прийнятті рішення про можливе прихоплення БК з метою його запобігання. СК дозволяє контролювати параметри процесу буріння в реальному часі в умовах невизначеності, що дає можливість досягти вищих техніко-економічних показників та запобігти прихоплення БК. Основні результати роботи знайшли промислове впровадження на бурових підприємствах України, а також у навчальному процесі.
Работа посвящена вопросам СК с целью предотвращения прихватов БК в процессе бурения, которое базируется иа анализе нечеткой (нечисловой) информации в параметрах процесса бурение. Разработанная СК включает в себя лингвистическое описание технологических ситуаций, связанных с возникновением прихватов БК в процессе бурения буровых скважин, которым руководствуются технологи-операторы при принятии решения в возможном прихвате БК с целью его предотвращения. СК разрешает контролировать параметры процесса бурения в режиме реального времени в условиях неопределенности, которая дает возможность достичь высших технико-экономических показателей и предотвратить прихваты БК. Основные результаты работы нашли промышленное внедрение на буровых предприятиях Украины, а также в учебном процессе.
Work is devoted to questions of the monitoring system with the purpose of prevention to take a boring column during drilling which is based on the analysis of the indistinct information on parameters of process drilling The developed monitoring system includes the linguistic description of technological situations connected with occurrence to take a boring column during drilling boreholes by which technologists -operators are guided at decision making about possible to take a boring column with the purpose of his prevention. The monitoring system allows to supervise parameters of process drilling in real time in conditions of uncertainty which enables to reach the maximum technical and economic parameters and to prevent take a boring column. The basic results of work have found industrial introduction at the chisel enterprises of Ukraine, and also in educational process.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sawaya, Antoine. "Pipeline logiciel". Versailles-St Quentin en Yvelines, 1997. http://www.theses.fr/1997VERS0012.

Texto completo da fonte

Resumo:

Dans cette thèse nous nous intéressons à l'exploitation du parallélisme à grain fin, dit aussi parallélisme d'instructions dans les processeurs vliw et super scalaires. Plus particulièrement, nous traitons le problème de l'optimisation des boucles par pipeline logiciel. Ces portions de code répétitives dominent largement le temps d'exécution des programmes scientifiques, d'où l'intérêt crucial de maîtriser leur optimisation dans la course actuelle à la performance. Dans un premier temps, nous étudions formellement le problème du découplage des contraintes de ressources et des contraintes de dépendances. Le but en est de ramener le problème d'ordonnancement des boucles à un problème d'ordonnancement classique où les méthodes d'optimisation sont mieux maîtrisées. Nous pressentons un cadre commun qui nous permet de comparer notre approche desp à deux autres techniques procédant suivant la même philosophie. Nous concluons cette partie en proposant une amélioration à l'ensemble de ces techniques, ce qui a pu être valide expérimentalement. Ces algorithmes sont développés et disponibles dans une boite à outils pilo. Cependant, le parallélisme d'instructions accroît la pression sur les registres du processeur, ce qui explique l'importance de prendre en compte cette contrainte supplémentaire, afin d'éviter une dégradation du code produit. Cette problématique nous a conduit à proposer une formulation par programmation linéaire en variables bivalentes qui permet de définir un modèle global, dans lequel, nous pouvons contrôler le nombre exact de registres requis pendant la phase d'ordonnancement. Nos expériences nous ont permis de valider notre approche et de situer les temps de résolution des programmes linéaires génèrés. L'enjeu est ici de produire un code optimal qui puisse intégrer des librairies spécialisées, être micro-programme dans des processeurs embarqués, ou servir comme base de comparaison pour les différentes heuristiques.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Horn, François. "L'économie du logiciel". Lille 1, 2000. http://www.theses.fr/2000LIL12017.

Texto completo da fonte

Resumo:

L'économie du logiciel se singularise par des contrastes et des paradoxes : par exemple, des performances boursières spectaculaires mais aussi une activité parfois matériellement desinteressee (développement des logiciels libres). Elle est confrontee a trois questions critiques : évolution jugée insuffisante de la productivité dans la production des logiciels, manque de fiabilité des logiciels produits, et relative inadaptation aux besoins des utilisateurs. L'économie du logiciel est fondamentalement marquée par la coexistence permanente de quatre mondes de production, qui reposent sur l'existence de conventions différentes, centrées sur un type de produit, et constituant des réponses différenciées aux questions critiques de l'économie du logiciel. Le monde interpersonnel représente les difficultés à concilier productivité et fiabilité élevées dans la production de logiciels sur-mesure. Le monde fordiste des progiciels commerciaux se caractérise par une forte productivité mais une qualité souvent décevante, et ne peut répondre qu'a des besoins standard. Le monde de la création des logiciels libres apporte une certaine originalité et une efficacité indéniable sur certains segments mais des difficultés pour s'étendre. Le monde de la production flexible des logiciels est porteur de potentialités pour concilier productivité et adaptation aux besoins des utilisateurs, mais il a du mal a se développer, surtout dans sa composante la plus prometteuse (la production de logiciels sur mesure a partir de composants standard). Entre ces quatre mondes existent des relations de complémentarité mais également des évolutions dynamiques, identifiées par quatre trajectoires (industrialisation, valorisation, flexibilisation et objectivation). Cette analyse permet d'expliquer la domination actuelle des États-Unis sur l'économie du logiciel (industrialisation rapide), mais aussi les potentialités - et les difficultés de réalisation - d'une extension du champ des logiciels libres.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Horn, François Gadrey Jean. "L'économie du logiciel". [S.l.] : [s.n.], 2000. https://iris.univ-lille1.fr/dspace.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Livros sobre o assunto "Logician"

Heinzmann, Gerhard, e Gereon Wolters, eds. Paul Lorenzen -- Mathematician and Logician. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Herrmann, Robert A. Nature: The supreme logician I. Annapolis, Md., USA: Institute for Mathematical Philosophy, 1986.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sytnik-Czetwertyński, Janusz. Jerzy Perzanowski, mój Mistrz i Przyjaciel. Kraków: Wydawn. Uniwersytetu Jegiellońskiego, 2010.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Nahin, Paul J. The logician and the engineer: How George Boole and Claude Shannon created the information age. Princeton: Princeton University Press, 2012.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Stolyarov, Vladislav. Dialectical methodology of theory construction in modern scientific knowledge. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/2099001.

Texto completo da fonte

Resumo:

The monograph is devoted to the analysis of dialectical (based on the theory of dialectics, dialectical thinking) methodology of theory construction. The concept of this methodology is based on the ideas of the world-famous logician A.A. Zinoviev about dialectical thinking as a system of logical operations, techniques, procedures in order to obtain an integral dialectical system of scientific knowledge about the essence, properties, structure, connections, change, functioning and development, contradictions of the studied object. The results of the author's long-term (more than 50 years) development of the problems of dialectical methodology of theory construction and application of this methodology in sports science are summarized. Not only the general concept of the dialectical methodology of theoretical research is outlined, but also specific logical techniques, procedures for solving certain problems of constructing a theory based on this methodology. The article substantiates the position that dialectical methodology does not deny, but organically complements the methodology of theory construction based on the means of symbolic logic (axiomatic method, method of formalization) and mathematics. The views of other researchers regarding not only dialectical methodology, but also other aspects of the concept of theoretical research are presented and evaluated. It is intended for people engaged in scientific knowledge, interested in the problems of scientific research, as well as the application of the results of this research in practice.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Gilmore, Paul C. Logicism renewed: Logical foundations for mathematics and computer science. Wellesley, MA: Association for Symbolic Logic, 2005.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Nave, Francesco La. Logica e metodo scientifico nelle Contradictiones logicae di Girolamo Cardano. Pisa: Istituti editoriali e poligrafici internazionali, 2006.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Jong, Everardus Johannes De. Galileo Galilei's Logical treatises (MS 27) and Giacomo Zabarella's Opera logica : a comparison. Ann Arbor, MI: University Microfilms International, 1989.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Aḥmad ibn ʻAbd al-Ḥalīm Ibn Taymīyah. Against the Greek logicians. Oxford: Oxford University Press, 1993.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Books, Time-Life, ed. Le logiciel. Amsterdam: Editions Time-Life, 1986.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Capítulos de livros sobre o assunto "Logician"

Murphy, Arthur. "‘Born a logician’". In Dr Johnson, 21–23. London: Palgrave Macmillan UK, 1987. http://dx.doi.org/10.1007/978-1-349-08286-5_8.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Hintikka, Jaakko. "Aristotle’s Incontinent Logician". In Analyses of Aristotle, 139–52. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/1-4020-2041-4_9.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Russell, Bertrand, John G. Slater e Bernd Frohmann. "A Medical Logician [1912]". In The Collected Papers of Bertrand Russell, Volume 6, 70–74. London: Routledge, 2024. http://dx.doi.org/10.4324/9781003557395-10.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Jacquette, Dale. "Confessions of a Meinongian Logician". In Alexius Meinong, The Shepherd of Non-Being, 363–80. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-18075-5_17.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Davis, Martin. "My Life as a Logician". In Outstanding Contributions to Logic, 1–33. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41842-1_1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Omyła, Mieczysław. "Roman Suszko: Logician and Philosopher". In Studies in Universal Logic, 747–52. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-65430-0_52.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Neuwirth, Stefan. "Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953)". In Paul Lorenzen -- Mathematician and Logician, 143–83. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_9.

Texto completo da fonte

Resumo:

AbstractKrull’s Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen’s career in mathematics. This article traces a conceptual history of Lorenzen’s successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Heinzmann, Gerhard. "Operation and Predicativity: Lorenzen’s Approach to Arithmetic". In Paul Lorenzen -- Mathematician and Logician, 11–22. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_2.

Texto completo da fonte

Resumo:

AbstractIn this article we give an overview, from a philosophical point of view, of Lorenzen’s construction of the natural and the real numbers. Particular emphasis is placed on Lorenzen’s classification in the tradition of predicative approaches that stretches from Poincaré to Feferman.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Fermüller, Christian G. "Connecting Sequent Calculi with Lorenzen-Style Dialogue Games". In Paul Lorenzen -- Mathematician and Logician, 115–41. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_8.

Texto completo da fonte

Resumo:

Abstract Lorenzen has introduced his dialogical approach to the foundations of logic in the late 1950s to justify intuitionistic logic with respect to first principles about constructive reasoning. In the decades that have passed since, Lorenzen-style dialogue games turned out to be an inspiration for a more pluralistic approach to logical reasoning that covers a wide array of nonclassical logics. In particular, the close connection between (single-sided) sequent calculi and dialogue games is an invitation to look at substructural logics from a dialogical point of view. Focusing on intuitionistic linear logic, we illustrate that intuitions about resource-conscious reasoning are well served by translating sequent calculi into Lorenzen-style dialogue games. We suggest that these dialogue games may be understood as games of information extraction, where a sequent corresponds to the claim that a certain information package can be systematically extracted from a given bundle of such packages of logically structured information. As we will indicate, this opens the field for exploring new logical connectives arising by consideration of further forms of storing and structuring information.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Neuwirth, Stefan. "Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents". In Paul Lorenzen -- Mathematician and Logician, 185–268. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_10.

Texto completo da fonte

Resumo:

AbstractWe propose an edition of the reports on Paul Lorenzen’s Ph.D. thesis by Helmut Hasse and Carl Ludwig Siegel, of the known correspondence of Lorenzen with Hasse, Wolfgang Krull, and Karl Egil Aubert, and of a relevant letter from Krull to Heinrich Scholz. It provides evidence for the circumstances in which Lorenzen comes to his insights during the studied period of time.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Logician"

Sun, Mingming, Xu Li, Xin Wang, Miao Fan, Yue Feng e Ping Li. "Logician". In WSDM 2018: The Eleventh ACM International Conference on Web Search and Data Mining. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3159652.3159712.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Beekman, J. A., R. M. Owens e M. J. Irwin. "Mesh arrays and LOGICIAN: a tool for their efficient generation". In 24th ACM/IEEE conference proceedings. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/37888.37942.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Wong, Limsoon. "Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics". In 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.14.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sun, Mingming, Xu Li e Ping Li. "Logician and Orator: Learning from the Duality between Language and Knowledge in Open Domain". In Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/d18-1236.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Волкова, М. С., e Ю. И. Арутюнян. "THE WAY TO STREFISM: THE EVOLUTION OF LEON CHWISTEK’S ARTISTIC PRINCIPLES IN THE CONTEXT OF EUROPEAN MODERNISM OF 1917–1925". In Месмахеровские чтения — 2024 : материалы междунар. науч.-практ. конф., 21– 22 марта 2024 г. : сб. науч. ст. / ФГБОУ ВО «Санкт-Петербургская государственная художественно-промышленная академия имени А. Л. Штиглица». Crossref, 2024. http://dx.doi.org/10.54874/9785605162926.2024.10.51.

Texto completo da fonte

Resumo:

Творческий метод польского художника, философа, математика, логика и теоретика искусства Леона Хвистека (1884–1944 гг.) формировался в контексте ведущих европейских художественных тенденций первой четверти XX в. Восприняв опыт экспрессионизма, кубизма, орфизма и футуризма, к 1922 г. мастер пришел к созданию собственной художественной системы. Стрефизм стал первым этапом на пути развития польского абстрактного искусства. The artist’s method of Leon Chwistek (1884–1944), Polish artist, philosopher, mathematician, logician and art theorist, was formed in the context of leading european artistic trends of the first quarter of the ХХ century. Having embraced the experience of expressionism, cubism, orphism and futurism, by 1922 the painter came to create his own artistic system. Strefism was the first stage in the development of Polish abstract art.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Fiorentini, X., S. Rachuri, M. Mahesh, S. Fenves e Ram D. Sriram. "Description Logic for Product Information Models". In ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/detc2008-49348.

Texto completo da fonte

Resumo:

The languages and logical formalisms developed by information scientists and logicians concentrate on the theory of languages and logical theorem proving. These languages, when used by domain experts to represent their domain of discourse, most often have issues related to the level of expressiveness of the languages and need specific extensions. In this paper we analyze the levels of logical formalisms and expressivity requirements for the development of ontologies for manufacturing products. We first discuss why the representation of a product model is inherently complex and prone to inconsistencies. We then explore how these issues can be overcome through a structured knowledge representation model. We report our evaluation of OWL-DL in terms of expressivity and of the use of SWRL for representing domainspecific rules. We present a case study of product assembly to document this evaluation and further show how the OWL-DL reasoner together with the rule engine can enable reasoning of the product ontology.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Kang, Bo, e Joseph LaViola. "LogicPad". In the 2012 ACM international conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2166966.2167014.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Dreyer, Derek, Amal Ahmed e Lars Birkedal. "Logical Step-Indexed Logical Relations". In 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS). IEEE, 2009. http://dx.doi.org/10.1109/lics.2009.34.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sirer, Emin Gün, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams e Fred B. Schneider. "Logical attestation". In the Twenty-Third ACM Symposium. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/2043556.2043580.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Natarajan, Premkumar S., Joseph P. Noonan e Sos S. Agaian. "Logical wavelets". In Optical Science, Engineering and Instrumentation '97, editado por Andrew G. Tescher. SPIE, 1997. http://dx.doi.org/10.1117/12.292748.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Relatórios de organizações sobre o assunto "Logician"

Bastien, R. Logiciel d'echantillonnage pour le polycorder. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/315262.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Bastien, R. Logiciel d'echantillonnage pour le polycorder. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/315263.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY. Report on Logical Foundations. Fort Belvoir, VA: Defense Technical Information Center, fevereiro de 1994. http://dx.doi.org/10.21236/ada289616.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Balas, E., G. Cornuejols e J. N. Hooker. Covering, Packing and Logical Inference. Fort Belvoir, VA: Defense Technical Information Center, outubro de 1993. http://dx.doi.org/10.21236/ada274314.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Fong, Elizabeth N., Margaret W. Henderson, David K. Jefferson e Joan M. Sullivan. Guide on logical database design. Gaithersburg, MD: National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.sp.500-122.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Niyogi, Partha, e Robert Berwick. The Logical Problem of Language Change. Fort Belvoir, VA: Defense Technical Information Center, julho de 1995. http://dx.doi.org/10.21236/ada307025.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Berger, L., C. Hopps, A. Lindem, D. Bogdanovic e X. Liu. YANG Model for Logical Network Elements. RFC Editor, março de 2019. http://dx.doi.org/10.17487/rfc8530.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sondheim, M., e C. Hodgson. Common hydrology features (CHyF) logical model. Natural Resources Canada/CMSS/Information Management, 2024. http://dx.doi.org/10.4095/328952.

Texto completo da fonte

Resumo:

The Open Geospatial Consortium has defined "OGC WaterML 2: Part 3 - Surface Hydrology Features (HY_Features) - Conceptual Model", but not any particular implementation of it. The Common Hydrology Features (CHyF) model extends HY_Features and makes some minor changes to it required for implementation and the delivery of high performance services. HY_Features discusses catchment coverage and topological relations. In CHyF these are key ideas, as is the notion that hydrologically defined network components form elements of a mathematical graph, allowing for very fast network traversal. HY_Features defines catchments and catchment networks, as well as rivers, channels, flowpaths and hydrographic networks. The CHyF logical model specifies a profile and some extensions to HY_Features, as required to implement topological and graph relations. This starts with the definition of elementary catchments and elementary flowpaths, which are treated as fundamental elements. They are tightly specified terms corresponding to basic catchments and flowpaths in HY_Features and the basic components in the standard reach-catchment model (Maidment and Clark, 2016). If they are subdivided, the result is simply more elementary catchments and elementary flowpaths. Consequently, they are the building blocks used to form complementary coverages as well as a graph structure referred to as a hygraph. Building the hygraph necessitates that connections between features be manifest through their geometry. Divergences and distributaries are supported in CHyF, as the hygraph need not be hierarchical. Nevertheless, CHyF does recognize hierarchical drainage basins and the value in identifying them explicitly (Blodgett, et al, 2021). Different kinds of elementary catchments and elementary flowpaths are defined in CHyF. Of note is that polygonal waterbody features, or portions of such features, are treated as elementary catchments in their own right. In addition to these water catchments, several kinds of land-based elementary catchments are recognized. These model constructs are compatible with the higher level conceptual model in HY_Features, although they differ in detail from other popular implementation models. With the approach taken it becomes practical to handle very large lakes and rivers, as well as coastal ocean zones. CHyF also includes wetlands, glaciers and snowfields as kinds of hydro features; these features help complete the concept of a catchment coverage as put forward by HY_Features.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Osipov, G. S. USING THE LOGICAL FUNCTION OF THE LOGICAL PROBLEM IN THE REVERSE PROBLEM FOR FUZZY RELATIONAL EQUATIONS. Издательство «Олимп», janeiro de 2018. http://dx.doi.org/10.18411/olimp-2018-1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Hickey, Jason, Aleksey Nogin, Adam Granicz e Brian Aydemir. Formal Compiler Implementation in a Logical Framework. Fort Belvoir, VA: Defense Technical Information Center, abril de 2003. http://dx.doi.org/10.21236/ada437424.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!