Бази даних

Наукова електронна бібліотека - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Реферативна база даних (2)Книжкові видання та компакт-диски (2)
Пошуковий запит: (<.>A=ТАРСК$<.>)
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2

   Тип видання:   наукове видання   
1.

Тарский, А.
Введение в логику и методологию дедуктивных наук [Електронний ресурс] : пер. с англ. / А. Тарский. - М. : ГИИЛ, 1948. - 327 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Книга известного польского математика п логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.



Кл.слова:
математика -- логіка

   Тип видання:   зб. статей   
Категорія: Математика   
2.


Математическая логика и ее применения [Електронний ресурс] : пер. с англ. / под ред.: Э. Нагела, П. Саппса, А. Тарского. - М. : Мир, 1965. - 344 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник включены наиболее интересные доклады по математической логике, теории множеств, теории моделей, теории алгоритмов, основаниям математики и математической лингвистике, не только освещающие последние достижения в данной области науки, но и намечающие задачи и проблематику дальнейших исследований.



Кл.слова:
теорія множин -- теорія алгоритмів -- математична лінгвістика
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського