Пошуковий запит: (<.>K=ЛОГИК$<.>) |
Загальна кількість знайдених документів : 143
Представлено документи з 1 до 20
|
| |
1. |
Клини, С. К. Введение в метаматематику / Клини С.К. - Москва : Ин. лит., 1957. - 526 с. - Б. ц.
Кл.слова: Математическая логика рекурсивные функции метаматематика -- математическая -- логика -- рекурсивные -- функции -- метаматематика |
2. |
Труды Физико-Математического Института имени В.А. Стеклова Т.51: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики. - Москва : Академия наук СССР, 1958. - 362 с. - Б. ц.
Кл.слова: математическая логика кибернетика приложение -- математическая -- логика -- кибернетика -- приложение |
3. |
Труды Физико-Математического Института имени В.А. Стеклова Т.52: Проблемы конструктивного направления в математике.1 / Шанин Н.А. . - Москва : Академия наук СССР, 1958. - 348 с. - Б. ц.
Кл.слова: математическая логика теория алгорифмов ассоциативных исчислений математический анализ -- математическая -- логика -- теория -- алгорифмов -- ассоциативных -- исчислений -- математический -- анализ Дод. точки доступу: Шанин, Н. А.
|
4. |
Успенский, В. А. Лекции о вычислительных функциях / Успенский В.А. - Москва : Физматгиз, 1960. - 492 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Вычислительные функции лекции теория множества -- вычислительные -- функции -- лекции -- теория -- множества |
5. |
Чёрч, А. Введение в математическую логику. Т.1 / Чёрч А. - Москва : Ин. лит., 1960. - 484 с. - Б. ц.
Кл.слова: Математическая логика -- математическая -- логика |
6. |
Беркли, Э. Символическая логика и разумные машины / Беркли Э. - Москва : Ин. лит., 1961. - 260 с. - Б. ц.
Кл.слова: Логика уравнение математическая символическая человеческое мышление -- логика -- уравнение -- математическая -- символическая -- человеческое -- мышление |
7. |
Ван Аксиоматические системы теории множеств / Ван Хао, Мак-Нотон Р. - Москва : Ин. лит., 1963. - 52 с. - (Б-ка сб. "Математика"). - Б. ц.
Кл.слова: Теория множеств математическая логика -- теория -- множеств -- математическая -- логика Дод. точки доступу: Мак-Нотон, Р.
|
8. |
Труды Математического Института им. В.А. Стеклова. Т. 72: Проблемы конструктивного направления в математике - 3. - Москва : Изд-во Академии наук СССР, 1964. - 544 с. - Б. ц.
Кл.слова: Марков теория алгорифмов и исчислений математический анализ логика -- марков -- теория -- алгорифмов -- и -- исчислений -- математический -- анализ -- логика |
9. |
Калужнин, Л. А. Что такое математическая логика? / Калужнин Л.А. - Москва : Наука, 1964. - 149 с. - Б. ц.
Кл.слова: Математическая логика -- математическая -- логика |
10. |
Алгебра и математическая логика. Алгебраические исследования: межвед. сб. - Киев : КГУ, 1966. - 139 с. - Б. ц.
Кл.слова: Математическая логика абелевы группы модули локально-нормальные -- математическая -- логика -- абелевы -- группы -- модули -- локально -- нормальные |
11. |
Френкель, А. А. Основания теории множеств / Френкель А.А., Бар-Хиллел И. - Москва : Мир, 1966. - 552 с. - Б. ц.
Кл.слова: Множества математическая логика -- множества -- математическая -- логика Дод. точки доступу: Бар-Хиллел, И.
|
12. |
Логическая семантика и модальная логика / Таванец П.В. - Москва : Наука, 1967. - 276 с. - Б. ц.
Кл.слова: Логическая семантика модальная логика философия -- логическая -- семантика -- модальная -- логика -- философия Дод. точки доступу: Таванец, П. В.
|
13. |
Петров, Ю. А. Логические проблемы абстракций бесконечности и осуществимости / Петров Ю.А. - Москва : Наука, 1967. - 158 с. - Б. ц.
Кл.слова: Абстракция бесконечности осуществимости логика кибернетика -- абстракция -- бесконечности -- осуществимости -- логика -- кибернетика |
14. |
Математическая теория логического вывода: сборник переводов. - Москва : Наука, 1967. - 351 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Математическая логика логические выводы теорема Эрбрана -- математическая -- логика -- логические -- выводы -- теорема -- эрбрана |
15. |
Робинсон, А. Введение в теорию моделей и метаматематику алгебры / Робинсон А. - Москва : Наука, 1967. - 376 с. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Математическая логика теория идеалов многообразий -- математическая -- логика -- теория -- идеалов -- многообразий |
16. |
Николау, Э. Введение в кибернетику / Николау Э. - Москва : Мир, 1967. - 192 с. - Б. ц.
Кл.слова: Кибернетика теория множеств математическая логика булевая алгебра -- кибернетика -- теория -- множеств -- математическая -- логика -- булевая -- алгебра |
17. |
Труды Математического Института им. В.А. Стеклова. Т. 93: Проблемы конструктивного направления в математике. 4 . - Москва : Наука, 1967. - 267 с. - Б. ц.
Кл.слова: Математическая логика конструктивная математика теория алгорифмов анализ -- математическая -- логика -- конструктивная -- математика -- теория -- алгорифмов -- анализ |
18. |
Лакатос, И. Доказательства и опровержения: как доказываются теоремы / Лакатос И. - Москва : Наука, 1967. - 152 с. - Б. ц.
Кл.слова: Математическая логика теоремы доказательства -- математическая -- логика -- теоремы -- доказательства |
19. |
Философская энциклопедия. Т. 4 : Наука логики - Сигети / Константинов Ф.В. - Москва : Сов. Энциклопедия, 1967. - 589 с. - Б. ц.
Кл.слова: Философия энциклопедия -- философия -- энциклопедия Дод. точки доступу: Константинов, Ф. В.
|
20. |
Стяжкин, Н. И. Формирование математической логики / Стяжкин Н.И. ; Субботин А.Л. - Москва : Наука, 1967. - 508 с. - Б. ц.
Кл.слова: Математическая логика доказательства конструктивная математика -- математическая -- логика -- доказательства -- конструктивная -- математика Дод. точки доступу: Субботин, А. Л.
|
| |