кандидат технічних наук
Доцент

Ел. пошта: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.

Наукові ступені

Кандидат технічних наук по спеціальності 01.05.02 – математичне моделювання та обчислювальні методи,

Харківський державний технічний університет радіоелектроніки ім. М.К.Янгеля (нині Харківський національний технічний університет радіоелектроніки ім. М.К.Янгеля), 2000р.
Тема дисертації: «Предикатні моделі логічних просторів в системах подання знань»

Вчені звання

Доцент кафедри комп’ютерної алгебри та дискретної математики

Освіта

Аспірантура за спеціальністю «Математичне моделювання та обчислювальні методи»

Харківський державний технічний університет радіоелектроніки ім. М.К.Янгеля (нині Харківський національний технічний університет радіоелектроніки ім. М.К.Янгеля), 2000р.

Економіст-математик за фахом «Економічна кібернетика», 1996 р.
Харківський державний університеті ім. В.Н.Каразіна (нині Харківський національний університет ім. В.Н.Каразіна)

Публікації

Автор та співавтор 37 наукових, методичних праць та тез доповідей конференцій, а саме:

1. Гвоздинская Н.А., Дударь З.В., Пославский С.А., Шабанов-Кушнаренко Ю.П. О логических пространствах// Автоматизированные системы управления и приборы автоматики. – 1997. – Вып. 106. – С. 21 30.
2. Гвоздинская Н.А., Кравцова Т.А. Логические пространства и некоторые их свойства.// Тези доповідей 1-го міжнародного молодіжного форуму «Электроника и молодежь в XXI веке». – Харків. – ХТУРЕ. – 1997. – С. 191.
3. Гвоздинская Н.А., Шабанов-Кушнаренко Ю.П. Логические матрицы и операции над ними.// Тези доповідей 3-ї міжнародної конференції «Теория и техника передачи, приема и обработки информации». – Туапсе. – ХТУРЕ. – 1997. – С. 296.
4. Гвоздинская Н.А., Дударь З.В., Пославский С.А., Шабанов-Кушнаренко Ю.П. О логических матрицах.// Проблемы бионики. – 1998. – Вып. 48. – С. 12 22.
5. Гвоздинская Н.А., Дударь З.В., Шабанов-Кушнаренко Ю.П. Математическое описание смысла текстов естественного языка.// Проблемы бионики. – 1998. – Вып. 48. – С. 141 149.
6. Гвоздинская Н.А. О логических операторах.// Проблемы бионики. – 1998. – Вып. 49. – С. 90 94.
7. Гвоздинская Н.А., Дударь З.В., Пославский С.А., Шабанов-Кушнаренко Ю.П. О действиях с линейными логическими операторами.// Радиоэлектроника и информатика. – 1998. – Вып. 3(04). – С. 128 130.
8. Гвоздинская Н.А., Шабанов-Кушнаренко Ю.П. Предикатные логические пространства.// Збірка праць за матеріалами 4-ї міжнародної конференції «Теория и техника передачи, приема и обработки информации». – Туапсе. – ХТУРЕ. – 1998. – С. 239.
9. Гвоздинская Н.А., Дударь З.В., Пославский С.А., Шабанов-Кушнаренко Ю.П. О матрицах линейных логических операторов.// Проблемы бионики. – 1999. – Вып. 50. – С. 25 29.
10. Гвоздинская Н.А. Булевы и предикатные логические пространства.// Проблемы бионики. – 1999. – Вып. 51. – С. 106 115.
11. Гвоздинская Н.А. О некоторых операциях над векторами совершенного логического пространства.// Автоматизированные системы управления и приборы автоматики. – 1999. – Вып. 109. – С. 3 12.
12. Гвоздинская Н.А. Некоторые виды линейных логических операторов.// Автоматизированные системы управления и приборы автоматики. – 1999. – Вып. 109. – С. 12 19.
13. Якимова Н.А. Простое словосочетание естественного языка как формула логической алгебры.// Проблемы бионики. – 2000. – Вып. 52. – С. 111 115.
14. Якимова Н.А. Алгебраический синтез простых словосочетаний в предложение естественного языка.// Автоматизированные системы управления и приборы автоматики. – 2000. – Вып. 111. – С. 22 27.
15. Якимова Н.А., Гвоздинский А.Н. Булевы и предикатные блочные логические матрицы.// Автоматизированные системы управления и приборы автоматики. – 2002. – Вып. 121. – С. 109 115.
16. Якимова Н.А., Гвоздинский А.Н. Математическое моделирование семантических связей слов с помощью аппарата логических операторов.// Автоматизированные системы управления и приборы автоматики. – 2003. – Вып. 123. – С. 81 86.
17. Якимова Н.А., Гвоздинский А.Н. Логико-алгебраические модели систем представления знаний.// Автоматизированные системы управления и приборы автоматики. – 2003. – Вып. 124. – С. 43 47.
18. Якимова Н.А., Гвоздинский А.Н., Губин В.А. Выбор решений в системах искусственного интеллекта методами эволюционной оптимизации.// Тези доповідей 9-ї міжнародної наукової конференції «Теория и техника передачи, приема и обработки информации». – Харків Туапсе. – ХТУРЕ. – 2003. – С. 315 316.
19. Гвоздинский А.Н., Губин В.А., Якимова Н.А. О проблеме поиска информации в слабоструктурированных источниках.// Тези доповідей 9-ї міжнародної наукової конференції «Теория и техника передачи, приема и обработки информации». – Харків Туапсе. – ХТУРЕ. – 2003. – С. 317 318.
20. Гвоздинский А.Н., Губин В.А., Якимова Н.А. Предикатные модели представления знаний в системах искусственного интеллекта.// Тези доповідей 10-ї ювілейної міжнародної наукової конференції «Теория и техника передачи, приема и обработки информации». – Харків Туапсе. – ХТУРЕ. – 2004. – С. 38 39.
21. Гвоздинский А.Н., Губин В.А., Якимова Н.А. О природе слабоструктурированных источников информации.// Тези доповідей 10-ї ювілейної міжнародної наукової конференції «Теория и техника передачи, приема и обработки информации». – Харків Туапсе. – ХТУРЕ. – 2004. – С. 94 95.
22. Гвоздинський А.М., Губін В.О., Якімова Н.А. Методичні вказівки до практичних занять з курсу «Методи дослідження операцій. Математичне програмування»: Методичні вказівки для студентів усіх форм навчання напрямків 7.0914 –«Комп'ютерна інженерія та управління», 7.0804 – «Комп'ютерні науки», 7.050102 – «Економічна кібернетика». Харків: ХТУРЕ. – 2003. – 40 с.
23. Якімова Н.А. Курс лекцій з «Математичної логіки»: Курс лекцій для студентів усіх форм навчання спеціальності «Прикладна лінгвістика» Одеса: Астропринт. – 2004.
24. Гвоздинський А.М., Губін В.О., Якімова Н.А. Методичні вказівки до самостійної роботи з дисципліни «Методи дослідження операцій. Ігрові задачі»: Методичні вказівки для студентів усіх форм навчання напрямків 7.091401 –«ГКСР», 7.050102 – «Економічна кібернетика». Харків: ХТУРЕ. – 2004. – 40 с.
25. Yakimova N.A. Linear logic operators, theirs kinds and matrixes on example Boolean and predicate logic spaces// Abstracts of 5th International Algebraic Conference in Ukraine. – Odessa. – 2005. – P.233 234.
26. Якімова Н.А. Математична логіка: методичний посібник для студентів усіх форм навчання спеціальності «Прикладна лінгвістика». – Одеса: Астропринт. – 2006.
27. Гвоздинський А.М., Якімова Н.А., Губін В.О. Методи оптимізації в системах прийняття рішень/ Навчальний посібник. – Харків. – 2006.
28. Якимова Н.А., Симонова И.Г. Бинарные предикаты как способ задания булевых логических объектов/ Вісник Одеського національного університету. – 2007. – Т.12, вип.7. «Математика і механіка». – С.174 – 184.
29. Якимова Н.А., Гвоздинский А.Н. Представление булевых логических матриц в виде бинарных предикатов/ Радиоэлектроника и информатика. – 2007. – Вып. 2. – С.108 – 110.
30. Якимова Н.А. Варианты формализации предложений естественного языка и их графическое представление/ Записки з загальної лінгвістики. – 2008. – Вип. 8 – 9. – С.302 – 308.
31. Якимова Н.А. Графическое представление текстов естественного языка/ Записки з загальної лінгвістики. – 2010. – Вип. 10 – 11. – С.305 – 311.
32. Гвоздинский А.Н., Якимова Н.А., Губин В.А. Бинарные предикаты при описании булевых логических пространств.// Автоматизированные системы управления и приборы автоматики. – 2012. – Вып. 161. – С. 108 113.
33. Варбанець П.Д., Якімова Н.А. Лінгвостатистика: курс лекцій. – Одеса. 2013. – 41с.
34. Варбанець П.Д., Якімова Н.А. Лінгвостатистика: метод. посіб. для практ. занять. – Одеса. 2014. – 40с.
35. Гвоздинский А.Н., Якимова Н.А., Губин В.А. Возможные представления матриц линейных логических операторов.// Автоматизированные системы управления и приборы автоматики. – 2015. – Вып. 172. – С. 44 47.
36. Якімова Н.А. Предикатні логічні матриці.// Вісник Одеського національного університету ім.І.І.Мечнікова. Дослідження в математиці і механіці. – 2019. – С.67 74.
37. Якімова Н.А. Логічна алебра: методичний посібник. – Одеса: «Освіта України». – 2019.– 40с.

Додаткова діяльність

Навчально-методична література

1. Гвоздинський А.М., Губін В.О., Якімова Н.А. Методичні вказівки до практичних занять з курсу «Методи дослідження операцій. Математичне програмування»: Методичні вказівки для студентів усіх форм навчання напрямків 7.0914 –«Комп'ютерна інженерія та управління», 7.0804 – «Комп'ютерні науки», 7.050102 – «Економічна кібернетика». Харків: ХТУРЕ. – 2003. – 40 с.
2. Якімова Н.А. Курс лекцій з «Математичної логіки»: Курс лекцій. Одеса: Астропринт. – 2004.
3. Гвоздинський А.М., Губін В.О., Якімова Н.А. Методичні вказівки до самостійної роботи з дисципліни «Методи дослідження операцій. Ігрові задачі»: Методичні вказівки для студентів усіх форм навчання напрямків 7.091401 –«ГКСР», 7.050102 – «Економічна кібернетика». Харків: ХТУРЕ. – 2004. – 40 с.
4. Якімова Н.А. Математична логіка: методичний посібник. – Одеса: Астропринт. – 2006.
5. Гвоздинський А.М., Якімова Н.А., Губін В.О. Методи оптимізації в системах прийняття рішень/ Навчальний посібник. – Харків. – 2006.
6. Варбанець П.Д., Якімова Н.А. Лінгвостатистика: курс лекцій. – Одеса. 2013. – 41с.
7. Варбанець П.Д., Якімова Н.А. Лінгвостатистика: метод. посіб. для практ. занять. – Одеса. 2014. – 40с.
8. Якімова Н.А. Логічна алебра: методичний посібник. – Одеса: «Освіта України». – 2019.– 40с.

Курси, що викладаюсться

для бакалаврів з Комп'ютерної інженерії, Інформаційних систем і технологій, математики, Прикладної математики, Прикладної лінгвістики.

• «Алгебра скінченних предикатів»;
• «Алгебра скінченних предикатів довільного порядку»;
• «Дискретна математика»;
• «Алгебра і геометрія»;
• «Лінгвостатистика»
• «Комп'ютерна лінгвістика»;
• «Математичне прогнозування в економіці та бізнесі».

магістрів з Комп'ютерної інженерії та магістрів з Математики.

• «Логічна алгебра».