Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=ТАРСК$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | Тип видання: наукове видання | | |
1. |
Тарский, А. Введение в логику и методологию дедуктивных наук [Електронний ресурс] : пер. с англ. / А. Тарский. - М. : ГИИЛ, 1948. - 327 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга известного польского математика п логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.
Кл.слова: математика -- логіка
| | Тип видання: зб. статей | | |
2. |
Математическая логика и ее применения [Електронний ресурс] : пер. с англ. / под ред.: Э. Нагела, П. Саппса, А. Тарского. - М. : Мир, 1965. - 344 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории алгоритмов, основаниям математики и математической лингвистике, не только освещающие последние достижения в данной области науки, но и намечающие задачи и проблематику дальнейших исследований.
Кл.слова: теорія множин -- теорія алгоритмів -- математична лінгвістика
| |
|
|