Пошуковий запит: (<.>U=В124<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
1.  |
ДС63406
 Шрамко, Ярослав Владиславович.
Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-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 с. - (На допомогу студентам та викладачам). - Альтернативное название : Математична індукція. - ISBN 966-529-020-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Український державний педагогічний ун-т імені М. П. Драгоманова
Видання зберігається у :
Основний фонд
|
| 6. |
ВА703449
Кондратенко, Виктория Александровна.
Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Текст] : методические указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. - К. : Полиграфкнига, 2006. - 80 с. - Библиогр.: с. 77. - ISBN 966-530-081-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кондратенко, Александр Иванович
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
| 7. |
Глушков В.М./ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 8. |
Глушков В.М./Р85
Маккарти, Джон.
Крепкий орешек для процедур доказательств [Текст] / Джон Маккарти ; Ин-т кибернетики АН УССР, Отд. научно-техн. информации. - К. : ИК АН УССР, 1966. - 5 с. : рис. - (Станфордский проект искусственного интелекта = Stanford Artificial Intelligence Project ; № 16). - Пер. изд. : A tougn nut for proof procedures / John McCarthyРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
McCarthy, John; Академия наук Украинской ССР (Киев); Институт кибернетики. Отдел научно-технической информации
Видання зберігається у :
Основний фонд
|
| 9. |
Глушков В.М./ВА559
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств [Текст] / А. Г. Драгалин. - М. : Наука, 1979. - 256 с. - (Математическая логика и основания математики). - Бібліогр.: с. 240-250. - 6700 прим.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 10. |
Глушков В.М./ВА778
Лакатос, И.
Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - М. : Наука, 1967. - 151 с. : рис. - Бібліогр.: с. 146-151. - 70000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Веселовский, И. Н. (пер.); Академия наук СССР
Видання зберігається у :
Основний фонд
|
| 11. |
Глушков В.М./ВА875
Такеути, Г.
Теория доказательств [Текст] / Г. Такеути ; пер. с англ. С. К. Соболева ; под. ред. С. И. Адяна. - М. : Мир, 1978. - 412 с. - Пер. изд. : Proof Theory / Gaisi Takeuti. - New York a.o., 1975. - 14 000 прим.
Парал. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Соболев, С. К. (пер.); Адян, С. И. (ред. пер.); Takeuti, Gaisi
Видання зберігається у :
Основний фонд
|
| 12. |
В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Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
University of Tartu. Department of mathematics
Видання зберігається у :
|
| 13. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача