Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "logic language" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 29
Tytuł:
A Matemática como linguagem analítica em R. Carnap
Autorzy:
Borges de Meneses, Ramiro Délio
Powiązania:
https://bibliotekanauki.pl/articles/2157536.pdf
Data publikacji:
2014
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
Carnap
analytic language
logic language
Opis:
Logical empirism, which the metaphysical and seeks to discover the truth about the world exclusively through the natural sciences, owes its name two of its basic tenets, namely: the view that the solution of a philosophical problem requires a logical analysis of the languages in which the problem is stated, and that therefore logic plays a central role in philosophy, and the empiricist principle that any significant theory which is not of a purely logical or mathematical character must be testable by reference to empirical evidence. Carnap’s work provides, among other thing, a precise elaboration of, and a broad theoretical basis for these tenets and it develops the technical tools for the pursuit of philosophy as logical analysis. R. Carnap shall see that he furnished instruments for deduction, that is, for the transformation of formulations of factual and contingent knowledge. However, logic and mathematics not only supply rules for transformation of factual sentences but they themselves contain sentences of a different non-factual kind. On this article I explain the linguistic sense to Mathematics, and the philosophical foundations. However the logic language plays a very important role to the logical foundations of mathematics and Mathematics is to analytic language according to R. Carnap.
Źródło:
Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2014, 2(14); 15-35
1898-0171
Pojawia się w:
Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Estetyka a granice języka. Ludwig Wittgenstein i Arthur C. Danto
Aesthetics and borders of language. From Ludwig Wittgenstein to Arthur C. Danto
Autorzy:
Glazor-Pomykała, Karolina
Powiązania:
https://bibliotekanauki.pl/articles/437506.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Tematy:
ludwig wittgenstein
arthur c. danto
family resemblance
language game
language of philosophy
essence of art
essence of reality
language of logic
Opis:
The article is an attempt to pinpoint the areas of Ludwig Wittgenstein aesthetic thought, in which he is crossing the borders principally imposed upon the method and the language of his philosophy. I am directing my attention to metaphysical and mystical motifs of his reflection devoted to aesthetics, the essence of art and the essence of reality. I wish to discuss this issue based on the texts of Arthur C. Danto containing analysis of chosen notions of Wittgenstein’s aesthetic investigations. Additionally in this matter I am appealing to appropriate theses of Leszek Sosnowski and Wojciech Sady, concerning above issues.
Źródło:
ARGUMENT: Biannual Philosophical Journal; 2016, 6, 2; 455-476
2083-6635
2084-1043
Pojawia się w:
ARGUMENT: Biannual Philosophical Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Język jako system znaków
Autorzy:
Wawrzonkiewicz-Słomska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2158560.pdf
Data publikacji:
2011
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
philosophy
logic
language
history of logic
sign
Opis:
We have to deal with numerous signs in everyday life, given us both by the nature – as, for example, clouds being a sign of upcoming rain, and also traditional, conventional signs and created by ourselves for better communication. A sign is a perceptible arrangement of things or a phenomenon caused by someone else for the reason that some set expression or formed customary rules govern combining a definite type of thoughts with this arrangement of things or the phenomenon.
Źródło:
Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 1(1); 37-45
1730-0266
Pojawia się w:
Prosopon. Europejskie Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o logice teologii
Some remarks on the logic of theology
Autorzy:
Dadaczyński, Jerzy
Powiązania:
https://bibliotekanauki.pl/articles/691217.pdf
Data publikacji:
2014
Wydawca:
Copernicus Center Press
Tematy:
logic
theology
language
contradiction
antinomy
metatheology
Opis:
The issue of the logic of theology so far have not been given so much attention neither from logicians nor from theologians. The first group seem not to consider the language of theology as a “place” to apply the results of their work. Also theologians are not particularly interested in that issue. The aim of this paper is to highlight one aspect of the issue of logic of theology, namely – the problem of the contradiction in the (language of) contemporary theology. In the first section, we show some of many examples of contradictions in contemporary theology. Next, the question regarding the reason of the existence so many examples of contradiction in theology is addressed. In the subsequent section, some problems generated by those contradictions are considered and a question if certain kind of logic would be able to deal with those problems is raised. Finally, some remarks regarding the need to take systematic research on logic (language) theology and the need to build analytic theology are postulated.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2014, 57; 33-58
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metafilozofia i filozofia (analityczna)
Metaphilosophy and analytic philosophy
Autorzy:
Woleński, Jan
Powiązania:
https://bibliotekanauki.pl/articles/2135599.pdf
Data publikacji:
2022-06-27
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
philosophy
analysis
logic
language
science
method
paraphrase
Opis:
This paper concerns metaphilosophy and its role in philosophy, particularly in analytic movement. In Introduction the genesis of the term „metaphilosophy” is described and function of metaphilosophical considerations – is it also argued that metaphilosophy is a part of philosophy. The relation of philosophy to science is considered as one the most important metaphilosophical problems. Since the author represents an analytic approach to philosophy, he devotes a separate section to general aspect of metaphilosophy in the context of analytic movement in contemporary philosophy. The method of paraphrases, illustrated by several examples, is proposed as a tool of philosophical analysis.
Źródło:
Człowiek i Społeczeństwo; 2022, 53; 49-64
0239-3271
Pojawia się w:
Człowiek i Społeczeństwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
What Is the Sense in Logic and Philosophy of Language
Autorzy:
Wybraniec-Skardowska, Urszula
Powiązania:
https://bibliotekanauki.pl/articles/749864.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
categorisation
denotation
logic and philosophy of language
categorial language
syntactic and semantic senses
intensional semantics
meaning
extensional semantics
syntactic and semantic compatibility
algebraic models
truth
structural compatibility
compositionality
language communication
Opis:
In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Declarativity in modelling and problem solving
Autorzy:
Niederliński, A.
Powiązania:
https://bibliotekanauki.pl/articles/205883.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language
Opis:
The paper discusses a new trend in the modelling software for combinatorial and mixed combinatorial-continuous decision problems. The trend, aiming at solving those problems by the simple activity of properly describing them, is best exemplified by a constantly inereasing spectrum of Constraint Logic Programming (CLP) languages. The first such language was Prolog. After a short historical survey concentrating mainly on Prolog, main characteristics of a modern, commercially successful CLP language - CHIP - are presented, discussed and illustrated. The CLP approach to problem solving is compared with traditional Operation Research approaches.
Źródło:
Control and Cybernetics; 2000, 29, 1; 325-339
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:
Taibi, T.
Ngo, D. C. L.
Powiązania:
https://bibliotekanauki.pl/articles/908185.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination
Opis:
Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsened. The formal specification of design patterns and their combination is not meant to replace the existing means of describing patterns, but to complement them in order to achieve accuracy and to allow rigorous reasoning about them. The main problem of the existing formal specification languages for design patterns is the lack of completeness. This is mainly because they tend to focus on specifying either the structural or behavioral aspects of design patterns but not both of them. Moreover, none of them even ventured in specifying DOC patterns and pattern combinations. We propose a simple yet Balanced Pattern Specification Language (BPSL) aimed to achieve equilibrium by specifying both the aspects of design patterns. The language combines two subsets of logic: one from the First-Order Logic (FOL) and the other from the Temporal Logic of Actions (TLA).
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 239-253
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych
Place logic and its possible applications in a logical analysis of legal reasoning
Autorzy:
Kozanecka-Dymek, Anna
Powiązania:
https://bibliotekanauki.pl/articles/1622189.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
topological logic
place logic
applications
analysis
legal language
legal reasoning
język prawniczy
analiza
zastosowania
logika miejsca
logika topologiczna
rozumowania prawnicze
Opis:
The subject of the consideration contained in the article is topological logic interpreted as place logic and its possible applications in a logical analysis of legal reasoning. The first part of the article is about significance of widely understood spatial element in a law and about a role of formal logic in legal sciences (especially in dogmatic of law) and in legal discourse. There are also given conditions imposed on logical systems which can be applied to analyse legal reasoning. In the second part there is characterization of topological logic interpreted as place logic. In the third part there are examples of formalization of sentences of legal language and of legal inferences using symbols occurring in place logic. In the article there is shown that such kind of logic can be applied to logical analysis some reasoning conducted in legal language, specifically such reasoning in which there appear sentences including, in an explicit or a hidden way, phrase “in place”, that is, information about that, where certain events are realized.
Źródło:
Analiza i Egzystencja; 2016, 33; 51-68
1734-9923
2300-7621
Pojawia się w:
Analiza i Egzystencja
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
About Implementation of IEC 61131-3 IL Function Blocks in Standard Microcontrollers
Autorzy:
Chmiel, M.
Mocha, J.
Hrynkiewicz, E.
Polok, D.
Powiązania:
https://bibliotekanauki.pl/articles/226742.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
central processing unit
programmable logic controller
microprocessor control
microprogramming
programming languages
language operators
Opis:
The paper presents considerations on implementation of function blocks of the IL language, as fragments of control programs that use these blocks. Subsequently, the predefined function blocks of the IL language have been applied to implementation in a Central Processing Unit for a programmable controller based on standard microcontroller from such families as MCS-51, AVR and ARM with the Cortex-M3 core. The considerations refer to the IL language revision that is fully compliant with the IEC-61131-3 standards. The completed theoretical analysis demonstrated that the adopted method of the module description is really reasonable and offers substantial advantages as compared to direct calls of function modules already developed as subroutines. Also the executed experiments have proved the feasibility to arrange central units of programmable controllers on the basis of standard microcontrollers and such central units may be competitive to compact CPUs available on the market for typical PLCs.
Źródło:
International Journal of Electronics and Telecommunications; 2014, 60, 1; 42-46
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Autorzy:
Meissner, A.
Powiązania:
https://bibliotekanauki.pl/articles/907821.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language
Opis:
A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 83-95
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja algorytmu syntezy układów odwracalnych w strukturach FPGA
FPGA implementation of a reversible circuit synthesis algorithm
Autorzy:
Gracki, K.
Skorupski, A.
Pawłowski, M.
Kerntopf, P.
Powiązania:
https://bibliotekanauki.pl/articles/153621.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
odwracalne układy logiczne
język VHDL
układy FPGA
reversible logic circuits
VHDL language
FPGA circuits
Opis:
Synteza układów odwracalnych prowadząca do uzyskania układu optymalnego (składającego się z minimalnej liczby bramek) jest problemem bardzo trudnym. Dlatego często rezygnuje się z optymalności na rzecz prostszych metod projektowania. W niniejszym artykule przedstawiono wyniki prac związanych z możliwością implementacji uniwersalnego układu, który wykorzystuje pewien heurystyczny algorytm i pozwala na realizację dowolnej funkcji trzech zmiennych. Prowadzone prace wykorzystują układy FPGA i ich opisy w języku VHDL.
Optimal synthesis of reversible circuit synthesis is a hard task. This why simpler algorithms are developed for finding suboptimal solutions. We show a simple heuristic algorithm implemented in a programmable FPGA circuit. In this paper the new algorithm and its hardware implementation in VHDL are described. The presented algorithm is based on some feature of reversible functions, namely, on the ordering of columns in the truth table for a given reversible function. We define the so called s-distance as a minimal length of gates cascade which is capable to order a column of the truth table, i.e. to transform a right side column to become identical to the corresponding left side column. It is possible to store s-distances for all possible columns. For every function the SF-distance is defined as the sum of all column s-distances. The proposed simple algorithm selects the gates which lead to the minimal SF-distance for the rest function (a rest function is the function to be still implemented after the given gate has been selected). The process is repeated until the consecutive rest function will become the identity function. The algorithm can be implemented using the FPGA circuit as the block scheme from Fig. 3. The description of this module using VHDL is presented and discussed.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 7, 7; 477-479
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienia filozoficzne w pracach Lewisa Carrolla
Philosophical Questions in Lewis Carroll’s Works
Autorzy:
Głąb, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2013937.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Lewis Carroll
absurd
język
filozofia analityczna
logika
Ludwig Wittgenstein
absurdity
language
analytic philosophy
logic
Opis:
The article tries to answer the following questions: Why did Lewis Carroll’s ideas, expressed in the form of fairy tales, fascinate numerous analytical philosophers? What does Carroll’s contribution to the contemporary logic and philosophy consist in? The basic thesis of the article is that Lewis Carroll – remaining in the Anglo-Saxon tradition of David Hume’s and George Berkeley’s philosophy – supplied material illustrating the problems connected with the use of language. He showed how improper use of language leads to formation of philosophical problems. The article presents Carroll’s output. He was one of the pioneers of symbolic logic that he  developed in Boole’s and De Morgan’s tradition – in the field of the so-called recreation mathematics that he popularized in the form of riddles, puzzles, doublets and puns, compared by some logicians to a formal system. The article presents the essence of the theory of language developed by Carroll, in which language may be something hermetic with only one person having access to it (the case of Humpty Dumpty), but also something common, something social (Alice’s conversation with the White King). Attention is paid to the fact that Carroll differentiated between what is nonsensical and what is absurd (the criterion being its relation to logic). It is pointed that Carroll’s aim was first of all discovering the nonsense that is hidden behind the formulation of a metaphysical problem. In the article also the connections are studied between Carroll and Ludwig Wittgenstein, the relation between them being seen in the view that absurd introduced by means of humor is a kind of vaccine that is supposed to protect us from forming absurdity in philosophy. In conclusion it is stated that Carroll’s ideas that are the most significant for analytic philosophers are concerned with the nature of language that is not a transparent medium for him, but something that offers resistance when we communicate with others, as well as something that may be flexible and adjusted to our will. By manipulating language Carroll shows in what way philosophy balances between sense and nonsense and how often philosophical questions arise from erroneous use of language and erroneous posing of problems.
Źródło:
Roczniki Filozoficzne; 2005, 53, 1; 55-85
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ecumenical issues in Józef Herbut’s philosophy of religion
Zagadnienia ekumeniczne w filozofii religii Józefa Herbuta
Autorzy:
Wolsza, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/1047886.pdf
Data publikacji:
2020-12-23
Wydawca:
Uniwersytet Opolski. Redakcja Wydawnictw Wydziału Teologicznego
Tematy:
ekumenizm
dialog doktrynalny
filozofia religii
język religijny
logika
ecumenism
doctrinal dialogue
philosophy of religion
religious language
logic
Opis:
The philosophy of religion constituted one of the main fields of research by Prof. Józef Herbut. He created an original version of the analytical philosophy of religion. With the use of logical means, he analysed various dimensions of religion, primarily religious language. During the last period of his work, Herbut included ecumenical issues in his philosophical research. His research on these issues consisted of two stages. During the first stage, Herbut tried to create a specific logic of ecumenism. He hypothesised that the reason for the crisis of ecumenical dialogue consists in the lack of a clearly defined goal. Using the logical set theory, Herbut constructed possible models of doctrinal unity of different denominations. These models were constructed a priori, without reference to actual dialogues. During the second stage of his project, Herbut focused on the content of Catholic and Evangelical doctrines presented in catechisms. Here, he also put forward a research hypothesis that the languages of Catholic and Evangelical theology are different because they include different philosophical assumptions. These assumptions reach back to the medieval problem of universals. The language of Catholic theology is heavily influenced by moderate realism, and the language of Evangelical theology is influenced by moderate nominalism (these are two of the four standpoints in the problem of universals). Herbut's research project is original and innovative in terms of Polish philosophical and theological literature. However, in foreign language literature it is possible to find ones analogous to Herbut's project (József Fuisz, Charles Morerod).
Filozofia religii była jednym z głównych nurtów badań prof. Józefa Herbuta. Stworzył on oryginalną odmianę analitycznej filozofię religii. Przy pomocy środków logicznych analizował w niej różne wymiary religii, przede wszystkim język religijny. W ostatnim okresie twórczości do swych badań filozoficznych Herbut włączył zagadnienia ekumeniczne. Jego badania tych zagadnień miały dwa etapy. W pierwszym etapie Herbut próbował stworzyć specyficzną logikę ekumenizmu. Postawił on hipotezę, że przyczyną kryzysu dialogu ekumenicznego jest brak wyraźnie określonego celu. Wykorzystując logiczną teorię zbiorów, Herbut skonstruował możliwe modele jedności doktrynalnej różnych wyznań. Modele te zostały skonstruowane a priori, bez odwołania do faktycznie prowadzonych dialogów. W drugim etapie realizacji swego projektu Herbut skupił się na treści doktryn katolickiej i ewangelickiej przedstawionych w katechizmach. Tu także postawił hipotezę badawczą, że języki teologii katolickiej i ewangelickiej są odmienne, ponieważ mają różne założenia filozoficzne. Założenia te sięgają średniowiecznego sporu o uniwersalia. Język teologii katolickiej jest pod dużym wpływem realizmu umiarkowanego, a język teologii ewangelickiej – pod wpływem nominalizmu umiarkowanego (są to dwa z czterech stanowisk w sporze o uniwersalia). Projekt badawczy Herbuta jest oryginalny i nowatorski w polskiej literaturze filozoficznej i teologicznej. Natomiast w literaturze obcojęzycznej można spotkać projekty analogiczne do projektu Herbuta (József Fuisz, Charles Morerod).
Źródło:
Studia Oecumenica; 2020, 20; 67-88
1643-2762
Pojawia się w:
Studia Oecumenica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modele sterowane cyfrowo
Models digitally controlled
Autorzy:
Noga, K. M.
Powiązania:
https://bibliotekanauki.pl/articles/269043.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
cyfrowe sterowanie
układy programowalne
mikroprocesory
język programowania sprzętu VHDL
digitally controlled
microprocessor
programmable logic devices
language VHDL
Opis:
W artykule zostaną przedstawione fizyczne modele przygotowane i oprogramowane, w ramach prac dyplomowych, w Katedrze Automatyki Okrętowej Akademii Morskiej w Gdyni, umożliwiające studentom poznanie zasad projektowania, testowania i implementacji algorytmów cyfrowego sterowania.
This paper presents examples of application for several models of physical objects controlled by systems based on microprocessors or programmable logic devices (PLD), this is the device to following the sun, the three-wheeled robot (line follower) and the robot under-water ROV (Remotely Operated Vehicle). During laboratory sessions students create control systems and realize particular assignments with application of PLDs or microprocessors.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2015, 46; 81-84
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 29

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies