Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 34
Представлено документи з 1 до 20
|
| |
1. |
Тарєлкін Ю. П. Основи формальної логіки : Навч. посіб. для студ. гуманіт. спец. вузів. — Суми, 1998
|
2. |
Любченко К. М. Елементи математичної логіки з комп'ютерною підтримкою : Посіб. для вчителів. — Черкаси, 2004
|
3. |
Зыков А. А. Логико-философское введение в высшую математику : Учеб. пособие. — О.: Астропринт, 2003
|
4. |
Якимова Н. А. Математическая логика : Курс лекций для студ. — О.: Астропринт, 2004
|
5. |
Нікітченко М. С. Математична логіка : Навч. посіб. — К., 2003
|
6. |
Гладунський В. Н. Вища математика й елементи логіки. Означення, формули, приклади : навч. посіб. — 2-ге вид., доповн. — Л.: Афіша, 2008
|
7. |
Шушура А. Н. Логика в системах искусственного интеллекта : метод. вказівки до лекцій. — 2-е вид. — Донецьк: ІПШІ "Наука і освіта", 2004
|
8. |
Прийма С. М. Математичниа логіка і теорія алгоритмів : навч. посіб. — Мелітополь: Вид. б. ММД, 2008
|
9. |
Євладенко В. М. Математична логіка та теорія алгоритмів : навч.-метод. посіб. — Кіровоград: КОД, 2009
|
10. |
Московкин В. М. Пьер-Франсуа Верхульст - забытый первооткрыватель закона логистического роста и один из основателей экономической динамики. — 2003 // Наука та наукознавство.
|
11. |
Брусенцов Н. П. Интеллектуализация математической логики. — 2006 // Искусств. интеллект.
|
12. |
Воронцов К. В. Эмпирические оценки локальной функции роста в задачах поиска логических закономерностей. — 2006 // Искусств. интеллект.
|
13. |
Ройбул П. А. Подобие формул взаимных индуктивностей. — 2009 // Залізн. трансп. України.
|
14. |
Шукурян А. С. Эквивалентность регулярных выражений в частично коммутативном алфавите. — 2009 // Кибернетика и систем. анализ.
|
15. |
Кондратенко Н. Р. Комп'ютерний практикум з математичної логіки. — Вінниця: ВНТУ, 2010
|
16. |
Шкільняк С. С. Математична логіка. Основи теорії алгоритмів : навч. посіб. — К.: Персонал, 2009
|
17. |
Сінько Ю. І. Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій : автореф. дис... канд. пед. наук : 13.00.02. — Херсон, 2009
|
18. |
Морозова О. И. Применение ЭВМ для решения задач математической логики и теории алгоритмов : учеб. пособие. — Х., 2010
|
19. |
Makhlaichuk P. V. Dimerization of water molecules. Modeling of the attractive part of the interparticle potential in the multipole approximation // Укр. фіз. журн.. - 2013. - 58, № 3.
|
20. |
Федорук П. І. Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань // Мат. машини і системи. - 2013. - № 1.
|
| |