ISS Library

Subject: F.4. MATHEMATICAL LOGIC AND FORMAL LANGUAGES

Number of items at this level: 11.

2010

Палагін О.В. and Кривий С.Л. and Бібіков Д.C. and Величко В.Ю. and Марков К. and Іванова К. and Мітов І. (2010) ФОРМАЛЬНО-ЛОГІЧНИЙ ПІДХІД ДО ПОБУДОВИ СИСТЕМ АНАЛІЗУ ЗНАНЬ В РІЗНИХ ПРЕДМЕТНИХ ОБЛАСТЯХ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

Палагін О.В. and Кривий С.Л. and Петренко М.Г. and Бібіков Д.C. (2010) АЛГЕБРО-ЛОГІЧНИЙ ПІДХІД ДО АНАЛІЗУ ТА ОБРОБКИ ТЕКСТОВОЇ ІНФОРМАЦІЇ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

2008

Акуловский В.Г. (2008) K-ЗНАЧНАЯ ЛОГИКА В РАСШИРЕННОЙ АЛГЕБРЕ АЛГОРИТМОВ. In: УкрПРОГ, 27-29 травня 2008 р., м. Київ, Україна.

Дорошенко А.Е. and Шевченко Р.С. (2008) ПРИМЕНЕНИЕ СИСТЕМ ПЕРЕПИСЫВАНИЯ ТЕРМОВ К АНАЛИЗУ ИСХОДНОГО ПРОГРАММНОГО КОДА. In: УкрПРОГ, 27-29 травня 2008 р., м. Київ, Україна.

Летичевский А.А. (2008) ЯЗЫК ФОРМАЛЬНЫХ ТРЕБОВАНИЙ И ЕГО ПРИМЕНЕНИЯ. In: УкрПРОГ, 27-29 травня 2008 р., м. Київ, Україна. (Unpublished)

Провотар А.И. (2008) ФОРМАЛИЗАЦИЯ: АЛГОРИТМИЧЕСКИЙ ПОДХОД. In: УкрПРОГ, 27-29 травня 2008 р., м. Київ, Україна.

Шинкаренко В.І. (2008) ОСОБЛИВОСТІ ПРАКТИЧНОГО ЗАСТОСУВАННЯ ПОКАЗНИКІВ ОБЧИСЛЮВАЛЬНОЇ СКЛАДНОСТІ АЛГОРИТМІВ. In: УкрПРОГ, 27-28 травня 2008 р., м. Київ, Україна.

Letichevsky A. and Letichevsky A.Jr. and Peschanenko V. (2008) APS C++ USER’S LIBRARY. In: УкрПРОГ, 27-28 травня 2008 р., м. Київ, Україна.

2006

Захария Л.М. and Луценко Т.В. and Цейтлин Г.Е. (2006) О ПОСТРОЕНИИ КЛОНОВ АЛГЕБР ФУНКЦИОНАЛЬНЫХ n-ОТНОШЕНИЙ. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

Кудим К.А. (2006) ОБЪЯСНИТЕЛЬНАЯ ЗАПИСКА К ВЫБОРУ ТЕМЫ ДИССЕРТАЦИОННОЙ РАБОТЫ. [Teaching Resource] (Unpublished)

Нікітченко М.С. and Шкільняк С.С. and Омельчук Л.Л. (2006) ЛОГІКИ, ОРІЄНТОВАНІ НА СПЕЦИФІКАЦІЇ ПРОГРАМ. In: УкрПРОГ, 23-25 травня 2006 р., м. Київ, Україна.

This list was generated on Thu Oct 2 01:05:33 2014 EEST.