Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 34
Представлено документи з 1 до 20
|
| |
1. | ВА587117 Тарєлкін Ю. П.Сум. держ. пед. ін-т. Основи формальної логіки [Текст] : Навч. посіб. для студ. гуманіт. спец. вузів
|
2. | ВА651835 Любченко К. М.Черкас. нац. ун-т ім. Б.Хмельницького. Елементи математичної логіки з комп'ютерною підтримкою [Текст] : Посіб. для вчителів
|
3. | ВА653175 Зыков А. А. Логико-философское введение в высшую математику [Текст] : Учеб. пособие
|
4. | ВА653178 Якимова Н. А.Одес. нац. ун-т им. И.И.Мечникова. Математическая логика [Текст] : Курс лекций для студ.
|
5. | ВА651018 Нікітченко М. С.Київ. нац. ун-т ім. Т.Шевченка. Математична логіка [Текст] : Навч. посіб.
|
6. | АО266909 Гладунський В. Н.Львів. ін-т банк. справи Ун-ту банк. справи Нац. банку України. Вища математика й елементи логіки. Означення, формули, приклади [Текст] : навч. посіб.
|
7. | ВА695455 Шушура А. Н.Донец. держ. ін-т штуч. інтелекту. Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій
|
8. | ВА700508 Прийма С. М. Математичниа логіка і теорія алгоритмів [Текст] : навч. посіб.
|
9. | ВА712722 Євладенко В. М.Кіровогр. держ. пед. ун-т ім. В.Винниченка. Математична логіка та теорія алгоритмів [Текст] : навч.-метод. посіб.
|
10. | Ж14597 Московкин В. М. Пьер-Франсуа Верхульст - забытый первооткрыватель закона логистического роста и один из основателей экономической динамики [Текст]: 2 // Наука та наукознавство.-С.75-84
|
11. | Ж15477 Брусенцов Н. П. Интеллектуализация математической логики [Текст]: 2 // Искусств. интеллект.-С.18-20
|
12. | Ж15477 Воронцов К. В. Эмпирические оценки локальной функции роста в задачах поиска логических закономерностей [Текст]: 2 // Искусств. интеллект.-С.281-284
|
13. | Ж15098 Ройбул П. А. Подобие формул взаимных индуктивностей [Текст]: 1 // Залізн. трансп. України.-С.28-30
|
14. | Ж29144 Шукурян А. С. Эквивалентность регулярных выражений в частично коммутативном алфавите [Текст] 45: 3 // Кибернетика и систем. анализ.-С.65-74
|
15. | ВА734436 Кондратенко Н. Р. Комп'ютерний практикум з математичної логіки [Текст]
|
16. | ВА724236 Шкільняк С. С. Математична логіка. Основи теорії алгоритмів [Текст] : навч. посіб.
|
17. | РА367236 Сінько Ю. І.Херсон. держ. ун-т. Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій [Текст] : автореф. дис... канд. пед. наук : 13.00.02.- URL: /ard/2009/
|
18. | ВА726020 Морозова О. И.Нац. аэрокосм. ун-т им. Н.Е.Жуковского"Харьк. авиац. ин-т". Применение ЭВМ для решения задач математической логики и теории алгоритмов [Текст] : учеб. пособие
|
19. | Ж26988 Makhlaichuk P. V. Dimerization of water molecules. Modeling of the attractive part of the interparticle potential in the multipole approximation [] // Український фізичний журнал, 2013. т.Т. 58,N № 3.-С.278-288
|
20. | Ж23045 Федорук П. І. Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань [] // Математичні машини і системи, 2013,N № 1.-С.94-101
|
| |