Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
![]() |
Computer science, Mathematics and Logic in the aspect of interdisciplinary and metasubject educational communicationAbdurazakov, Magomed Musaevich ; Lyaginova, Olga Yuiryevna ; Tsvetkova, Olga NikolaevnaChebyshevskii sbornik, 2021, Vol.22 (2), p.373-388 [Revista revisada por pares]Sin texto completo |
2 |
Material Type: Artículo
|
![]() |
Dynamic Separation Logic and its Use in EducationEvgeny MakarovСовременные информационные технологии и IT-образование, 2020-11, Vol.16 (3), p.543-550 [Revista revisada por pares]The Fund for Promotion of Internet media, IT education, human development «League Internet MediaTexto completo disponible |
3 |
Material Type: Artículo
|
![]() |
Владимир Андреевич Успенский (27.11.1930-27.06.2018)Adian, Sergei Ivanovich ; Andreev, Nikolai Nikolaevich ; Beklemishev, Lev Dmitrievich ; Goncharov, Sergey Savostyanovich ; Ershov, Yurii Leonidovich ; Matiyasevich, Yuri Vladimirovich ; Osipov, Yurii Sergeevich ; Pentus, Mati Reinovich ; Plungyan, Vladimir Alexandrovich ; Rahilina, Ekaterina Vladimirovna ; Sadovnichii, Victor Antonovich ; Semenov, Aleksei Lvovich ; Tatevosov, Sergey Georgievich ; Tikhomirov, Vladimir Mikhailovich ; Shen', Alexander KhanievichRussian mathematical surveys, 2019-07, Vol.74 (4(448)), p.165-180 [Revista revisada por pares]TurpionTexto completo disponible |
4 |
Material Type: Artículo
|
![]() |
ПРИМЕНЕНИЕ ЭЛЕМЕНТОВ ДИСКРЕТНОЙ МАТЕМАТИКИ В ОБУЧЕНИИ БУДУЩИХ УЧИТЕЛЕЙ ИНФОРМАТИКИ: USE OF DISCRETE MATHEMATICS ELEMENTS IN TRAINING OF PRE-SERVICE COMPUTER SCIENCE TEACHERSБостанов, Б.Ғ.BULLETIN Series Physical and Mathematical Sciences, 2023-09, Vol.79 (3(2022))Sin texto completo |
5 |
Material Type: Artículo
|
![]() |
Fuzzy current analysis-based fault diagnostic of induction motor using hardware co-simulation with field programmable gate arrayAib, A ; Khodja, D.E ; Chakroune, S ; Rahali, HElectronics and electromechanics, 2023-01, Vol.2023 (6), p.3-9 [Revista revisada por pares]Kharkiv: Department of Electrical Apparatus of National Technical University, Kharkiv Polytechnic InstituteTexto completo disponible |
6 |
Material Type: Artículo
|
![]() |
Extraction of common properties of objects for creation of a logic ontologyKosovskaya, Tatiana M. ; Kosovskii, Nikolai N.Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes, 2022, Vol.18 (1), p.37-51 [Revista revisada por pares]Sin texto completo |
7 |
Material Type: Artículo
|
![]() |
Control of Mechatronic System Based on Multilink Robot-ManipulatorsHurski, N. N. ; Skudnyakov, Yu. A. ; Artsiushchyk, V. S. ; Bezruchko, A. N.Nauka i tekhnika (Minsk, Belarus : 2012), 2019-08, Vol.18 (4), p.350-354 [Revista revisada por pares]Belarusian National Technical UniversityTexto completo disponible |
8 |
Material Type: Artículo
|
![]() |
A Model Theory for the Potential InfiniteEberl, MatthiasReports on mathematical logic, 2022-01, Vol.57 (57), p.3-30 [Revista revisada por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponible |
9 |
Material Type: Artículo
|
![]() |
Research of the Finite State Machine with Programmable Logic as a Part of Digital Information and Control System Based on FPGABarkalov A. ; Titarenko L. ; Zeleneva I. ; Hrushko S.Problems of the regional energetics, 2019-06, Vol.41 (1-1), p.36-45 [Revista revisada por pares]Academy of Sciences of MoldovaTexto completo disponible |
10 |
Material Type: Artículo
|
![]() |
Non-generators in extensions of infinitary algebrasLIPPARINI, PaoloReports on mathematical logic, 2022-01, Vol.57 (57), p.31-43 [Revista revisada por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponible |