Пошуковий запит: (<.>K=ЛОГИК$<.>+<.>K=ПЕРСПЕКТИВ$<.>) |
Загальна кількість знайдених документів : 164
Представлено документи з 1 до 20
|
| |
1. |
Шенфилд, Дж. Степени неразрешимости / Шенфилд Дж. - Москва : Наука, 1977. - 192 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Степени тюринговые неразрешимости математическая логика -- степени -- тюринговые -- неразрешимости -- математическая -- логика |
2. |
Шенфилд, Дж. Математическая логика / Шенфилд Дж. - Москва : Наука, 1975. - 528 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Множества математическая логика -- множества -- математическая -- логика |
3. |
Чёрч, А. Введение в математическую логику. Т.1 / Чёрч А. - Москва : Ин. лит., 1960. - 484 с. - Б. ц.
Кл.слова: Математическая логика -- математическая -- логика |
4. |
Фундаментальні орієнтири науки : Хімія та наукові основи перспективних технологій : збірник статей за матеріалами проектів ДФФД. - Київ : Академперіодика, 2005. - 404 с. - (Б-ка Держ. фонду фундаментальних досліджень). - Б. ц.
Кл.слова: Наука біологія -- наука -- біологія |
5. |
Френкель, А. А. Основания теории множеств / Френкель А.А., Бар-Хиллел И. - Москва : Мир, 1966. - 552 с. - Б. ц.
Кл.слова: Множества математическая логика -- множества -- математическая -- логика Дод. точки доступу: Бар-Хиллел, И.
|
6. |
Фрейденталь, Х. Язык логики / Фрейденталь Х. - Москва : Наука, 1969. - 135 с. - Б. ц.
Кл.слова: Математическая логика -- математическая -- логика |
7. |
Финн, В. К. Логические проблемы информационного поиска / Финн В.К. - Москва : Наука, 1976. - 152 с. - Б. ц.
Кл.слова: Информационный поиск математическая логика -- информационный -- поиск -- математическая -- логика |
8. |
Философские проблемы астрономии ХХ века / Казютинский В.В. и др. - Москва : Наука, 1976. - 480 с. - (Материалист. диалектика - логика и методология современного естествознания). - Б. ц.
Кл.слова: Философские проблемы астрономия методология естествознания -- философские -- проблемы -- астрономия -- методология -- естествознания Дод. точки доступу: Казютинский, В. В.
|
9. |
Философская энциклопедия. Т. 4 : Наука логики - Сигети / Константинов Ф.В. - Москва : Сов. Энциклопедия, 1967. - 589 с. - Б. ц.
Кл.слова: Философия энциклопедия -- философия -- энциклопедия Дод. точки доступу: Константинов, Ф. В.
|
10. |
Философия в современном мире : философия и логика / Таванец П.В., Смирнов В.А. - Москва : Наука, 1974. - 478 с. - Б. ц.
Кл.слова: Философия логика вероятность детерминизм дедуктивный метод -- философия -- логика -- вероятность -- детерминизм -- дедуктивный -- метод Дод. точки доступу: Таванец, П. В.; Смирнов, В. А.
|
11. |
Физика ХХ века : развитие и перспективы : [сб. статей] / Велихов Е.П. и др. - Москва : Наука, 1984. - 281 с. - Б. ц.
Кл.слова: История науки естествознания -- история -- науки -- естествознания Дод. точки доступу: Велихов, Е. П.
|
12. |
Фейс, Р. Модальная логика / Фейс Р. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Модальная логика -- модальная -- логика |
13. |
Успенский, В. А. Что такое нестандартный анализ? / Успенский В.А. - Москва : Наука, 1987. - 128 с. - Б. ц.
Кл.слова: Математическая логика анализ -- математическая -- логика -- анализ |
14. |
Успенский, В. А. Теория алгоритмов: основные открытия и приложения / Успенский В.А., Семенов А.Л, . - Москва : Наука, 1987. - 288 с. - (Б-чка программиста). - Б. ц.
Кл.слова: Математическая логика алгоритмы программирование -- математическая -- логика -- алгоритмы -- программирование Дод. точки доступу: Семенов, А.
|
15. |
Успенский, В. А. Теорема Гёделя о неполноте / Успенский В.А. - Москва : Наука, 1982. - 111 с. - (Попул. лекции по математике. Вып. 57). - Б. ц.
Кл.слова: Теорема Гёделя математическая логика -- теорема -- гёделя -- математическая -- логика |
16. |
Успенский, В. А. Лекции о вычислительных функциях / Успенский В.А. - Москва : Физматгиз, 1960. - 492 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Вычислительные функции лекции теория множества -- вычислительные -- функции -- лекции -- теория -- множества |
17. |
Ультрафиолетовая Вселенная : сб. тр. конференции "Научные перспективы ультрафиолетовой обсерватории "Спектр-УФ", 16-17 ноября 2000 г., Москва, Россия / Шустов Б.М., Вибе Д.З. - Москва : ГЕОС, 2001. - 220 с. - Б. ц.
Кл.слова: Вселенная -- вселенная Дод. точки доступу: Шустов, Б. М.; Вибе, Д. З.
|
18. |
Труды Физико-Математического Института имени В.А. Стеклова Т.52: Проблемы конструктивного направления в математике.1 / Шанин Н.А. . - Москва : Академия наук СССР, 1958. - 348 с. - Б. ц.
Кл.слова: математическая логика теория алгорифмов ассоциативных исчислений математический анализ -- математическая -- логика -- теория -- алгорифмов -- ассоциативных -- исчислений -- математический -- анализ Дод. точки доступу: Шанин, Н. А.
|
19. |
Труды Физико-Математического Института имени В.А. Стеклова Т.51: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики. - Москва : Академия наук СССР, 1958. - 362 с. - Б. ц.
Кл.слова: математическая логика кибернетика приложение -- математическая -- логика -- кибернетика -- приложение |
20. |
Труды Математического Института им. В.А. Стеклова. Т. 98: Логические и логико-математические исчисления. 1. - Москва : Наука, 1968. - 205 с. - Б. ц.
Кл.слова: Математическая логика -- математическая -- логика |
| |