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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

у знайденому

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

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

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

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

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

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

Пошуковий запит: (<.>K=числа<.>)

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

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

Форма документа :
Шифр видання :
Автор(и) : Ray P. К.
Назва : Balancing polynomials and their derivatives
Паралельн. назви :Балансуючі поліноми та їх похідні
Місце публікування : Український математичний журнал. - Київ, 2017. - Т. 69, № 4. - С. 550-564 (Шифр У172432253/2017/69/4)
Примітки : Библиогр. в конце ст.
Ключові слова (''Вільн.індекс.''): k-балансуючі числа--подільність чисел--балансуючі поліноми
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Kuzmenko A. O.
Назва : Predicative organization of English infant poetic texts
Паралельн. назви :Предикативна організація англійських дитячих поетичних текстів
Місце публікування : Studia Philologica: збірник наукових праць/ Київ. ун-т імені Бориса Грінченка. - Київ: Київ. ун-т імені Бориса Грінченка, 2016. - Вип. 6. - С. 37-41. - ISSN 2311-2425 (Шифр 80я43/S 90-306709024/2016/6). - ISSN 2311-2425
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): інфантичний текст--темпоральність--модальність--персональність--сітка
Анотація: У статті розглянуто особливості предикативної організації англомовних віршованих інфантичних текстів. Особлива увага приділяється темпоральній, модальній та персональній сіткам. Вказується на частоту використання видо-часових форм дієслів, домінуючі види модальності, превалювання персони та числа, що властиві саме інфантичним віршованим текстам. У висновках зроблено спробу зіставити та узагальнити результати дослідження, вказавши на чинники, які є специфікою мовлення інфанта.
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Ilyenko, Anna, Ilyenko, Sergii, Prokopenko, Olena
Назва : The improvement of ntruencryptpublic key cryptosystem:design and performance evaluation
Паралельн. назви :Вдосконалення криптосистеми Ntruencrypt:проектування та оцінка ефективності
Місце публікування : Кібербезпека: освіта, наука, техніка: електронне наукове видання/ Київський університет імені Бориса Грінченка. - 2020. - N 10. - С. 124-134. - ISSN 2663-4023, DOI 10.28925/2663-4023.2020.10.123134 (Шифр К667665926/2020/10). - ISSN 2663-4023, DOI 10.28925/2663-4023.2020.10.123134
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): криптосистема з відкритим ключем--цілісність--конфіденційність--шифрування--зашифрований текст
Анотація: На сьогодні криптографічні системи забезпечують безпечний зв'язок між користувачами. У цій роботі ми описуємо існуючі криптографічні системи, такі як: системи, засновані на складності факторизації великого цілого числа (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
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.43(07)Agda/S90
Автор(и) : Stump, Aaron David
Назва : Verified Functional Programming in Agda
Вихідні дані : New York: ACM Books, 2016
Кільк.характеристики :258 с
Колективи : Association for Computing Machinery
Серія: ACM Books series; #9
ISBN, Ціна 978-1-970001-27-3: Б.ц.
ДРНТІ : 20
УДК : 004.43(07)Agda
Предметні рубрики: Мови програмування-- Agda
Ключові слова (''Вільн.індекс.''): зовнішня перевірка--внутрішня перевірка--практика програмування--якість програмного забезпечення
Анотація: Agda - це передова мова програмування, заснована на типу теорії. Система типу Agda є достатньо виразною, щоб підтримувати повну функціональну перевірку програм у двох стилях. Під час зовнішньої перевірки ми пишемо чисті функціональні програми, а потім пишемо докази властивостей про них. Докази - це окремі зовнішні артефакти, як правило, з використанням структурної індукції. Під час внутрішньої перевірки ми визначаємо властивості програм через розширені типи для самих програм. Це часто вимагає включення доказів всередині коду, щоб показати перевірку типу, що вказані властивості містять. Можливість доказувати властивості програм у цих двох стилях - це глибоке доповнення до практики програмування, що дає програмістам можливість гарантувати відсутність помилок і тим самим покращувати якість програмного забезпечення більш ніж раніше можливо. Перевірене функціональне програмування в Агді - це перша книга, в якій подано систематичну експозицію зовнішньої та внутрішньої перевірки в Агді, що підходить для студентів магістратури з інформатики. Не передбачається ознайомлення з функціональним програмуванням або перевіреними комп'ютером доказами. Книга починається з ознайомлення з функціональним програмуванням через звичні приклади, такі як булеві, натуральні числа, списки та методи зовнішньої перевірки. Внутрішня перевірка розглядається на прикладах векторів, дерев бінарного пошуку та дерев Браун. Також входить більш досконалий матеріал щодо обчислення на рівні типу, чітких міркувань щодо припинення та нормалізації шляхом оцінки. Книга також включає середній розмірний випадок кодування та декодування Хаффмана.
Примірники :Сервер(1)
Вільні : Сервер(1)

Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Федак І. В.
Назва : ІІІ етап Всеукраїнської олімпіади з математики 2020 року в Івано-Франківській області
Місце публікування : Математика в школах України: науково-методичний журнал. Заснований у серпні 2002 р. - Харків: ТОВ "Видавнича група "Основа", 2020. - N 7/8/9. - С. 50-56 (Шифр М021125/2020/7/9)
Предметні рубрики: Математика-- позакласна робота-- олімпіада
Ключові слова (''Вільн.індекс.''): математика--олімпіада--значення параметра--натуральні числа--п"ятикутник
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Балдич Ольга, Варава Ольга
Назва : Ігри на асфальті
Місце публікування : Дошкільне виховання. - 2017. - № 11. - С. 20-23. - ISSN 0321-1401 (Шифр Д441483/2017/11). - ISSN 0321-1401
Предметні рубрики: Педагогіка-- Дошкільне виховання-- Гра
Ключові слова (''Вільн.індекс.''): рухова активність--математичні уявлення--розвивальна гра--навчально-матеріальна база
Анотація: Педагоги обухівського дитсадка діляться досвідом ефективного використання асфальтованих майданчиків дитсадка для розвивальних ігор. Подано розробку гри "Равлик", мета якої - закріплювати знання дітей про цифри і числа; вміння лічити у прямому та зворотному порядку, орієнтуватися у суміжних числах; розвивати мислення, увагу, фізичні якості (зокрема вміння стрибати на одній нозі з просуванням уперед і назад); виховувати уважність, товариськість.
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Жолудь Н., Серьоженко І.
Назва : Інтегрований математичний день у 1 класі
Місце публікування : Початкова шк.: наук.-метод. журн./ М-во освіти і науки України, Вид-во "Початкова школа". - Київ: Початкова школа, 2018. - № 11. - С. 42–45. - ISSN 0131-5358 (Шифр П860805/2018/11). - ISSN 0131-5358
УДК : 373.3.091.313(477) + 373.3.016:51](477) + 373.3.016:502/504](477) + 373.3.016:087.5](477) + 373.3.016:62/64](477)
Предметні рубрики: Інтегроване навчання-- тематичний день-- початкова школа
Ключові слова (''Вільн.індекс.''): інтегроване навчання--тематичний день--математика--природознавство--основи здоров’я--трудове навчання--додавання чисел--віднімання чисел--небезпечні ситуації--різноманіття рослин--початкова школа--1 клас
Анотація: У статті представлено розробку проведення інтегрованого тематичного дня під час якого інтегруються навчальні предмети: основи здоров’я, математика, природознавство, трудове навчання на тему: "Миколай іде – чемним діткам дарунки несе" в початковій школі. Математика: Складання числових рівностей та нерівностей. Порівняння числа та значення числового виразу. Кругові приклади. Розв’язування задач. Природознавство: Які дерева належать до листяних, а які до хвойних? Основи здоров’я: Безпечні місця для ігор і розваг. Трудове навчання: Послідовність дій під час виготовлення прикрас з паперу. Практична робота: виготовлення новорічної гірлянди.
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Коваленко Л.
Назва : Інтегрований урок (математика, природознавство), 2 клас
Місце публікування : Початкова шк.: наук.-метод. журн./ М-во освіти і науки України, Вид-во "Початкова школа". - Київ: Початкова школа, 2019. - № 4. - С. 42–44. - ISSN 0131-5358 (Шифр П860805/2019/4). - ISSN 0131-5358
Предметні рубрики: Інтегровані уроки-- математика-- природознавство-- початкова школа
Ключові слова (''Вільн.індекс.''): інтегровані уроки--методика викладання--математика--природознавство--додавання--віднімання--двоцифрові числа--птахи--початкова школа--2 клас
Анотація: У статті представлено розробку інтегрованого уроку з математики та природознавства на тему: "Закріплення додавання і віднімання двоцифрових чисел. Цей дивовижний світ птахів" для учнів початкової школи.
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Садова Р.
Назва : Інтегрований урок-подорож з математики та природознавства у 3 класі
Місце публікування : Початкова шк.: наук.-метод. журн./ М-во освіти і науки України, Вид-во "Початкова школа". - Київ: Початкова школа, 2018. - № 10. - С. 26–29. - ISSN 0131-5358 (Шифр П860805/2018/10). - ISSN 0131-5358
УДК : 373.3.016:502/504](477) + 373.3.016:51](477)
Предметні рубрики: Інтегровані уроки-- урок-подорож-- математика-- початкова школа
Ключові слова (''Вільн.індекс.''): інтегровані уроки--методика викладання--урок-подорож--математика--природознавство--трицифрові числа--письмове додавання--периметр--тварини--початкова школа--3 клас
Анотація: У статті представлено розробку інтегрованого уроку-подорожі з математики, природознавства на тему: "Письмове додавання трицифрових чисел у випадку кількох доданків. Розв’язування задач. Периметр", "Різноманітність тварин та їхній вплив на природу Землі" для учнів початкової школи.
Знайти схожі

10.

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Руснак І.
Назва : Історія написання і видання роману "Сонце з заходу" Уласа Самчука: спроба реконструкції
Місце публікування : Синопсис: текст, контекст, медіа: електронний фаховий журнал/ Київський університет імені Бориса Грінченка. - Київ: Київський університет імені Бориса Грінченка, 2018. - № 3. - С. 36-45. - ISSN 2311-259Х, DOI 10.28925/2311-259x.2018.3.4 (Шифр С325934233/2018/3). - ISSN 2311-259Х, DOI 10.28925/2311-259x.2018.3.4
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): роман сонце з заходу--історія написання і видання твору--репортаж
Анотація: У статті запропоновано авторську реконструкцію процесу створення і видання маловідомого роману «Сонце з Заходу» Уласа Самчука. Тривалий час текст вважали втраченим. Фронтальний аналіз повоєнних підшивок газети «Свобода» (Нью-Йорк) дав авторці статті змогу з’ясувати, що роман у повному обсязі був надрукований на шпальтах цього видання 1949 року. Співпраця з видавцем Іваном Ребриком (Ужгород) допомогла відшукати відсутні на офіційному сайті нью-йоркського часопису числа. Роман «Сонце з Заходу» занурює читача у вир політичного і культурного життя Хуста кінця 30 х років, відтворює маловідомі факти про участь членів Організації Українських Націоналістів у підготовці проголошення незалежності Карпатської України. Авторка статті ретельно простудіювала доступні джерела, що засвідчують роботу письменника над твором. Основна увага зосереджена на дослідженні газетних повідомлень, інформації з довідкових видань, окремих листів письменника з його архіву. Авторці вдалося встановити, що працю над романом прозаїк почав одразу після поразки Карпатської України; кілька уривків з твору були надруковані різними еміграційними часописами в 40 х роках. Роман «Сонце з Заходу» — складний і водночас цікавий матеріал для подальших літературознавчих досліджень. На думку авторки статті, ґрунтовного осмислення потребують жанрова природа твору, його документальна основа, розшифрування окремих явищ українського еміграційного життя й подробиць участі націоналістичного підпілля в підготовці проголошення Карпатської України, пошук прототипів персонажів тощо. Особливо продуктивними, на її думку, будуть текстологічні зіставлення надрукованих уривків та остаточної версії тексту роману. Виявити нові свідчення, що стосуються історії створення і видання роману, допоможе уважне студіювання епістолярної спадщини письменника
Перейти до зовнішнього ресурсу https://synopsis.kubg.edu.ua
Знайти схожі

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

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