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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

у знайденому

Знайдено у інших БД:

Мережеві ресурси (3)

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

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

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

Пошуковий запит: (<.>K=Програмування<.>)

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

1-10 11-20 21-30 31-40 41-50 51-60

Шкільняк, С. С. = Першопорядкові композиційно-номінативні логіки з предикатами слабкої та строгої рівності // Проблеми програмування : науковий журнал. - 2019. - № 3. - С. 28-44. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
логіка -- частковий предикат -- композиційна алгебра -- логістичний наслідок

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

Знайти схожі

(Немає відомостей про примірники)
Шифр: -471736103

Зміст:
Програма курсу "Інформатика" для 8-9 класів загальноосвітніх навчальних закладів з поглибленим вивченням інформатики. - С.3-10.
Балик, Н. Р. Моделі впровадження електронного навчання у педагогічному університеті / Н. Р. Балик, Г. П. Шмигер. - С.10-15.
Івлієва, О. М. Конструювання тестів навчальних досягнень студентів - майбутніх вчителів інформатики / О. М. Івлієва. - С.15-20.
Кононец, Н. В. Засоби розробки електронних освітніх ресурсів для ресурсно-орієнтованого навчання дисциплін комп’ютерного циклу / Н. В. Кононец. - С.20-25.
Бєлоконєва, Н. О. Диференціація навчання, комп’ютерні технології - один із шляхів підвищення мотивації на уроках інформатики / Н. О. Бєлоконєва. - С.28-33.
Костерна, Л. В. Програмування в середовищі Scratch / Л. В. Костерна. - С.25-28.
Філончук, О. М. Урок узагальнення і систематизації знань з теми: "Комп’ютерні публікації Scribus Portable" у 9 класі / О. М. Філончук. - С.33-39.
Корнієнко, В. О. Мобільні технології в освітній діяльності / В. О. Корнієнко. - С.39-43.
Ткачук, Г. В. Особливості організації та проведення вебінарів засобами платформи BigBlueButton / Г. В. Ткачук. - С.43-47.
Кіт, І. В. Методичні особливості курсу "Технологія керування робототехнічними системами" / І. В. Кіт, О. Г. Кіт. - С.47-49.
Мисак, Д. П. Олімпіада з інформатики у місті Києві у 2015-2016 навчальному році / Д. П. Мисак, О. Б. Рудик. - С.49-56.
Про затвердження навчальної програми з інформатики для учнів 5-9 класів загальноосвітніх навчальних закладів (які вивчали інформатику в 2-4 класах) : наказ... від 02.02.2016 № 73. - С.56.
Немає відомостей про примірники
Знайти схожі
Перейти до описів статей

004:51-3](091)
A20

Ada’s Legacy: Cultures of Computing from the Victorian to the Digital Age / Association for Computing Machinery ; editor: R. Hammerman, A. L. Russell. - New York : ACM Books, 2015. - 249 p. - (ACM Books series ; #7). - ISBN 978-1-970001-49-5 : Б. ц.
Переклад назви: Спадщина Ада: культури обчислення від вікторіанської до цифрової доби

ДРНТІ	20
УДК	004:51-3](091)	51-3

Рубрики: Обчислювальна техніка--Історія--Персоналії

Кл.слова (ненормовані):
культура обчислення -- історія обчислень
Анотація: «Спадщина Ада» ілюструє глибину та різноманітність письменників, мислителів та творців, які були натхненні Ада Лавлейс, англійською математиком та письменницею. Том, який відзначає дворіччя від дня народження Ада в грудні 1815 р., Відзначає безліч досягнень Лавеллес, а також вплив її життя та творчості, що широко відгукується з кінця 19 століття. У 21 столітті ми спостерігали відродження стипендії Ловеласа завдяки зростанню міждисциплінарного мислення та зростаючому впливу жінок на науку, техніку, техніку та математику. Спадщина Ада є унікальним внеском у цю стипендію. Тут редактори представляють роботи над раніше невідомими для співіснування друком темами: співпраця Ада з Чарльзом Беббідгом, розвиток мови програмування Ада, позиція Ада у вікторіанському та стимпанк літературному жанрах, представлення Ада та натхнення сучасного мистецтва та коміксів, і постійної актуальності Ада в дискусіях про гендер і технології в епоху цифрових технологій. З 200-річчям від дня народження Ада Ловелас 10 грудня 2015 року ми вважаємо, що час для публікації цієї збірки ідеальний. Через свою широку спрямованість на теми, які виходять далеко за межі життя та творчості самої Ада, Спадщина Ада буде звертатися до читачів, яким цікаво постійне значення Ада в обчислювальних технологіях та в усьому світі.

Дод.точки доступу:
Hammerman, Robin \editor.\
Russell, Andrew L. \editor.\
Кінґ, Августа Ада (графиня Лавлейс ; англійська матиматик, письменниця ; 1815-1852) \про неї\
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

004.738.5
B24

Barbier, Franck.
Reactive Internet Programming: State Chart XML in Action / F. Barbier ; Association for Computing Machinery. - New York : ACM Books, 2016. - 224 p. - (ACM Books series ; #10). - ISBN 978-1-970001-77-8 : Б. ц.
Переклад назви: Реактивне Інтернет програмування: діаграма XML в дії

ДРНТІ	20
УДК	004.738.5

Рубрики: Інтернет програмування--Діаграми

Кл.слова (ненормовані):
програмне забезпечення -- стандарт State Chart XML W3C
Анотація: Чи програмне забезпечення Інтернету настільки відрізняється від "звичайного" програмного забезпечення? Ця книга практично відповідає на це запитання шляхом представлення методу розробки програмного забезпечення на основі стандарту State Chart XML W3C разом із програмами Java, Веб-підприємство, Інтернет-речі та програми Android, зокрема, чітко визначені та реалізовані з "виконуваного файлу" моделей.

Дод.точки доступу:
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

Bilous, V.
Prototyping of mobile applications of android in environment of mit app inventor as means are introduction to bases of programming on the lessons of informatics of students of middle school / V. Bilous // Відкрите освітнє е-середовище сучасного університету : зб. наук. пр. - 2018. - N 4, DOI 10.28925/2414-0325.2018.4.1115 . - ISSN 2414-0325

Кл.слова (ненормовані):
додатки android -- середовище міт app invento -- програмування
Перейти до зовнішнього ресурсу DOI 10.28925/2414-0325.2018.4.1115

Є примірники у відділах: всього 1 : Сервер (1)
Вільні: Сервер (1)

Знайти схожі

Bulgakova, O. S.
Reactive programming paradigm for development uaer interfaces [Текст] / O. S. Bulgakova, V. V. Zosimov // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 5. - С. 62-69. - Бібліогр. в кінці ст. . - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145

Кл.слова (ненормовані):
реактивне програмування -- розробка бази даних -- технологія -- модель
Дод.точки доступу:
Zosimov, V. V.

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

Знайти схожі

   004.43
   D29


    Declarative Logic Programming: Theory, Systems, and Applications / Association for Computing Machinery ; editor: M. Kifer, Y. A. Liu. - New York : ACM Books, 2018. - 595 p. - ISBN 978-1-970001-99-0 : Б. ц.
Переклад назви: Декларативне логічне програмування: теорія, системи та програми

ДРНТІ	20
УДК	004.43:510.755	510.755

Рубрики: Інформаційні технології--Мови програмування

Логічне програмування

Кл.слова (ненормовані):
математична логіка -- бази даних -- мови програмування
Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити.

Дод.точки доступу:
Kifer, Michael \editor.\
Liu, Yanhong Annie \editor.\
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

811.111(075.8):004
E93

Evans, Virginia.
Information Technology. Teacher’s guide [Текст] / V. Evans, J. Dooley, S. Wright. - Berkshire : Express Publishing, 2015. - 135 p. - ISBN 978-1-4715-3460-7 : 99.00 грн.

ДРНТІ	16.41	20
УДК	811.111(075.8):004	004

Рубрики: Англійська мова

Інформаційні технології

Кл.слова (ненормовані):
інформаційні технології -- будова комп’ютера -- інтерфейс -- мови програмування -- електронні публікації -- автоматизація -- хакери -- віруси -- захист інформації -- антивірус -- системне адміністрування
Дод.точки доступу:
Dooley, Jenny
Wright, Stanley

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

004.4(091)(73)
H19

Halvorson, Michael J..
Code Nation: Personal Computing and the Learn to Program Movement in America / M. J. Halvorson ; Association for Computing Machinery. - New York : ACM Books, 2020. - 390 p. - (ACM Books series ; #32). - ISBN 978-1-4503-7758-4 : Б. ц.
Переклад назви: Кодова нація: персональні обчислення та вивчення програмного руху в Америці

ДРНТІ	20
УДК	004.4(091)(73)

Рубрики: Програмне забезпечення--Історія--США

Кл.слова (ненормовані):
комп’ютерна грамотність -- програмний рух -- начання програмуванню -- програмування -- комп’ютерні технології
Анотація: Code Nation досліджує зростання програмного забезпечення як соціального, культурного та технічного явища в історії Америки. Рух, що проростав в урядових та університетських лабораторіях протягом 1950-х років, набрав обертів завдяки корпоративним та контркультурним експериментам у 1960-х та 1970-х роках та став широкомасштабним рухом комп’ютерної грамотності у 1980-х. По мірі того, як особисті обчислення вийшли на перший план, навчання програмуванню перетворювалося на глибину народного ентузіазму, нових захоплюючих платформ та безлічі комерційних практик, які ще більше посилювались розподіленими обчисленнями та Інтернетом. Внаслідок цього суспільство може бути зображене як "Кодова нація" - глобально пов'язаний світ, насичений комп’ютерними технологіями та зачарований програмним забезпеченням та його створенням.

Дод.точки доступу:
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

10.

Ilyenko, Anna.
The improvement of ntruencryptpublic key cryptosystem:design and performance evaluation = Вдосконалення криптосистеми Ntruencrypt:проектування та оцінка ефективності / A. Ilyenko, S. Ilyenko, O. Prokopenko // Кібербезпека: освіта, наука, техніка : електронне наукове видання. - 2020. - N 10. - С. 124-134, DOI 10.28925/2663-4023.2020.10.123134. - Бібліогр. в кінці ст. . - ISSN 2663-4023

Кл.слова (ненормовані):
криптосистема з відкритим ключем -- цілісність -- конфіденційність -- шифрування -- зашифрований текст
Анотація: На сьогодні криптографічні системи забезпечують безпечний зв'язок між користувачами. У цій роботі ми описуємо існуючі криптографічні системи, такі як: системи, засновані на складності факторизації великого цілого числа (RSA); системи, засновані на складності розв'язку дискретного логарифму в кінцевому полі Галуа (eigamal, DSA); системи, засновані на складності розв’язування дискретного логарифму в групі точок еліптичної кривої (ECC); системи на базі решітки (NTRU). Автори зосереджують свою увагу на алгоритмі шифрування та дешифрування ntruencrypt. Криптосистема з відкритим ключем ntruencryptгарантує цілісність та конфіденційність інформації при передачі,зберіганні та обробці інформаційних повідомлень в сучасних комп’ютерних системах та мережах. Проведені дослідження криптосистем звідкритим ключем дали змогу визначити шлях удосконалення криптосистеми з відкритим ключем ntruencrypt. У цій роботі ми представляємо удосконалену криптосистему з відкритим ключем ntruencrypt, яка базується на правильному виборі параметрів pта q. Автори дійшли висновку, що, щоб зменшити різницю між довжиною зашифрованого та відкритого тексту, необхідно взяти pі qближче один до одного. У той же час необхідно враховувати, що при занадто близьких значеннях p і q криптосистема може бути ослаблена. Основною відмінністю між запропонованими схемами було зменшення розміру зашифрованого тексту, що може мінімізувати час на операції шифрування та дешифрування. Як результат -програмна реалізація процедури шифрування та дешифрування удосконаленої криптосистеми з відкритим ключем ntruencrypt з використанням мови програмування Ruby 1.9.3 була отримана за допомогою бібліотеки cryptolib. Удосконалений алгоритм стане ідеальним інструментом для забезпечення конфіденційності інформації за допомогою «хмарних» обчислень, оскільки захист інформації від несанкціонованого доступу є однією з найактуальніших проблем. Далі автори планують ряд науково-технічних рішень для розробки та впровадження ефективних методів, інструментів для задоволення вимог, принципів та підходів до кібербезпеки та криптосистем для забезпечення цілісності та конфіденційності інформації в експериментальних комп’ютерних системах та мережах
Перейти до зовнішнього ресурсу https://csecurity.kubg.edu.ua

Дод.точки доступу:
Ilyenko, Sergii
Ільєнко Сергій Сергійович
Prokopenko, Olena
Прокопенко Олена Володимирівна
Ільєнко Анна Вадимівна

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

Знайти схожі

1-10 11-20 21-30 31-40 41-50 51-60

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