Пошуковий запит: (<.>K=ЛОГИЧЕСК$<.>) |
Загальна кількість знайдених документів : 35
Представлено документи з 1 до 20
|
| |
1. |
Шанин, Н. А. Труды Физико-Математического Института имени В.А. Стеклова Т.43: О некоторых логических проблемах арифметики / Шанин Н.А. - Москва : Академия наук СССР, 1955. - 111 с. - Б. ц.
Кл.слова: Арифметика логические проблемы -- арифметика -- логические -- проблемы |
2. |
Математическая теория логического вывода: сборник переводов. - Москва : Наука, 1967. - 351 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Математическая логика логические выводы теорема Эрбрана -- математическая -- логика -- логические -- выводы -- теорема -- эрбрана |
3. |
Логическая семантика и модальная логика / Таванец П.В. - Москва : Наука, 1967. - 276 с. - Б. ц.
Кл.слова: Логическая семантика модальная логика философия -- логическая -- семантика -- модальная -- логика -- философия Дод. точки доступу: Таванец, П. В.
|
4. |
Петров, Ю. А. Логические проблемы абстракций бесконечности и осуществимости / Петров Ю.А. - Москва : Наука, 1967. - 158 с. - Б. ц.
Кл.слова: Абстракция бесконечности осуществимости логика кибернетика -- абстракция -- бесконечности -- осуществимости -- логика -- кибернетика |
5. |
Труды Математического Института им. В.А. Стеклова. Т. 98: Логические и логико-математические исчисления. 1. - Москва : Наука, 1968. - 205 с. - Б. ц.
Кл.слова: Математическая логика -- математическая -- логика |
6. |
Папернов, А. А. Логические основы цифровых машин и программирования учеб. пособие. - 2-е изд., перераб. / Папернов А.А. - Москва : Наука, 1968. - 591 с. - Б. ц.
Кл.слова: Цифровые машины АЛГОЛ программирование -- цифровые -- машины -- алгол -- программирование |
7. |
Кедров, Б. М. Три аспекта атомистики. Т.1: Парадокс Гиббса. Логический аспект / Кедров Б.М. - Москва : Наука, 1969. - 294 с. - Б. ц.
Кл.слова: атомистика парадокс Гиббса -- атомистика -- парадокс -- гиббса |
8. |
Исследование логических систем: [сб. статей] / Таванец П.В. - Москва : Наука, 1970. - 334 с. - Б. ц.
Кл.слова: Математическая логика логические системы -- математическая -- логика -- логические -- системы Дод. точки доступу: Таванец, П. В.
|
9. |
Кондаков, Н. И. Логический словарь / Кондаков Н.И. ; Горский Д.П. - Москва : Наука, 1971. - 655 с. - Б. ц.
Кл.слова: Философия логика словарь -- философия -- логика -- словарь Дод. точки доступу: Горский, Д. П.
|
10. |
Шрейдер, Ю. А. Равенство, сходство, порядок / Шрейдер Ю.А. - Москва : Наука, 1971. - 254 с. - Б. ц.
Кл.слова: Бинарные отношения логические основы -- бинарные -- отношения -- логические -- основы |
11. |
Кондаков, Н. И. Логический словарь-справочник. - 2-е изд., испр. и доп. / Кондаков Н.И. ; Горский Д.П. - Москва : Наука, 1971. - 717 с. - Б. ц.
Кл.слова: Философия логика словарь -- философия -- логика -- словарь Дод. точки доступу: Горский, Д. П.
|
12. |
Труды Математического Института им. В.А. Стеклова Т. 121: Логические и логико-математические исчисления. 2. - Ленинград : Наука, 1972. - 166 с. - Б. ц.
Кл.слова: Исчисления классические предикатов -- исчисления -- классические -- предикатов |
13. |
Зиновьев, А. А. Логическая физика / Зиновьев А.А. - Москва : Наука, 1972. - 191 с. - Б. ц.
Кл.слова: Логическая физика логика пространство время движение философские проблемы -- логическая -- физика -- логика -- пространство -- время -- движение -- философские -- проблемы |
14. |
Стэбли, Д. Логическое программирование в системе / 360 / Д. Стэбли ; Стэбли Д. - Москва : Мир, 1974. - 752 с. - Б. ц.
Кл.слова: Программирование система 360 -- программирование -- система |
15. |
Финн, В. К. Логические проблемы информационного поиска / Финн В.К. - Москва : Наука, 1976. - 152 с. - Б. ц.
Кл.слова: Информационный поиск математическая логика -- информационный -- поиск -- математическая -- логика |
16. |
Грунд, Ф. Программирование на языке Фортран IV / Грунд Ф. - Москва : Мир, 1976. - 184 с. - (Математ. обеспечение ЭВМ). - Б. ц.
Кл.слова: Программирование Фортран IV операторы перехода логические ввода цикла -- программирование -- фортран -- iv -- операторы -- перехода -- логические -- ввода -- цикла |
17. |
Рвачев, В. Л. Алгебро-логические и проекционные методы в задачах теплообмена / Рвачев В.Л., Слесаренко А.П. - Киев : Наукова думка, 1978. - 139 с. - Б. ц.
Кл.слова: Теплопроводность температурные поля краевые задачи -- теплопроводность -- температурные -- поля -- краевые -- задачи Дод. точки доступу: Слесаренко, А. П.
|
18. |
Бизам, Д. Многоцветная логика: 175 логических задач / Бизам Д., Герцег Я. - Москва : Мир, 1978. - 435 с. - Б. ц.
Кл.слова: Логика математическая занимательная математика задачи решения -- логика -- математическая -- занимательная -- математика -- задачи -- решения Дод. точки доступу: Герцег, Я.
|
19. |
Ирина, В. Р. В мире научной интуиции: интуиция и разум / Ирина В.Р., Новиков А.А. - Москва : Наука, 1978. - 192 с. - (Проблемы науки и тех. прогресса). - Б. ц.
Кл.слова: Научная интуиция разум логическое познание -- научная -- интуиция -- разум -- логическое -- познание Дод. точки доступу: Новиков, А. А.
|
20. |
Стэбли, Д. Логическое программирование в системе / 360 / Д. Стэбли ; Стэбли Д. - Москва : Мир, 1979. - 752 с. - Б. ц.
Кл.слова: Программирование система 360 -- программирование -- система |
| |