Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 33
Представлено документи з 1 до 20
|
| |
1. |
Steinczinger Z. Comparison of the TIP4P-2005, SWM4-DP and BK3 interaction potentials of liquid water with respect to their consistency with neutron and X-ray diffraction data of pure water // Condensed Matter Physics. - 2013. - 16, № 4.
|
2. |
Makhlaichuk P. V. Dimerization of water molecules. Modeling of the attractive part of the interparticle potential in the multipole approximation // Укр. фіз. журн.. - 2013. - 58, № 3.
|
3. |
Sinko Yu. I. Intersubject connections of course of mathematical logic and other mathematical courses at preparation of future teacher of mathematics // Інформ. технології в освіті : зб. наук. пр. - 2012. - Вип. 11.
|
4. |
Petik Ia. Message-based logic semantics and intentional linguistic semantics of Paul Grice // Humanitarian Vision. - 2022. - 8, № 1.
|
5. |
Федорук П. І. Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань // Мат. машини і системи. - 2013. - № 1.
|
6. |
Гладунський В. Н. Вища математика й елементи логіки. Означення, формули, приклади : навч. посіб. — 2-ге вид., доповн. — Л.: Афіша, 2008
|
7. |
Беркович Є. Л. Групи, породжені скінченними автоматами спеціальних типів : автореф. дис. ... канд. фіз.-мат. наук : 01.01.08. — К., 2012
|
8. |
Кузнєцова О. В. Деякі прийоми викладання логіки у профільних класах гімназії // Дидактика математики: пробл. і дослідж. : зб. наук. пр. - 2006. - Вип. 25.
|
9. |
Любченко К. М. Елементи математичної логіки з комп'ютерною підтримкою : Посіб. для вчителів. — Черкаси, 2004
|
10. |
Брусенцов Н. П. Интеллектуализация математической логики. — 2006 // Искусств. интеллект.
|
11. |
Кондратенко Н. Р. Комп'ютерний практикум з математичної логіки. — Вінниця: ВНТУ, 2010
|
12. |
Шушура А. Н. Логика в системах искусственного интеллекта : метод. вказівки до лекцій. — 2-е вид. — Донецьк: ІПШІ "Наука і освіта", 2004
|
13. |
Зыков А. А. Логико-философское введение в высшую математику : Учеб. пособие. — О.: Астропринт, 2003
|
14. |
Якимова Н. А. Математическая логика : Курс лекций для студ. — О.: Астропринт, 2004
|
15. |
Нікітченко М. С. Математична логіка : Навч. посіб. — К., 2003
|
16. | Математична логіка та програмування. Досвід викладання : монографія. — Одеса: Гельветика, 2022
|
17. |
Євладенко В. М. Математична логіка та теорія алгоритмів : навч.-метод. посіб. — Кіровоград: КОД, 2009
|
18. |
Шаповалов С. П. Математична логіка та теорія алгоритмів : навч. посіб. — Суми, 2014
|
19. |
Шкільняк С. С. Математична логіка. Основи теорії алгоритмів : навч. посіб. — К.: Персонал, 2009
|
20. |
Прийма С. М. Математичниа логіка і теорія алгоритмів : навч. посіб. — Мелітополь: Вид. б. ММД, 2008
|
| |