Пошуковий запит: (<.>U=В124$<.>) |
Загальна кількість знайдених документів : 17
Представлено документи з 1 до 17
|
| 1. | ДС63406 Шрамко Я. В. Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : Дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л.
|
| 2. | РА296010 Мартьянов В. И. Логико- эвристические методы поиска рациональных решений прикладных и теоретических задач [Текст] : Автореф. дис... д-ра физ.-мат. наук: 05.13.16 / Мартьянов Владимир Иванович. - Иркутск, 1996. - 26 с.
|
| 3. | РА281131 Романенко І. Б. Машинні методи побудови виведення у деяких некласичних численнях [Текст] : Автореф.дис.канд.техн.наук:05.25.05 / Романенко Ігор Борисович ; АН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1993. - 15 с.
|
| 4. | РА299626 Шрамко Я. В. Логічне слідування і інтуїціонізм (проблема релевантизації інтуїціоністської логіки) [Текст] : Автореф. дис... д-ра філос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; НАН України, Ін-т філософії ім. Г. С. Сковороди. - К., 1998. - 42 с.
|
| 5. | Р80129 Шевченко А. В. Метод математичної індукції [Текст] / А. В. Шевченко ; Український держ. педагогічний ун-т ім. М.П.Драгоманова. - К. : Четверта хвиля, 1996. - 48 с. - (На допомогу студентам та викладачам)
|
| 6. | Р91888 Насибуллов Х. Х. Анализ теорем. Способы доказательства теорем [Текст] : Учеб.-метод. пособие / Х. Х. Насибуллов. - Уфа : Башгоспедуниверситет, 2000. - 35 с.: ил.
|
| 7. | ВА619982 Насибуллов Х. Х. Анализ теорем. Способы доказательства теорем [Текст] : Учеб.-метод. пособие / Х. Х. Насибуллов ; Башкирский гос. педагогический ун-т. - Уфа : БГПУ, 2001. - 57 с.
|
| 8. | ВА703449 Кондратенко В. А. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Текст] : Методические указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. - К. : Полиграфкнига, 2006. - 80 с.
|
| 9. | Глушков В.М./ІВ38 Ackermann W. Solvable cases of the decision problem [Текст] / by W. Ackermann. - Amsterdam : North-Holland, 1954. - VIII, 114 p. - (Studies in logic and foundations of mathematics)
|
| 10. | Глушков В.М./Р85 Маккарти Д. Крепкий орешек для процедур доказательств [Текст] / Джон Маккарти ; Ин-т кибернетики АН УССР, Отд. научно-техн. информации. - К. : ИК АН УССР, 1966. - 5 с. : рис. - (Станфордский проект искусственного интелекта = Stanford Artificial Intelligence Project ; № 16)
|
| 11. | Глушков В.М./ВА559 Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств [Текст] / А. Г. Драгалин. - М. : Наука, 1979. - 256 с. - (Математическая логика и основания математики)
|
| 12. | Глушков В.М./ВА778 Лакатос И. Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - М. : Наука, 1967. - 151 с. : рис.
|
| 13. | Глушков В.М./ВА875 Такеути Г. Теория доказательств [Текст] / Г. Такеути ; пер. с англ. С. К. Соболева ; под. ред. С. И. Адяна. - М. : Мир, 1978. - 412 с.
|
| 14. | Глушков В.М./ВА1176 Автоматизация поиска доказательства теорем в математике [Текст] / АН УССР, Науч. совет по проблеме "Кибернетика", Ин-т кибернетики ; [отв. ред. Ю. В. Капитонова]. - К. : [б. и.], 1974. - 110 с.
|
| 15. | В275099/MАt.13 Tupailo S. Hilbert's epsilon-symbol in predicative subsystems of analysis [Текст] : Diss. / S. Tupailo ; University of Tartu. Department of mathematics. - Tartu : [б.в.], 1996. - 132 p. - (Dissertationes mathematicae univ. Tartuensis ; mat. 13)
|
| 16. | ІВ203825 Sierocki I. Metodologiczna analiza identyfikacji czarnej skrzynki. Indukcyjna inferencja zachowań i ięzyków regularnych [Текст] / I. Sierocki. - Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2004. - 170 s.
|
| 17. | СО31266 Скафа О. І. Робочий зошит за темою "Математичні твердження і методи їх доведення" [Текст] : навч. посіб. / О. І. Скафа, І. В. Гончарова, Ю. Г. Тимко ; Донец. нац. ун-т, Ф-т математики та інформ. технологій. - Донецьк : ДонНУ, 2012. - 50 с. : рис., табл. - (Професійно орієнтований евристичний курс "Методика навчання математики: загальна методика")
|
Простий пошук
Віртуальна довідка