Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>A=Нікітченко, М. С.$<.>)

Загальна кількість знайдених документів : 3
Показані документи с 1 за 3

Шифр: П312121815/2019/1
Журнал

Проблеми програмування [Текст] : науковий журнал/ Інститут програмних систем НАН України. - Київ : Інститут програмних систем НАН України, 1999 - . - ISSN 1727-4907. - Виходить кожного кварталу
2019р. № 1

Зміст:
Нікітченко, М. С. Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк. - С.3-13. - Бібліогр. в кінці ст.
Шкільняк, О. С. Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О. С. Шкільняк. - С.14-26. - Бібліогр. в кінці ст.
Дорошенко, А. Ю. Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу / А. Ю. Дорошенко, М. М. Бондаренко, О. А. Яценко. - С.27-36. - Бібліогр. в кінці ст.
Овдій, О. М. До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію / О. М. Овдій. - С.37-47. - Бібліогр. в кінці ст.
Шевченко, Р. С. TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко. - С.48-56. - Бібліогр. в кінці ст.
Рогушина, Ю. В. Засоби та методи аналізу неструктурованих даних / Ю. В. Рогушина. - С.57-77. - Бібліогр. в кінці ст.
Яловець, А. Л. Методи розпізнавання агентом невідомого середовища / А. Л. Яловець. - С.78-89. - Бібліогр. в кінці ст.
Григорян, Р. Д. Симулятор механизмов срочной регуляции гемодинамики человека / Р. Д. Григорян, А. Г. Дегода, В. С. Харсун. - С.90-98. - Бібліогр. в кінці ст.
Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

Нікітченко, М. С.
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 3-13. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
логіка -- предикат -- логічний наслідок -- секвенційне числення
Дод.точки доступу:
Шкільняк, О. С.
Шкільняк, С. С.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

004.42(075.8)
Н 11

Нікітченко, М. С.
Теорія програмування [Текст] : підручник / М. С. Нікітченко ; Київський національний університет імені Тараса Шевченка. - 2-ге вид. перероб. і допов. - Київ : ВПЦ Київський університет, 2020. - 269 с. - ISBN 978-966-933-099-4 : 43.44 грн.

ДРНТІ	20
УДК	004.42(075.8)

Рубрики: Комп’ютерне програмування--Підручники для вищих навчальних закладів

Кл.слова (ненормовані):
мови програмування -- синтактика -- теорія рекурсії -- типи даних
Анотація: Викладено теоретичні основи програмування. Матеріал подано в семантико-синтаксичному стилі на основі підходу, єдиного для програмування, математичної логіки і теорії алгоритмів. Викладення проілюстровано прикладами, у кінці розділів запропоновано запитання для самоконтролю і вправи для самостійного виконання. Для студентів спеціальностей "Комп’ютерні науки" та "Інженерія програмного забезпечення", які вивчають дисципліну "Теорія програмування"
Дод.точки доступу:
Київський національний університет імені Тараса Шевченка

Примірників всього: 1
Фаховий коледж «Універсум» (1)
Вільні:
Фаховий коледж «Універсум» (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)