Головна Спрощенний режим Посібник користувача
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=мови програмування<.>)
Загальна кількість знайдених документів : 8
Показані документи с 1 за 8
1.
004.42
К 67


    Корнелл, Г.
    Программирование на VB.NET : учеб. курс : пер. с англ. / Г. Корнелл, Дж. Моррисон. - Санкт-Петербург : Питер, 2002. - 394 с. : ил. - (Учебный курс). - Алф. указ.: с. 386-394. - ISBN 5-318-00713-9 : 5.00 грн.
ДРНТІ
УДК

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

Кл.слова (ненормовані):
VISUAL BASIC.NET -- VISUAL STUDIO.NET -- програмування -- мови програмування -- середовище програмування -- інтерфейс -- оператори
Дод.точки доступу:
Моррисон, Дж.


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

Знайти схожі

2.
37:001.32](477)Руденко
Р 83


    Руденко, Віктор Дмитрович.
    Сучасна комп'ютерна грамотність і проблеми змісту шкільної інформатики / В. Д. Руденко // Укр. пед. журн. = UKRAINIAN EDUCATIONAL JOURNAL : наук. журн. - 2015. - № 3. - С. 158-169 : табл. - Бібліогр.: 3 назв. . - ISSN 2411-1317
УДК

Рубрики: Зміст освіти--інформатика--загальноосвітні навчальні заклади

Кл.слова (ненормовані):
предмет інформатика -- інформатика -- комп'ютерна грамотність -- алгоритмізація та програмування -- мови програмування -- інформаційні технології
Анотація: Автор статті обґрунтовує, що гасло «Програмування – друга грамотність», під яким у навчальні програми середньої загальноосвітньої школи запроваджувався предмет «Інформатика», було актуальним і відповідало вимогам часу.

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


Знайти схожі

3.
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 грн.
ДРНТІ
УДК

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

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


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


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

Знайти схожі

4.
   004.43
   В 19


    Васильєв, Олексій.
    Програмування мовою Python [Текст] / О. Васильєв. - Київ : Навчальна книга - Богдан, 2019. - 504 с. : іл. - ISBN 978-966-5611-3 : 348.00 грн.
ДРНТІ
УДК

Рубрики: Мови програмування--Python--Навчальні видання

Кл.слова (ненормовані):
мови програмування -- інструкція з керування -- об’єктно-орієнтоване програмування -- робота зі списками

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

Знайти схожі

5.


    Шевченко, Р. С.
    TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 48-56. - Бібліогр. в кінці ст. . - ISSN 1727-4907

Кл.слова (ненормовані):
автоматизація розробки програмного забезпечення -- мови програмування -- переписування термів -- системи типів -- алгебра типів -- аналіз коду
Дод.точки доступу:
Дорошенко, А. Ю.


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


Знайти схожі

6.


    Сокол, Ірина Миколаївна.
    Урок-квест "Усвіті кодування" [Текст] / І. М. Сокол // Комп’ютер у школі та сім’ї : науково-методичний журнал. - 2018. - № 8. - С. 15-20. - Бібліогр. в кінці ст. . - ISSN 2307-9851

Кл.слова (ненормовані):
квест -- інтернет -- пошук -- кодування -- мови програмування

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


Знайти схожі

7.
   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 : Б. ц.
Переклад назви: Декларативне логічне програмування: теорія, системи та програми
ДРНТІ
УДК

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

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


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


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


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

Знайти схожі

8.
004.42(075.8)
Н 11


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

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

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


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

Знайти схожі

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