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