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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

у знайденому

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

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

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

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

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

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

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

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

1-20 21-40 41-60

Форма документа : Однотомне видання
Шифр видання : Укр/Г 75
Автор(и) : Грінченко, Борис Дмитрович (1863-1910)
Назва : Словарь украинскаго языка = Словарь української мови/ собранный Редакція журнала Кіевская Старина ; редактировалъ, с добавленіем собственныхъ матеріаловъ Б. Д. Гринченко; собранный редакціей журнала "Кіевская Старина". - Заголовок у сучасному правописанні: Словник української мови. - Назва на корінці книги: Словарь української мови : А - Я. ТОМЪ І: А - Ж
Вихідні дані : Київ: Друкарня Акційного Товариства Н. Т. Корчак-Новицького, 1907
Кільк.характеристики :495 с
Колективи : Редакція журнала Кіевская Старина
Різночитання назви :Заголовок у сучасному правописанні: Словник української мови; Назва на корінці книги: Словарь української мови : А - Я;
Приплетено:
1. З - Н. ТОМЪ ІІ. - Кіевъ: Друкарня 1-ї Спілки Друкарської Справи, 1908. - 573 с.
2. О - П. ТОМЪ ІІІ . - Кіевъ: Друкарня 1-ї Спілки Друкарської Справи, 1909. - 506 с.
3. Р - Я. ТОМЪ ІV. - Кіевъ: Друкарня 1-ї Спілки Друкарської Справи, 1909. - 563 с.
Примітки : Зібрала редакція журнала "Кіевская Старина"
Ціна : 4000.00 грн.
ДРНТІ : 16
УДК : 811.161.2(038)
Предметні рубрики: Українська мова-- Російська мова
Анотація: «Словарь української мови» - перекладний українсько-російський словник, виданий 1907-1909 рр. у Києві в 4 томах. Його зібрала редакція журналу «Кіевская старина». Упорядником виступив відомий український діяч Борис Грінченко. Правопис, заведений словником, отримав назву - “грінченківка”. Словник складався 46 років (1861–1907) і мав великий вплив на усталення української літературної мови й літературного правопису. «Словарь української мови» налічує близько 68 000 слів та був найповнішим і лексикографічно найдосконалішим українським словником до початку 20 століття. Працю над словником розпочали ще Є. Тимченко і В. Науменко, які впорядкували лексичний матеріал журналу«Основа» 1861–1862 та пізніші лексичні нагромадження, 1897 опублікували (за російським правописом) перші аркуші (літери А – В) як додаток до журналу «Киевская старина». З 1902 до роботи над словником було залучено Б. Грінченка. Він використав праці багатьох кореспондентів журналу «Киевская старина», зібрав матеріали з творів художньої літератури й фольклорних джерел, частково послуговувався попередніми словниками подібного типу, додав значний власний матеріал (діалектні й фольклорні записи). «Словарь української мови» став словником української живої мови. Тут поряд із загальновживаними словами фіксуються і діалектизми, часом вузьколокальні; вони здебільшого документуються. Українські реєстрові слова в словнику пояснюються російськими відповідниками чи описово, більшість їх ілюструється реченнями; при назвах рослин і тварин, як правило, наводяться їхні латинські наукові відповідники. Широко представлена українська фразеологія, часто з поясненням її походження. У передмові до словника, Б. Грінченко подав стислий, але досить докладний огляд історії української лексикографії. Українська частина словника надрукована новим, спеціально для цього розробленим Б. Грінченком правописом, т. з. грінчевичівкою, що акумулювала все найкраще з попередньої української правописної практики і яка лежить в основі сучасного українського правопису.
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
,
Перейти до зовнішнього ресурсу Цифрова бібліотека Бориса Грінченка
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : Укр/Г 75
Автор(и) : Грінченко, Борис Дмитрович (1863-1910)
Назва : Словарь украинскаго языка = Словарь української мови/ собранный Редакція журнала Кіевская Старина; редактор Б. Д. Грінченко ; автор передмови Б. Д. Грінченко ; редактировалъ, с добавленіем собственныхъ матеріаловъ Б. Д. Гринченко; автор предисловія Б. Гринченко; собранный редакціей журнала "Кіевская Старина". - Назва у сучасному написанні: Словник української мови. - Назва у сучасному написанні: Словарь української мови. ТОМЪ І: А - Ж
Вихідні дані : Київ: Друкарня Акційного Товариства Н. Т. Корчак-Новицького, 1907
Кільк.характеристики :494 с
Колективи : Редакція журнала Кіевская Старина
Різночитання назви :Назва у сучасному написанні: Словник української мови; Назва у сучасному написанні: Словарь української мови;
Примітки : Зібрала редакція журнала "Кіевская Старина" :
ДРНТІ : 16
УДК : 811.161.2(038)
Предметні рубрики: Українська мова-- Російська мова
Анотація: «Словарь української мови» - перекладний українсько-російський словник, виданий 1907-1909 рр. у Києві в 4 томах. Його зібрала редакція журналу «Кіевская старина». Упорядником виступив відомий український діяч Борис Грінченко. Правопис, заведений словником, отримав назву - “грінченківка”. Словник складався 46 років (1861—1907) і мав великий вплив на усталення української літературної мови й літературного правопису. «Словарь української мови» налічує близько 68 000 слів та був найповнішим і лексикографічно найдосконалішим українським словником до початку 20 століття. Працю над словником розпочали ще Є. Тимченко і В. Науменко, які впорядкували лексичний матеріал журналу«Основа» 1861—62 та пізніші лексичні нагромадження, 1897 опублікували (за російським правописом) перші аркуші (літери А — В) як додаток до журналу «Киевская старина». З 1902 до роботи над словником було залучено Б. Грінченка. Він використав праці багатьох кореспондентів журналу «Киевская старина», зібрав матеріали з творів художньої літератури й фольклорних джерел, частково послуговувався попередніми словниками подібного типу, додав значний власний матеріал (діалектні й фольклорні записи). «Словарь української мови» став словником української живої мови. Тут поряд із загальновживаними словами фіксуються і діалектизми, часом вузьколокальні; вони здебільшого документуються. Українські реєстрові слова в словнику пояснюються російськими відповідниками чи описово, більшість їх ілюструється реченнями; при назвах рослин і тварин, як правило, наводяться їхні латинські наукові відповідники. Широко представлена українська фразеологія, часто з поясненням її походження. У передмові до словника, Б. Грінченко подав стислий, але досить докладний огляд історії української лексикографії. Українська частина словника надрукована новим, спеціально для цього розробленим Б. Грінченком правописом, т. з. грінчевичівкою, що акумулювала все найкраще з попередньої української правописної практики і яка лежить в основі сучасного українського правопису.
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Повний текст / зовнішній ресурс (посторінковий перегляд): Цифрова копія або завантажити ,
Перейти до зовнішнього ресурсу Цифрова бібліотека Бориса Грінченка
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 512.64(075.8)/Т 52
Автор(и) : Толбатов Ю. А., Толбатов Є. Ю.
Назва : Елементи лінійної алгебри та аналітичної геометрії : навчальний посібник
Вихідні дані : Київ: Четверта хвиля, 2002
Кільк.характеристики :190 с
ISBN, Ціна 966-529-063-0:
ДРНТІ : 27.17.29
УДК : 512.64+514.12] (075.8) + 514.12(075.8)
Предметні рубрики: Математика-- Лінійна алгебра
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 512.64-3(075.8)/Т 52
Автор(и) : Толбатов Ю. А., Толбатов Є. Ю.
Назва : Елементи лінійної алгебри засобами Excel : навчальний посібник
Вихідні дані : Київ: Четверта хвиля, 2002
Кільк.характеристики :110 с
ISBN, Ціна 966-529-043-6:
ДРНТІ : 27.17.29
УДК : 512.64-3(075.8)
Предметні рубрики: Математика-- Лінійна алгебра
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 22.11я73/Д 95-352966070
Автор(и) : Дюженкова Л. І., Дюженкова О. Ю., Михалін Г. О.
Назва : Вища математика : приклади і задачі : посібник
Вихідні дані : Київ: Академія, 2003
Кільк.характеристики :623 с
Серія: Альма-матер
ISBN, Ціна 966-580-138-4:
ДРНТІ : 27
УДК : 51(075.8)
Предметні рубрики: Вища математика
Ключові слова (''Вільн.індекс.''): множини--числові множини--координатний простір--пряма--площина--пряма лінія--координатна площина--системи лінійних рівнянь--матриці--криві другого порядку--криві вищих порядків--функції--границя послідовності--експонента--логарифм--степінь--синус--косинус--границя функції--неперервні функції--числові ряди--функціональні ряди--диференціальне числення--диференціал--диференційовані функції--диференціали вищих порядків--правило лопіталя--інтегральне числення--невизначений інтеграл--визначений інтеграл--подвійні інтеграли--потрійні інтеграли--диференціальні рівняння--скалярні поля--векторні поля--векторний анакліз--криволінійні інтеграли--поверхневі інтеграли--теорія ймовірностей--математисчна статистика--комбінаторика--випадковий експеримент--простір подій--ймовірність--випадкові величини
Примірники : всього : ГП АБ(1), ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 94(477)Могила/Х 94-406428896
Назва : Хроніка-2000: український культурологічний альманах/ Фонд сприяння розвитку мистецтв України. Випуск 60: Петро Могила
Вихідні дані : Київ: Українські пропілеї, 2004
Кільк.характеристики :728 с
Ціна : 15.00, грн.
ДРНТІ : 03.27
УДК : 930.85(059)
Предметні рубрики: Історія культури-- Видатні діячі --Україна
Зміст : Київський митрополит Петро Могила/ М. Костомаров. Київський митрополит Петро Могила та його сподвижники/ С. Голубєв. Документи: грамоти і листи польських королів Сигізмунда III і Владислава IV, декрет сейму Речі Посполитої ; Петро Могила: штрихи до портрета людини, діяча, богослова. (З нагоди канонізації). - Могиліана: вибрана бібліографія/ В. Шевченко. З нововиявлених документів до біографії святителя Петра Могили/ Ю. Мицик. Герб і титулатура архимандрита та митрополита Петра Могили/ О. Кучерук. Людина, якій було тісно у своєму часі/ М. Слабошпицький. Із Заповіту Петра Могили/ С. Гаєвський. "Пастирською моєю останньою волею зобов’язую й визначаю..." (Заповіт, смерть і похорон Київського митрополита Петра Могили)/ О. Горобина. Багатоликий світ Петра Могили/ І. Шевченко. Спроба здійснення єдності Церков у творчості Петра Могили/ А. Жуковський. Митрополит Петро Могила і духовне середовище Києва 30-40-х рр. XVII ст./ Л. Міляєва. "Книг теологічних слов’янською мовою мало, а з політичних жодної нема": дві партії латинських книг, придбаних Петром Могилою у 1632 та 1633 рр./ Л. Шаріпова. Петро Могила та історія архітектурної реставрації церкви спаса на Берестові в XVII ст./ Є. Кабанець. "Требник" П. Могили в експозиції Національного музею літератури України/ В. Шевченко. Рукою власною... Про високе призначення чернечого життя/ С. Голубєв. Про дивовижні і знаменні явища в Церкві Православній/ С. Голубєв. Канони та інші церковні співи, складені святителем Петром Могилою/ М. Забуга. Молитви з "Полууставу"/ М. Забуга. "Книга души, нарицаемая Злото. Невиданий твір митрополита Петра Могилилото"/ В. Перетц. Правило молебное кь преподобным отцемь нашим Печерским и всем всятым, в Малой Россіи просіявшимЮ певаемое когда и где кто извелить ; Думки одного шляхтича грецької віри з Польщі. Лист да папи Урбана VIII митрополита Петра Могили
Примірники : всього : ГП ЧЗ(1), Ф2(1)
Вільні : ГП ЧЗ(1), Ф2(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 51:330.4(075.8)/В 19
Автор(и) : Васильченко І. П.
Назва : Вища математика для економістів : підручник . -3-тє вид., випр. і доп.
Вихідні дані : київ: Знання, 2007
Кільк.характеристики :454 с
ISBN, Ціна 966-346-226-4:
ДРНТІ : 27
УДК : 51:330.4(075.8)
Предметні рубрики: Вища математика
Примірники : всього : ГП АБ(1), ГП ЧЗ(1)
Вільні : ГП АБ(1), ГП ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 811.161.2(035)/У 45
Назва : Українська орфографія, пунктуація, граматика та стилістика в таблицях і схемах
Вихідні дані : Харків: Клуб Сімейного Дозвілля, 2012
Кільк.характеристики :192 с
ISBN, Ціна 978-966-14-1423-4: 25.00 грн.
ДРНТІ : 16.41
УДК : 811.161.2(035)
Предметні рубрики: Українська мова-- Орфографія-- Пунктуація-- Граматика
Анотація: У зручній для користування формі таблиць систематизовані основні правописні норми та найважливіші відомості з граматики й стилістики української мови. Формат дозволяє легко та швидко знайти потрібне правило, якісно узагальнити й систематизувати вивчене. Посібник стане в пригоді всім тим, хто прагне опанувати українську мову на високому рівні.
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Знайти схожі

Форма документа :
Шифр видання :
Автор(и) : Даниленко, Володимир
Назва : Золоте правило українського письменника-початківця : про оповідання Вадима Соколенка "Складіть мені компанію..."
Місце публікування : Дніпро. - Київ, 2013. - № 12. - С. 100-101 (Шифр Д402894/2013/12)
Знайти схожі

10.

Назва журналу :Дивослово. Українська мова й література в навчальних закладах -2013р.,N 10
Цікаві статті :
Омельчук С. Основні поняття орфографії у шкільному курсі морфології української мови/ С. Омельчук (стр.2-7) Кл.слова: орфограма,орфографічне правило,правопис
Ющук І. Рідна мова й інтелект/ І. Ющук (стр.8-12) Кл.слова: мовний етикет
Романюк Є. Розквітай же, слово!/ Є. Романюк (стр.13-17) Кл.слова: мовна ситуація,фразеологічний,текстовий редактор
Коляда Ю. Минуще все, лиш слово не мине.../ Ю. Коляда (стр.18-22) Кл.слова: історія української мови,розвиток письма,кирилична абетка
Кривопишина К. Художнє осмислення воєнного геноциду у прозі Василя Захарченка/ К. Кривопишина (стр.23-27) Кл.слова: "Чорна піхота",екзистенціалізм,Друга світова війна
Клочек Г. Трохи пейзажно-географічної те предметно-побутової конкретики/ Г. Клочек (стр.28-34) Кл.слова: Творчість Тараса Шевченка,косаральський період,поезія
Вірченко Т. Освітній процес під мікроскопом ученого/ Т. Вірченко (стр.33-34) Кл.слова: Клочек Г.,Зі студій про літературну освіту
Сохацька Є. Іван Огієнко: в обороні рідного слова/ Є. Сохацька (стр.35-42) Кл.слова: русифікація,двомовність,двокультурність
Слухай Н. Поетичний синтаксис Шевченка/ Н. Слухай (стр.46-52) Кл.слова: синтаксичний архаїзм,багатоваріантна еліптичність,асиндетон
Бойко Н. / Н. Бойко (стр.53-56) Кл.слова: мала проза,інтелігенція,народолюбство
Тетеріна О. / О. Тетеріна (стр.61-64) Кл.слова: міжлітературний контекст,неологізм,концепція національної літератури
Цікаві статті :
Знайти схожі

11.

Назва журналу :Дніпро -2013р.,N 12
Цікаві статті :
Кирик Ю. Сни метелика/ Ю. Кирик (стр.004-011) Кл.слова: оповідання
Даньків А. Диво/ А. Даньків (стр.012-013)
Кітчак Т. Миколая/ Т. Кітчак (стр.014-016)
Мусієнко О. Феєрія новорічної ночі/ О. Мусієнко (стр.017) Кл.слова: новела
Гречин В. Ніби наа Марсі( Гаваї)/ В. Гречин (стр.018-024) Кл.слова: подорожні нотатки
Проніна М. Вінтаж/ М. Проніна (стр.025)
Ліщинська Н. Птах/ Н. Ліщинська (стр.026-031) Кл.слова: оповідання, фантастичне
Тарасова О. Шалений день в агенції "Бджілка"/ О. Тарасова (стр.032-043) Кл.слова: п’єса
Шкромида І. Не рухаючись/ І. Шкромида (стр.044-046) Кл.слова: новела
Тибель В. Бурштин із комахою всередині/ В. Тибель (стр.050-057) Кл.слова: оповідання
Радько Т. Позитив/ Т. Радько (стр.057)
Максимов А. Ікона для Оленки/ А. Максимов (стр.060-062)
Коробенюк В. За що я люблю зиму?/ В. Коробенюк (стр.063) Кл.слова: новелетка
Тютюнник Г. Три зозулі з поклоном/ Г. Тютюнник (стр.064-065),оповідання
Венгловський В. Коли здіймається вітер/ В. Венгловський (стр.066-073) Кл.слова: оповідання, філософське
Пак М. Алло?/ М. Пак (стр.074)
Ігнатова Л. Жіноча сумка/ Л. Ігнатова (стр.075)
Вовнянко В. Там, у лісі, на велосипеді/ В. Вовнянко (стр.076-078)
Мирзаєва М. Ніч спокусниці й ката/ М. Мирзаєва (стр.079) Кл.слова: новелетка
Гурден Ф. Клопітний спадок/ Ф. Гурден ; пер. П. Новікова (стр.080-087)
Варикаша М. Creative work/ М. Варикаша (стр.088-090)
Пально Ю. Один, два, три/ Ю. Пально (стр.091-097)
Соколенко В. Складіть мені компанію.../ В. Соколенко (стр.098-099)
Даниленко В. Золоте правило українського письменника-початківця/ В. Даниленко (стр.100-101),Соколенко Вадим, Складіть мені компанію..., про оповідання
Йогансен М. Як будується оповідання. Аналіза прозових зразків. Фантастичне оповідання./ М. Йогансен (стр.102-116) Кл.слова: Герберт Дж. Велз, про творчість,оповідання, фантастичне оповідання
Грінченко Б. Д. Зима/ Б. Грінченко (стр.117)
Грінченко Б. Д. У темряві/ Б. Грінченко (стр.117)
Мадей А. "Ось вам і людина ця дивна загадка".../ А. Мадей (стр.118-121) Кл.слова: Андрич Іво
Кошмір-Яковлева Е. Неокласицизм/ Е. Кошмір-Яковлева (стр.122-127) Кл.слова: неокласицизм, архітектура, образотворче мистецтво, література, музика
Миколюк О. 10 хвилин/ О. Миколюк (стр.128-129)
Цікаві статті :
Знайти схожі

12.

Форма документа :
Шифр видання :
Автор(и) : Омельчук С.
Назва : Основні поняття орфографії у шкільному курсі морфології української мови
Місце публікування : Дивослово. Українська мова й література в навчальних закладах. - Київ, 2013. - N 10. - С. 2-7 (Шифр Д357007/2013/10)
Ключові слова (''Вільн.індекс.''): орфограма--орфографічне правило--правопис
Знайти схожі

13.

Форма документа : Однотомне видання
Шифр видання : 7.036/В 41
Назва : 50 винаходів, які Україна подарувала світові
Паралельн. назви :50 inventions bestowed by Ukraine to the World
Вихідні дані : Київ, 2014
Кільк.характеристики :108 с
Колективи : Ukraine Crisis media centre, Second Floor art centre
Ціна : 10.00 грн.
ДРНТІ : 18.11
УДК : 7.036:001.894(477) + 001.894(477)
Предметні рубрики: Мистецтво-- Наукові винаходи --Україна
Ключові слова (''Вільн.індекс.''): шов-блискавка--винаходи українців--клапан серця--пасажирський літак--гасова лампа--enabletalk--hdd--атомний криголам--літак "мрія"--whatsapp--pocketbook--peypal--вертоліт--електродугове зварення--"буран"--правило чаргаффа--замок джуса--imax--наука у мистецьких творах
Анотація: Художники дизайн-студії «Direct 96» крізь час та простір пройшли слідами українських винаходів і винахідників усюди і ретельно вивчили їх доробок. Так народився проект «50 винаходів, які Україна подарувала світу». Українці змогли змінити світ - сьогодні вони мають змінити свою країну. Варто лише подивитися на те, що ми вже змогли зробити, аби зрозуміти, що наше майбутнє - в наших власних руках.
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Знайти схожі

14.

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Taraszkiewicz J.
Назва : Początki działalności zakonu pijarów w Lubieszowie czyli Nowym Dolsku na Ukrainie
Місце публікування : Синопсис: текст, контекст, медіа: електронний фаховий журнал/ Київський університет імені Бориса Грінченка. - Київ: Київський університет імені Бориса Грінченка, 2015. - № 2. - ISSN 2311-259Х, DOI 10.28925/2311-259x.2018.1.816 (Шифр С325934233/2015/2). - ISSN 2311-259Х, DOI 10.28925/2311-259x.2018.1.816
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): орден піарів--шкільництво--театральна освіта
Анотація: Стаття є продовженням досліджень із діяльності ордену піарів у Першій Речі Посполитій, які були опубліковані в численних міжнародних виданнях. У статті проаналізовано діяльність ордену у царинах як шкільної освіти, так і театральної освіти. Насамперед акцентовані характеристика і специфіка початків ордена в Західній Україні, на прикладі будівництва релігійного дому та школи в Любешові (Новий Дольськ) в Україні. Висвітлено шляхи створення нового релігійного центру, робіт, пов’язаних із інфраструктурою релігійних і шкільних форм підтримки та розвитку діяльності монахів. Значну увагу приділено співпраці ордена з меценатами – як правило, людьми, що мали безпосередній стосунок до справи поширення освіти та популяризації театральної освіти. Це, насамперед, представники місцевої знаті і аристократії, але також соціально-освітні діячі. Стаття оснащена бібліографією та додатком із переліком аналізованих джерел.
Перейти до зовнішнього ресурсу https://synopsis.kubg.edu.ua
Знайти схожі

15.

Форма документа : Однотомне видання
Шифр видання : 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)

Знайти схожі

16.

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Редька І. А.
Назва : Текстові процедури висвітлення емотивно-когнітивної системи вірша (на матеріалі англомовної поезії XX століття)
Місце публікування : Studia Philologica: збірник наукових праць/ Київ. ун-т імені Бориса Грінченка. - Київ: Київ. ун-т імені Бориса Грінченка, 2016. - Вип. 6. - С. 24-28. - ISSN 2311-2425 (Шифр 80я43/S 90-306709024/2016/6). - ISSN 2311-2425
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): емотивність--емотивно-когнітивна система--стилістичний засіб
Анотація: Статтю присвячено вивченню особливостей текстового представлення емотивного компонента емотивно-когнітивної системи англомовного вірша. У ході дослідження з’ясовано, що емотивний компонент може виражатися в тексті шляхом застосування автором таких процедур, як імплікація, інтерпретація, часткове висвітлення, повне висвітлення та проекція. У процедурах розкриття емотивного компонента, як правило, задіяні стилістичні засоби, що є виділеними на тлі менш значимих текстових засобів.
Знайти схожі

17.

Форма документа :
Шифр видання :
Автор(и) : Глазовий, Павло
Назва : Загальне правило
Місце публікування : Дніпро. - Київ, 2016. - № 4. - С. 172 (Шифр Д402894/2016/4)
Ключові слова (''Вільн.індекс.''): художня література--гумореска--текст
Знайти схожі

18.

Назва журналу :Дніпро -2016р.,N 4
Цікаві статті :
Амеліна В. Передчуття Марії/ В. Амеліна (стр.6-9) Кл.слова: проза,оповідання,текст
Шовкошитний В. Чорний лелека/ В. Шовкошитний (стр.10) Кл.слова: поезія,поезія про Чорнобиль,текст
Чубач Г. Відкрию таємницю/ Г. Чубач (стр.10) Кл.слова: поезія,поезія про Чорнобиль,текст
Багряна А. Малиновий дзвін/ А. Багряна (стр.11) Кл.слова: поезія,поезія про Чорнобиль,текст
Рибалка А. Міські чаклунки/ А. Рибалка (стр.12-47) Кл.слова: проза,роман,текст
Велієв А. Рідне гніздо/ А. Велієв (стр.48) Кл.слова: художня література,поезія,текст
Велієв А. Білий пароплав/ А. Велієв (стр.48) Кл.слова: художня література,поезія,текст
Варакута Н. Підніміться, роми/ Н. Варакута (стр.49) Кл.слова: художня література,поезія,текст
Романі Р. Народе мій, до тебе я звертаюсь!/ Р. Романі (стр.49) Кл.слова: художня література,поезія,текст
Дочинець М. Під вороновим крилом/ М. Дочинець (стр.50-63) Кл.слова: художня література,розмова,текст
Калитко К. Я не сторож у цьому тумані що сам замки відмикає.../ К. Калитко (стр.64) Кл.слова: поезія,лірика,текст
Тимочко І. [Якщо]/ І. Тимочко (стр.64) Кл.слова: лірика,поезія,текст
Євтушенко Е. Дихай.../ Е. Євтушенко (стр.65) Кл.слова: лірика,поезія,текст
Деяк Т. Капітан Немо/ Т. Деяк (стр.65) Кл.слова: лірика,поезія,текст
Осадко А. Безпритульно, як дощ на селі. Невилазна драгва.../ А. Осадко (стр.65) Кл.слова: лірика,поезія,текст
Попелюшка В. Валентина Попелюшка воєнне оповідання Хендмейд 066/ В. Попелюшка (стр.66-73) Кл.слова: проза,оповідання про війну,текст
Попелюшка В. У війни не буває свята./ В. Попелюшка (стр.74) Кл.слова: патріотична лірика,поезія,текст
Попелюшка В. Каштани запалюють свічі/ В. Попелюшка (стр.74) Кл.слова: патріотична лірика,поезія,текст
Семенчук Г. Мені наснилася війна: з чорним волоссям.../ Г. Семенчук (стр.74) Кл.слова: патріотична лірика,поезія,текст
Шостацька Л. Стояли соняхи в полях/ Л. Шостацька (стр.75) Кл.слова: патріотична лірика,поезія,текст
Мамчич О. Прикордонні стовпи миготять і розмічують простір.../ О. Мамчич (стр.75) Кл.слова: патріотична лірика,поезія,текст
Воронов А. Резолюція Л. і К./ А. Воронов (стр.75) Кл.слова: патріотична лірика,поезія,текст
Неждана Н. Кицька на спогад про темінь/ Н. Неждана (стр.76-89) Кл.слова: проза,драма,текст
Афіша найновіших п'єс сучасних українських драматургів (стр.90) Кл.слова: анонс,афіша найновіших п'єс
Старицький М. Занепокоєність і метушня/ М. Старицький (стр.91) Кл.слова: уривок із п'єси,текст
Мольєр Ж. Б. Штучна манірність/ Ж. -Б. Мольєр (стр.92) Кл.слова: п'єса,комедія,текст
Шекспір В. Дотепні "словесні ігри"/ В. Шекспір (стр.93) Кл.слова: п'єса,комедія,текст
Теліга О. Чужа весна/ О. Теліга (стр.94) Кл.слова: художня література,поезія,текст
Теліга О. Сьогодні кожний крок хотів би бути вальсом.../ О. Теліга (стр.94) Кл.слова: художня література,поезія,текст
Теліга О. Вечірня пісня / О. Теліга (стр.94) Кл.слова: художня література,поезія,текст
Клен Ю. Слова і квіти/ Ю. Клен (стр.95) Кл.слова: художня література,поезія,текст
Клен Ю. Соняшник/ Ю. Клен (стр.95) Кл.слова: художня література,поезія,текст
Ольжич О. Вечір. Я дивлюсь на сині скелі.../ О. Ольжич (стр.95) Кл.слова: художня література,поезія,текст
Ольжич О. Полінезійці/ О. Ольжич (стр.95) Кл.слова: художня література,поезія,текст
Імена, події, дати (стр.96) Кл.слова: знаменні дати, квітень, 2016 р.
Українка. Розмова/ Леся Українка (стр.98-105) Кл.слова: проза,оповідання,текст
Деяк Т. Лелеками/ Т. Деяк (стр.106) Кл.слова: художня література,поезія,текст
Плосковітов М. Чи ти мене згадаєш навесні.../ М. Плосковітов (стр.106) Кл.слова: художня література,поезія,текст
Ковалюк Н. Я повернусь... ти чуєш... повернусь!./ Н. Ковалюк (стр.107) Кл.слова: художня література,поезія,текст
Кочетова К. Мої рими, мов листя.../ К. Кочетова (стр.107) Кл.слова: художня література,поезія,текст
Дідух-Романенко С. Інтимний рондель/ С. Дідух-Романенко (стр.107) Кл.слова: художня література,поезія,текст
Белімова Т. Вона любила квіти (Синя Борода)/ Т. Белімова (стр.108-111) Кл.слова: проза,оповідання,текст
Маклех Ш. Камінь-вістун/ Ш. Маклех (стр.112) Кл.слова: художня література,поезія,текст
Маклех Ш. Блукаючи над морем/ Ш. Маклех (стр.112) Кл.слова: художня література,поезія,текст
Маклех Ш. Людські слова/ Ш. Маклех (стр.113) Кл.слова: художня література,поезія,текст
Маклех Ш. Тепло згаслого вогнища/ Ш. Маклех (стр.113) Кл.слова: художня література,поезія,текст
Дюбуа Т. Давайте добавки/ Т. Дюбуа (стр.114-142) Кл.слова: проза,роман,текст
Анонс літературно-мистецьких подій квітня 2016 року (стр.143) Кл.слова: літературно-мистецькі події, квітень, 2016 р.
"Арт-десант" у краю "Лісової пісні" (стр.144-145) Кл.слова: волонтерський проект "Арт-десант",культурне життя в Україні
Самара О. Жертва прийде сама/ О. Самара (стр.146-153) Кл.слова: проза,оповідання,текст
Вовк (Селянська) В. Я йшла за тобою дорогами світу.../ (Селянська) В. Вовк (стр.154) Кл.слова: художня література,поезія,текст
Вовк (Селянська) В. На довгих косах/ (Селянська) В. Вовк (стр.154) Кл.слова: художня література,поезія,текст
Вовк (Селянська) В. Джульетта/ (Селянська) В. Вовк (стр.154) Кл.слова: художня література,поезія,текст
Вовк (Селянська) В. Вдягаюся в небо і хмари.../ (Селянська) В. Вовк (стр.154) Кл.слова: художня література,поезія,текст
Палій Л. Перед бурею/ Л. Палій (стр.155) Кл.слова: художня література,поезія,текст
Палій Л. Карти/ Л. Палій (стр.154) Кл.слова: художня література,поезія,текст
Палій Л. Ріка/ Л. Палій (стр.155) Кл.слова: художня література,поезія,текст
Палій Л. Порожній глек днів / Л. Палій (стр.155) Кл.слова: художня література,поезія,текст
Палій Л. Перехрестя/ Л. Палій (стр.155) Кл.слова: художня література,поезія,текст
Палій Л. Місяць/ Л. Палій (стр.155) Кл.слова: художня література,поезія,текст
Палій Л. На кінці молитов/ Л. Палій (стр.155) Кл.слова: художня література,поезія,текст
Коваль Н. Семюел Беккет : Письменнику, визирни зі своєї мушлі/ Н. Коваль (стр.156-163) Кл.слова: Беккет Семюел, про нього,Нобелівська премія, 1969, Беккет С.
Бондар (Лівобережна) І. Вечірня містика/ (Лівобережна) І. Бондар (стр.164) Кл.слова: художня література,поезія,текст
Шинкарук В. Двоє і весна/ В. Шинкарук (стр.164) Кл.слова: художня література,поезія,текст
Бреславська-Кемінь С. Козак Мамай/ С. Бреславська-Кемінь (стр.164) Кл.слова: художня література,поезія,текст
Радушинська О. Дикий запах трави.../ О. Радушинська (стр.165) Кл.слова: художня література,поезія,текст
Данилюк Н. Відпалали сади смолоскипами.../ Н. Данилюк (стр.165) Кл.слова: художня література,поезія,текст
Семена Н. Коли весна у гості йде зимою.../ Н. Семена (стр.165) Кл.слова: художня література,поезія,текст
Семена Н. Я - полонянка весни!./ Н. Семена (стр.165) Кл.слова: художня література,поезія,текст
Гаран О. Гаран Олена Зачаруй, і зігрій, і зваб мене.../ О. Гаран (стр.166) Кл.слова: художня література,поезія,текст
Гаран О. Збираю скалки світлих вітражів.../ О. Гаран (стр.166) Кл.слова: художня література,поезія,текст
Голобородько В. Весна/ В. Голобородько (стр.166) Кл.слова: художня література,поезія,текст
Боровець О. Якби ти знав усі мої дороги.../ О. Боровець (стр.167) Кл.слова: художня література,поезія,текст
Литовченко Г. Весна-весна/ Г. Литовченко (стр.167) Кл.слова: художня література,поезія,текст
Пекний С. Непаперова література: коротко про українську аудіокнигу/ С. Пекний (стр.168-170) Кл.слова: дитяча аудіокнига,звукова книга,звукова література
Глазовий П. В темнім залі/ П. Глазовий (стр.172) Кл.слова: художня література,гумореска,текст
Глазовий П. Розмова на пляжі / П. Глазовий (стр.172) Кл.слова: художня література,гумореска,текст
Глазовий П. Балада про цеглину/ П. Глазовий (стр.172) Кл.слова: художня література,гумореска,текст
Глазовий П. Загальне правило/ П. Глазовий (стр.172) Кл.слова: художня література,гумореска,текст
Білокопитов М. Ловелас/ М. Білокопитов (стр.173) Кл.слова: художня література,гумореска,текст
Білокопитов М. Депутат/ М. Білокопитов (стр.173) Кл.слова: художня література,поезія,текст
Білокопитов М. Песиміст/ М. Білокопитов (стр.173) Кл.слова: художня література,гумореска,текст
Артемчук. Даремні пошуки/ Ігор Артемчук, Г. Григор'єв (стр.174) Кл.слова: художня література,бувальщина,текст
Артемчук. Грошей не шкода/ Ігор Артемчук, Г. Григор'єв (стр.174) Кл.слова: художня література,бувальщина,текст
Артемчук. Комплімент ученого/ Ігор Артемчук, Г. Григор'єв (стр.174) Кл.слова: художня література,бувальщина,текст
Артемчук. Увічнений п'яниця/ Ігор Артемчук, Г. Григор'єв (стр.174) Кл.слова: художня література,бувальщина,текст
Артемчук. Запитання та відповідь/ Ігор Артемчук, Г. Григор'єв (стр.174) Кл.слова: художня література,бувальщина,текст
Артемчук. Єдиний щасливець/ Ігор Артемчук, Г. Григор'єв (стр.175) Кл.слова: художня література,бувальщина,текст
Артемчук. Портрет з народних переказів/ Ігор Артемчук, Г. Григор'єв (стр.175) Кл.слова: художня література,бувальщина,текст
Дрозд М. Промах/ М. Дрозд (стр.176) Кл.слова: художня література,гумореска,текст
Дрозд М. Природний відбір/ М. Дрозд (стр.176) Кл.слова: художня література,поезія,текст
Дрозд М. Різниця/ М. Дрозд (стр.176) Кл.слова: художня література,гумореска,текст
Дрозд М. Липовий/ М. Дрозд (стр.176) Кл.слова: художня література,гумореска,текст
Дрозд М. Для лікування/ М. Дрозд (стр.176) Кл.слова: художня література,гумореска,текст
Дрозд М. Вже доповіли/ М. Дрозд (стр.177) Кл.слова: художня література,гумореска,текст
Дрозд М. Не гуди/ М. Дрозд (стр.177) Кл.слова: художня література,гумореска,текст
Дрозд М. Для подолання/ М. Дрозд (стр.177) Кл.слова: художня література,гумореска,текст
Вишневська Л. Писанкарство/ Л. Вишневська (стр.178-183) Кл.слова: мистецтвознавство,писанка,орнаменти писанок
Цікаві статті :
Перейти до зовнішнього ресурсу Зміст
Знайти схожі

19.

Назва журналу :Компьютеры, сети, программирование -2017р.,N 5
Цікаві статті :
Наушники вредны (стр.2-3) Кл.слова: наушніки,слух
Как взрываются литий-ионные аккумуляторы (стр.3-5) Кл.слова: іоні акомулятори,причина самозагорання
3D печать металлами (стр.6-10) Кл.слова: 3D друк,прінтер,друк металами
Подземные накопители солнечного тепла (стр.10-11) Кл.слова: сонячне тепло,Марк Джейкобсон
Spacex создан спутниковую сеть с высокой пропускной способностью (стр.12-13) Кл.слова: компанія Spacex,супутникова мережа
Страны с самым быстрым интернетом в Европе (стр.13-15) Кл.слова: інтернет,інтернет в Європі
Технологии не могут делать счастливім (стр.16-20) Кл.слова: взаємовідносини,щастя
Шестичасовой рабочий день (стр.21-22) Кл.слова: шестигодинний робочий час,скорочений робочий час
Правило пяти секунд (стр.22-23) Кл.слова: структура поверхні,бактерії
Тренды в программировании (стр.24-27) Кл.слова: гібридна серверна архітектура,віртуальна реальність,квантові обчислення
Деньги, цифровые и наличные (стр.28-30) Кл.слова: гроші,цифрові гроші
Блокчейн и криптовалюты (стр.30-31) Кл.слова: криптовалюта,блокчейн
Сингапур превращается в мировой блокчейн-центр (стр.32-36) Кл.слова: Сингапур,блокчейн-центр
Цікаві статті :
Знайти схожі

20.

Назва газети: Місцеве самоврядування -2017р.,N 5
Цікаві статті :
Даугуль В. Назад у минуле чи крок у майбутнє: нагляд (контроль) за дотриманням земельного законодавства (частина 1)/ В. Даугуль (стр.2-8) Кл.слова: земельне законодавство,землекористувачі,землевласники
Рибалко К. "Недооцінена цінність": грошова оцінка сільськогосподарських земель/ К. Рибалко, К. Брек (стр.9-14) Кл.слова: нормативна грошова оцінка,економічна оцінка земель,сільськогосподарські землі
Даугуль В. Актуальне запитання/ В. Даугуль, М. Макієнко (стр.15-16) Кл.слова: рішення райради із земельних питань,місце поховання
Ковшова О. Складання фінансової звітності: рекомендації Мінфіну/ О. Ковшова (стр.17-22) Кл.слова: баланс,звіт про фінансові результати,субрахунки бухгалтерського обліку
Ковшова О. Зміни у Порядку списання держмайна: що врахувати ОМС/ О. Ковшова (стр.23-24) Кл.слова: списання держмайна,технічний стан,морально застаріле майно
Мірвелова І. М. Щодо питання, чи вважаються додатковим благом найманого працівника витрати на таксі, які були понесені ним під час відрядження в межах території України або за її межами, якщо за рішенням керівника підприємства дані витрати були відшкодовані працівнику/ І. М. Мірвелова (стр.25) Кл.слова: відрядження,витрати на проїзд у таксі,додаткове благо
Ковшова О. Зміни до КЕКВ: найголовніше/ О. Ковшова (стр.26-30) Кл.слова: оплата витрат на транспортування,витрати на заклади охорони здоров’я,покриття судових витрат
Ковшова О. Актуальне запитання/ О. Ковшова (стр.31-33) Кл.слова: податок на нерухоме майно,надання субсидії ОСББ,підвищення розміру добових
Ковшова О. Актуальне запитання/ О. Ковшова (стр.33-34) Кл.слова: порядок оплати електроенергії,плата за оренду земельної ділянки,розмір кошторисної заробітної плати
Ковшова О. Актуальне запитання/ О. Ковшова (стр.36-37) Кл.слова: придбання дзвону для церкви за кошти місцевого бюджету
ГульТ. Відрядження та курси: нюанси розрахунку МЗП/ ГульТ. (стр.38-39) Кл.слова: правило "мінзарплати",курси підвищення кваліфікації,відрядження
Товстенко О. Щодо доплати працівникам, які використовують у роботі дезінфікувальні засоби, а також працівникам, які зайняті прибиранням туалетів/ О. Товстенко (стр.41) Кл.слова: лист Мінсоцполітики, № 737/0/101-17/28, 2017 р.,доплата за роботу з дезінфікувальними засобами
Брусенцова Я. В. Об'єднання тергромад із суміжних районів/ Я. В. Брусенцова (стр.43-47) Кл.слова: територіальні громади,добровільне об'єднання громад,нормативно-правові акти
Позиція ДРС щодо можливості складення протоколів про адміністративне правопорушення (видача дозвільним органом документа дозвільного характеру, необхідність одержання якого не встановлена законом) від 12.04.17 р. б/н (стр.46-47) Кл.слова: адміністративне правопорушення,документи дозвільного характеру,регуляторна політика
Брусенцова Я. В. Містобудівна діяльність: деталізовано про зміни (частина 1)/ Я. В. Брусенцова (стр.48-55) Кл.слова: планування територій,містобудівна документальність,архітекторно-будівельний контроль
Петухов С. Щодо надання роз'яснень/ С. Петухов (стр.56-57) Кл.слова: лист Мін'юсту, № 16951/ 9158-0-32-17/11, 2017 р.,антикорупційне законодавство,адміністративне правопорушення
Сербіна А. Запити Національної поліції про надання інформації та копій документів/ А. Сербіна (стр.58-64) Кл.слова: отримання копій документів,антикорупційна стратегія,доступ до інформації
Макієнко М. Вивчаємо повноваження Державної аудиторської служби України/ М. Макієнко (стр.65-71) Кл.слова: бюджетні кошти,ревізії,фінансовий аудит
Бабій О. Фандрайзинг для новачків: з чого почати отримувати гранти для своєї громади/ О. Бабій, В. Михальська (стр.72-74) Кл.слова: гранти,подання проектної пропозиції,пошук проектної пропозиці
Андрієвський Т. Як "депутати" квест розгадували: нові формати роботи з молоддю у Харківській обласній раді/ Т. Андрієвський (стр.75-76) Кл.слова: Харківська обласна рада,робота з молоддю,депутатквест
Цікаві статті :
Знайти схожі

1-20 21-40 41-60

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