Search Results - ((((programovy OR programm) OR programm) OR programovaci) OR programovanie) i informatiki

1

Автоматизированная технология поддержки составления программ обучения

Additional Titles: Avtomatizirovannaia tekhnologiia podderzhki sostavleniia programm obucheniia

Authors: Офицеров Владимир Петрович; Институт математики, информатики и естественных наук ГАОУ ВО «Московский городской педагогический университет» Ofitserov Vladimir Petrovich; Institut matematiki, informatiki i estestvennykh nauk GAOU VO "Moskovskii gorodskoi pedagogicheskii universitet" Караваев Дмитрий Александрович; ГАОУ ВО «Московский городской педагогический университет» et al.

Source: Current trends in the development of education system; 243-245; Современные тенденции развития системы образования; 243-245

Index Terms: программа обучения, составление программы, автоматическая технология поддержки, text, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Article

URL: https://phsreda.com/e-articles/9/Action9-671.pdf
info:eu-repo/semantics/altIdentifier/isbn/978-5-9500853-9-0
https://phsreda.com/e-articles/9/Action9-671.pdf
Офицеров В.П. Об одном типе задач линейного программирования и их решении / В.П. Офицеров, Н.Б. Судзиловский // Известия АН СССР «Техническая кибернетика». – 1981. – №6. – С. 14–17.
Соллогуб А.В. О задаче выбора семейств носителей для выполнения программы космических исследований / А.В. Соллогуб, В.П. Офицеров //АН СССР Космические исследования. – 1977. – 15. – №6. – С. 860–865.
Соллогуб А.В. О выборе семейства ракет-носителей для выполнения программы космических исследований при многократных запусках / А.В. Соллогуб, В.П. Офицеров // AН СССР Космические исследования. – 1978. – 16. – №4. – С. 514–521.
Офицеров В.П. О выборе типов ракет-носителей для выполнения программы космических исследований за минимальное время // АН СССР Космические исследования. – 1980. – 18. – №1. – С. 63–70.
Офицеров В.П. Об оптимальном выполнении программы космических исследований заданным числом типов ракет-носителей // AН СССР Космические исследования. – 1980. – 18. – №4. – С. 550–555.
Cудзиловский Н.Б. О построении функции Беллмана в дискретных стационарных задачах управления / Н.Б. Cудзиловский, М.М. Хрусталев, В.П. Офицеров // Изв. AН СССР Техническая кибернетика. – 1981. – №1. – С. 214.
Беллман Р. Прикладные задачи динамического программирования / Р. Беллман, С.М. Дрейфус. – М.: Наука, 1965. – 460 с.
Пономарева Л.А. Разработка модуля корпоративной информационной системы «Образовательная среда вуза» на базе облачных технологий / Л.А. Пономарева, В.Л. Коданев // Информатика: проблемы, методология, технологии: Сборник материалов XVII международной научно-методической конференции: В 5 т. – 2017. – С. 393–398.
Ромашкова О.А. Информационная система для оценки результатов деятельности общеобразовательных организаций г. Москвы / О.А. Ромашкова, А.И. Моргунов // Вестник Российского университета дружбы народов. Серия: Информатизация образования. – 2015. – №3. – С. 88–95.
Пономарева Л.А. Разработка математической модели учебного процесса в вузе для повышения качества образования / Л.А. Пономарева, П.Е. Голосов // Фундаментальные исследования. – 2017. – №2. – С. 77–81.
Ромашкова О.Н. Мониторинг качества образования в средней общеобразовательной организации с использованием современных средств информатизации / О.Н. Ромашкова, Т.Н. Ермакова // Вестник Российского университета дружбы народов. Серия: Информатизация образования. – 2014. – №4. – С. 10–17.

View this record from OAIster

Nájsť tento článok vo Web of Science

2

ВИКЛАДАННЯ МЕДИЧНОЇ І БІОЛОГІЧНОЇ ФІЗИКИ ТА МЕДИЧНОЇ ІНФОРМАТИКИ В ЄВРОПЕЙСЬКИХ УНІВЕРСИТЕТАХ (Ukrainian)

Alternate Title: TEACHING OF MEDICAL AND BIOLOGICAL PHYSICS AND MEDICAL INFORMATICS IN EUROPEAN UNIVERSITIES. (English)
ПРЕПОДАВАНИЕ МЕДИЦИНСКОЙ И БИОЛОГИЧЕСКОЙ ФИЗИКИ И МЕДИЦИНСКОЙ ИНФОРМАТИКИ В ЕВРОПЕЙСКИХ УНИВЕРСИТЕТАХ (Russian)

Authors: Чалий, Олександр Любчик, Олена Чалий, Кирило et al.

Source: Continuing Professional Education: Theory & Practice; 2021, Vol. 68 Issue 3, p71-88, 18p

Subject Terms: MAGNETIC resonance imaging, BIOPHYSICS, MEDICAL informatics, MEDICAL imaging systems, POSITRON emission tomography, BIOMEDICAL engineering, CLASSROOMS

People: LEONARDO, da Vinci, 1452-1519

Nájsť tento článok vo Web of Science

3

Titelregister A–I

Authors: Ursula Olejniczak Käthe Schmiedecke Hartmut Walravens

Resource Type: eBook.

Categories: REFERENCE / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General

4

ОҚЫТУ ПРОЦЕСІН ҰЙЫМДАСТЫРУДА ЦИФРЛЫҚ БІЛІМ БЕРУ ТЕХНОЛОГИЯЛАРЫНЫҢ ТИІМДІЛІГІ (Kazakh)

Alternate Title: Effectiveness of Digital Educational Technologies in the Organization the Learning Process. (English)
Эффективность цифровых образовательных технологий в организации процесса обучения (Russian)

Authors: Қатаев, Н. С. Еркінқызы, А.

Source: Journal of Educational Sciences (2520-2634); 2021, Vol. 67 Issue 2, p71-80, 10p

Subject Terms: TEACHER qualifications, DIGITAL technology, HUMAN ecology, EDUCATIONAL quality, SOCIAL change

Nájsť tento článok vo Web of Science

5

On the Recursive-Parallel Programming for the .NET Framework ; О поддержке рекурсивно-параллельного программирования в .NET Framework

Authors: V. V. Vasilchikov Владимир Васильевич Васильчиков

Source: Modeling and Analysis of Information Systems; Том 21, № 2 (2014); 15-25 ; Моделирование и анализ информационных систем; Том 21, № 2 (2014); 15-25 ; 2313-5417 ; 1818-1015

Subject Terms: NET, recursion, рекурсия

File Description: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/116/114; Васильчиков В.В. Средства параллельного программирования для вычислительных систем с динамической балансировкой загрузки. Ярославль: ЯрГУ, 2001. [Vasilchikov V.V. Sredstva parallelnogo programmirovaniya dlya vychislitelnykh sistem s dinamicheskoy balansirovkoy zagruzki. Yaroslavl: YarGU, 2001 (in Russian)].; Васильчиков В.В., Шубин А.В. Библиотека параллельного исполнения rpC-программ для Win32 // Моделирование и анализ информационных систем. 2008. Т. 15, №1. С. 37–40. [Vasilchikov V.V., Shubin A.V. The library for parallel execution of rpC-programs under Win32 // Modeling and Analysis of Information Systems. 2008. V. 15, No 1. P. 37–40 (in Russian)].; Бойцов Е.А., Васильчиков В.В. Кроссплатформенная библиотека параллельного выполнения rpC-программ // Современные проблемы математики и информатики: Сборник научных трудов молодых ученых, аспирантов и студентов / Яросл. гос. ун-т им. П.Г. Демидова. Ярославль, 2011. Вып. 12. С. 71–81. [Boytsov E.A., Vasilchikov V.V. Krossplatformennaya biblioteka parallelnogo vypolneniya rpC-programm // Sovremennye problemy matematiki i informatiki: Sbornik nauchnykh trudov molodykh uchenykh, aspirantov i studentov / Yarosl. gos. un-t im. P.G. Demidova. Yaroslavl, 2011. Vyp. 12. S. 71–81 (in Russian)].; Васильчиков В.В. Коммуникационный модуль для организации полносвязного соединения компьютеров в локальной сети с использованием .NET Framework. Свидетельство о государственной регистрации программы для ЭВМ № 2013619925, 2013. [Vasilchikov V.V. Kommunikatsionnyy modul dlya organizatsii polnosvyaznogo soedineniya kompyuterov v lokalnoy seti s ispolzovaniem .NET Framework. Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2013619925, 2013 (in Russian)].; Васильчиков В.В. Библиотека поддержки рекурсивно-параллельного программирования для .NET Framework. Свидетельство о государственной регистрации программы для ЭВМ № 2013619926, 2013. [Vasilchikov V.V. Biblioteka podderzhki rekursivnoparallelnogo programmirovaniya dlya .NET Framework. Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2013619926, 2013 (in Russian)].; Bron C., Kerbosh J. Algorithm 457 – Finding all cliques of an undirected graph // Comm. of ACM. 1973. 16. P. 575—577.; Бойцов Е.А., Васильчиков В.В. Решение задачи о клике на языке rpC с помощью библиотеки RPM // Заметки по информатике и математике: Сборник статей / Яросл. гос. ун-т им. П.Г. Демидова. Ярославль, 2011. С. 28–37. [Boytsov E.A., Vasilchikov V.V. Reshenie zadachi o klike na yazyke rpC s pomoshch’yu biblioteki RPM // Zametki po informatike i matematike. Sbornik statey / Yarosl. gos. un-t im. P.G. Demidova. Yaroslavl, 2011. S. 28–37 (in Russian)].

Availability: https://www.mais-journal.ru/jour/article/view/116
https://doi.org/10.18255/1818-1015-2014-2-15-25

View record from BASE

Nájsť tento článok vo Web of Science

6

Автоматизированная технология поддержки составления программ обучения ; Avtomatizirovannaia tekhnologiia podderzhki sostavleniia programm obucheniia

Authors: Офицеров Владимир Петрович Институт математики, информатики и естественных наук ГАОУ ВО «Московский городской педагогический университет» Vladimir P. Ofitserov et al.

Source: Current trends in the development of education system; 243-245 ; Современные тенденции развития системы образования; 243-245

Subject Terms: программа обучения, составление программы, автоматическая технология поддержки

File Description: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-9500853-9-0; https://phsreda.com/e-articles/9/Action9-671.pdf; Офицеров В.П. Об одном типе задач линейного программирования и их решении / В.П. Офицеров, Н.Б. Судзиловский // Известия АН СССР «Техническая кибернетика». – 1981. – №6. – С. 14–17.; Соллогуб А.В. О задаче выбора семейств носителей для выполнения программы космических исследований / А.В. Соллогуб, В.П. Офицеров //АН СССР Космические исследования. – 1977. – 15. – №6. – С. 860–865.; Соллогуб А.В. О выборе семейства ракет-носителей для выполнения программы космических исследований при многократных запусках / А.В. Соллогуб, В.П. Офицеров // AН СССР Космические исследования. – 1978. – 16. – №4. – С. 514–521.; Офицеров В.П. О выборе типов ракет-носителей для выполнения программы космических исследований за минимальное время // АН СССР Космические исследования. – 1980. – 18. – №1. – С. 63–70.; Офицеров В.П. Об оптимальном выполнении программы космических исследований заданным числом типов ракет-носителей // AН СССР Космические исследования. – 1980. – 18. – №4. – С. 550–555.; Cудзиловский Н.Б. О построении функции Беллмана в дискретных стационарных задачах управления / Н.Б. Cудзиловский, М.М. Хрусталев, В.П. Офицеров // Изв. AН СССР Техническая кибернетика. – 1981. – №1. – С. 214.; Беллман Р. Прикладные задачи динамического программирования / Р. Беллман, С.М. Дрейфус. – М.: Наука, 1965. – 460 с.; Пономарева Л.А. Разработка модуля корпоративной информационной системы «Образовательная среда вуза» на базе облачных технологий / Л.А. Пономарева, В.Л. Коданев // Информатика: проблемы, методология, технологии: Сборник материалов XVII международной научно-методической конференции: В 5 т. – 2017. – С. 393–398.; Ромашкова О.А. Информационная система для оценки результатов деятельности общеобразовательных организаций г. Москвы / О.А. Ромашкова, А.И. Моргунов // Вестник Российского университета дружбы народов. Серия: Информатизация образования. – 2015. – №3. – С. 88–95.; Пономарева Л.А. Разработка математической модели учебного процесса в вузе для повышения качества образования / Л.А. Пономарева, П.Е. Голосов // Фундаментальные исследования. – 2017. – №2. – С. 77–81.; Ромашкова О.Н. Мониторинг качества образования в средней общеобразовательной организации с использованием современных средств информатизации / О.Н. Ромашкова, Т.Н. Ермакова // Вестник Российского университета дружбы народов. Серия: Информатизация образования. – 2014. – №4. – С. 10–17.; https://phsreda.com/files/Books/5f27e99074ad6.jpeg?req=671; https://phsreda.com/article/671/discussion_platform

Availability: https://phsreda.com/article/671/discussion_platform
https://phsreda.com/files/Books/5f27e99074ad6.jpeg?req=671

View record from BASE

Nájsť tento článok vo Web of Science

7

Automatic C Program Verification Based on Mixed Axiomatic Semantics ; Автоматическая верификация C-программ на основе смешанной аксиоматической семантики

Authors: I. V. Maryasov V. A. Nepomnyaschy A. V. Promsky et al.

Contributors: I. V. Maryasov V. A. Nepomnyaschy A. V. Promsky et al.

Source: Modeling and Analysis of Information Systems; Том 20, № 6 (2013); 52-63 ; Моделирование и анализ информационных систем; Том 20, № 6 (2013); 52-63 ; 2313-5417 ; 1818-1015

Subject Terms: Simplify, operational semantics, axiomatic semantics, C-light, C-kernel, partial correctness, ACSL, LLVM, операционная семантика, аксиоматическая семантика, язык C, язык C-light, язык C-kernel, частичная корректность

File Description: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/157/158; Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994. 395 p.; Кондратьев Д. А., Промский А. В. Комплексный подход к локализации ошибок при верификации Си-программ // Системная информатика. 2013. № 1. С. 79–96 (Kondratyev D.A., Promsky A.V. Kompleksny podkhod k lokalizatsii oshibok pri verifikatsii Si-programm // Sistemnaya informatika. 2013. N 1. P. 79–96 [in Russian]).; Непомнящий В.А., Ануреев И.С., Михайлов И.Н., Промский А.В. Ориентированный на верификацию язык C-light // Системная информатика: сборник научных трудов. Новосибирск: Издательство СО РАН. 2004. Вып. 9: Формальные методы и модели информатики. С. 51 – 134 (Nepomnyaschy V.A., Anureev I.S., Mikhaylov I.N., Promsky A.V. Orientirovanny na verifikatsiyu yazyk C-light // Sistemnaya informatika: sbornik nauchnykh trudov. Novosibirsk: Izdatelstvo SO RAN, 2004. Vyp. 9: Formalnye metody i modeli informatiki. P. 51 – 134 [in Russian]).; Anureev I.S., Maryasov I.V., Nepomniaschy V.A. C-programs Verification Based on Mixed Axiomatic Semantics // Automatic Control and Computer Sciences. 2011. Vol. 45. Issue 7. P. 485–500.; Anureev I., Maryasov I., Nepomniaschy V. Revised Mixed Axiomatic Semantics Method of C Program Verification // Proc. of 3rd Workshop "PSSV: Theory and Applications". Nizhni Novgorod, 2012. P. 16–23.; Baudin P., Cuoq P., Filliˆatre J.-C., March´e C., Monate B., Moy Y., Prevosto V. ACSL: ANSI/ISO C Specification Language. http://frama-c.com/download/acsl_1.4.pdf; Bormer T., Brockschmidt M., Distefano D., Ernst G., Filliˆatre J.-C., Grigore R., Huisman M., Klebanov V., March´e C., Monahan R., Mostowski W., Polikarpova N., Scheben C., Schellhorn G., Tofan B., Tschannen J., Ulbrich M. The COST IC0701 Verification Competition 2011 // Revised Selected Papers of Int. Conf. FoVeOOS 2011. LNCS. 2011. Vol.7421. P. 3–21.; Cohen E., Dahlweid M., Hillebrand M., Leinenbach D., Moskal M., Santen T., Schulte W., Tobies S. VCC: A Practical System for Verifying Concurrent C // Proc. of 22nd Int. Conf. TPHOLs. LNCS. 2009. Vol. 5674. P. 23–42.; Detlefs D., Nelson G., Saxe J. B. Simplify: A Theorem Prover for Program Checking. Palo Alto, 2003. 121 p. (HP Tech. Rep. HPL-2003-148). http://www.hpl.hp.com/techreports/2003/HPL-2003-148.pdf; Filliˆatre J.-C., March´e C. Multi-prover Verification of C Programs // Proc. of 6th ICFEM. LNCS. 2004. Vol. 3308. P. 15–29.; Klebanov V., M¨uller P., Shankar N., Leavens G. T., W¨ustholz V., Alkassar E., Arthan R., Bronish D., Chapman R., Cohen E., Hillebrand M., Jacobs B., Leino K. R. M., Monahan R., Piessens F., Polikarpova N., Ridge T., Smans J., Tobies S., Tuerk T., Ulbrich M., Weiß B. The 1st Verified Software Competition: Experience Report // Proc. 17th Int. Symp. on Formal Methods. LNCS. 2011. Vol. 6664. P. 154–168.; Leino K.R.M. Dafny: An Automatic Program Verifier for Functional Correctness // Revised Selected Papers of 16th Int. Conf. LPAR-16. LNCS. 2010. Vol. 6355. P. 348–370.; Maryasov I.V., Nepomniaschy V.A., Promsky A.V., Kondratyev D.A. Automatic C Program Verification Based on Mixed Axiomatic Semantics // Proc. of 4th Workshop "PSSV: Theory and Applications". Yekaterinburg, 2013. P. 50–59.; Moura L. de, Bjørner N. Z3: An Efficient SMT Solver // Proc. of 14th Int. Conf. TACAS 2008. LNCS. 2008. Vol. 4963. P. 337–340.; Nepomniaschy V.A., Anureev I.S., Atuchin M.M., Maryasov I.V., Petrov A.A., Promsky A.V. C Program Verification in SPECTRUM Multilanguage System // Automatic Control and Computer Sciences. 2011. Vol. 45. Issue 7. P. 413–420.; Promsky A.V. A Formal Approach To The Error Localization. Novosibirsk, 2012. 33 p. (Preprint / RAS. Sib. branch. IIS; No 169).