РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (14)
Журнали та продовжувані видання (3)
Автореферати дисертацій (1)
Наукова періодика України (22)
Авторитетний файл імен осіб (1)
Пошуковий запит:
(<.>A=Нікітченко М$<.>)
Загальна кількість знайдених документів
:
39
Представлено документи
з 1 до 20
...
1.
Нікітченко
М. С.
Семантичні аспекти посткласичних логік
. — 2001 //
Пробл. программирования
.
2.
Нікітченко
М. С.
Математична логіка
: Навч. посіб. — К., 2003
3.
Нікітченко
М. С.
Композиційні логіки номінативних даних
. — 2003 //
Пробл. программирования
.
4.
Нікітченко
М. С.
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
. — 2004 //
Пробл. программирования
.
5.
Нікітченко
М. С.
Композиційно-номінативні модальні логіки
. — 2002 //
Пробл. программирования
.
6.
Нікітченко
М. С.
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
. — 2003 //
Пробл. программирования
.
7.
Нікітченко
М. С.
Ієрархія композиційно-номінативних логік
. — 2004 //
Пробл. программирования
.
8.
Нікітченко
М. С.
Інтенсіонально-орієнтований підхід до побудови логічних систем
. — 2007 //
Пробл. програмув
.
9.
Нікітченко
М. С.
Логіки, орієнтовані на специфікації програм
. — 2006 //
Пробл. програмув
.
10.
Нікітченко
М. С.
Композиційно-номінативні логіки з операторами нерухомої точки
. — 2008 //
Пробл. програмув
.
11.
Нікітченко
М. С.
Теорія інтегрованих композиційно-номінативних моделей програм
: Автореф. дис... д-ра фіз.-мат. наук : 01.05.03. — К., 2001
12.
Нікітченко
М. С.
Математична логіка та теорія алгоритмів
: підруч. для студ. кіберн. ф-тів вищ. навч. закл. — К.: Київ. ун-т, 2008
13.
Нікітченко
М. С.
Семантичні властивості монотонних логік Флойда - Хоара
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2012. - Вип. 3.
14.
Нікітченко
М. С.
Логіки квазіарних предикатів кванторно-екваційного рівня
//
Пробл. програмув.
. - 2012. - № 4.
15.
Нікітченко
М. С.
Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2012. - Вип. 4.
16.
Акіменко В. В.
Особливості розробки освітнього стандарту з інформатики (напрям підготовки 040302)
//
Інформ. технології в освіті
: зб. наук. пр. - 2010. - Вип. 5.
17.
Нікітченко
М. С.
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
//
Пробл. програмув.
. - 2014. - № 2/3 (спец. вип.).
18.
Нікітченко
М. С.
Прикладна логіка
: навч. посіб. — Київ, 2013
19.
Нікітченко
М. С.
Логіки часткових предикатів з розширеними реномінаціями та кванторами
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Вип. 2.
20.
Нікітченко
М. С.
Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Спец. вип.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського