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