Temat: recursion theory - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Reverse mathematics of some topics from algorithmic graph theory
Autorzy:: Clote, Peter
Hirst, Jeffry
Powiązania:: https://bibliotekanauki.pl/articles/1205347.pdf
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: recursion theory
reverse mathematics
proof theory
graph theory
Opis:: This paper analyzes the proof-theoretic strength of an infinite version of several theorems from algorithmic graph theory. In particular, theorems on reachability matrices, shortest path matrices, topological sorting, and minimal spanning trees are considered.
Źródło:: Fundamenta Mathematicae; 1998, 157, 1; 1-13
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Recursion as a common groung of mental, communicative, and linguistic processes
Autorzy:: Filip, Anna
Białek, Arkadiusz
Białecka-Pikul, Marta
Powiązania:: https://bibliotekanauki.pl/articles/2127289.pdf
Data publikacji:: 2019-04-08
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: recursion
theory of mind
syntax
pragmatics
development
Opis:: For nearly twenty years there has been an ongoing debate in international journals concerning the recursiveness of human mental processes. The main instigator of the debate and at the same time the main exponent of the term “recursion” is Noam Chomsky. According to him, recursion is an exclusive property of the syntax of the so-called “internal language of mind” (I-language). This conclusion has been contested by researchers claiming that recursion can also be observed in: communication, theory of mind, the syntax of complementation, or pragmatics. The article presents some arguments in favor of understanding recursion as a common ground of all the above phenomena as long as they are analyzed from a developmental perspective, with the dynamics and sequentiality of the constantly occurring processes and changes taken into account.
Źródło:: Roczniki Psychologiczne; 2017, 20, 4; 723-743
1507-7888
Pojawia się w:: Roczniki Psychologiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Using erlang in research and education in a technical university
Autorzy:: Petrov, I.
Alexeyenko, A.
Ivanova, G.
Powiązania:: https://bibliotekanauki.pl/articles/305254.pdf
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: parallel programming
distributed programming
teaching
graph theory
concurrency
recursion
survey
functional programming
Opis:: This paper addresses the problem of using functional programming (FP) languages for research and educational purposes. In order to identify the problems associated with the use of FP languages such as Erlang, an experiment consisting of two surveys was performed. The first survey was anonymous and aimed at establishing whether the participants prefer object-oriented or functional coding. The second one was a survey made after the students finished an Erlang course. The results of these two surveys demonstrate that functional programming is underrated with no apparent reasons. Possible steps to address this problem are suggested.
Źródło:: Computer Science; 2018, 19 (3); 333-343
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja