Реєстрація
Користувач
Пароль
 

Каталоги бібліотек установ Національної академії наук України

Бази даних


Інститут математики - результати пошуку


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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (206)Інститут біохімії імені О. В. Палладіна (2)Інститут економіки та прогнозування (7)Інститут електродинаміки (6)Інститут зоології (4)Інститут літератури імені Т. Г. Шевченка (1)Інститут проблем міцності
імені Г. С. Писаренка (2)
Інститут сходознавства імені А. Ю. Кримського (4)Інститут теоретичної фізики імені М. М. Боголюбова (7)Інститут фізики (1)Інститут фізіології імені О. О. Богомольця (1)Інститут філософії (2)Інституту соціології (6)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>)
Загальна кількість знайдених документів : 27
Представлено документи з 1 до 20
...
1.

Лукасевич, Я.
Аристотелевская силлогистика с точки зрения современной формальной логики : пер. с англ / Я. Лукасевич. - М. : [б. и.], 1959. - 310 с. - Б. ц.
2.

Гутчин, И. Б.
Бионика и надежность : элементы теории формальных нейронов / И. Б. Гутчин, А. С. Кузичев. - М. : [б. и.], 1967. - 280 с. - Б. ц.


Дод. точки доступу:
Кузичев, А.С.
3.

Бухштабер, В. М.
Двузначные формальные группы. Алгебраическая теория и топологические приложения : автореф. дис. ... докт. физ.-мат. наук / В. М. Бухштабер ; МГУ. - М. : [б. и.], 1979. - 15 с. - Б. ц.


Дод. точки доступу:
МГУ
4.

Бухштабер, В. М.
Двузначные формальные группы. Алгебраическая теория и топологические приложения : автореф. дис. ... докт. физ.-мат. наук: 01.01.04 / В. М. Бухштабер ; Тбилисский ГУ. - Тбилиси : [б. и.], 1984. - 19 с. - Б. ц.


Дод. точки доступу:
Тбилисский ГУ
5.

Саломаа, А.
Жемчужины теории формальных языков / А. Саломаа. - Пер. с англ. - М. : [б. и.], 1986. - 159 с. - Б. ц.
6.

Барашко, А. С. АН УССР. Ин-т прикладной математики и механики.
Исследование по теории сложности вычислений и формальным языкам : / А. С. Барашко, В. А. Липская, С. И. Ройзен ; АН УССР., Ин-т прикладной математики и механики. - К.: : [б. и.], 1978. - 173 с. - Б. ц.


Дод. точки доступу:
Липская, В.А.; Ройзен, С.И.
7.

ВИНИТИ.
Исследования по неклассическим логикам и формальным системам : сб. науч. работ / ВИНИТИ. - М.: : [б. и.], 1983. - 359 с. - Б. ц.


Дод. точки доступу:
Михайлов, А.И. ((отв. ред.))
8.

Кузнецов, В. А.
Классическая дескриптивная теория множеств с точки зрения формальной системы ? генценовского типа / В. А. Кузнецов. - К. : [б. и.], 1990. - 63 с. ; (Препр./АН УССР; Институт математики; № 90.40). - Б. ц.
9.

Кузнецов, В. А.
Метод вынуждения с точки зрения формальной системы ... генценовского типа / В. А. Кузнецов. - К. : [б. и.], 1991. - 59 с. ; (Препр./АН УССР; Институт математики; № 91.19). - Б. ц.
10.

Антимиров, В. М.
Методы и средства построения формальных спецификаций : автореф. дис... канд. физ.-мат. наук: 01.01.09 / В. М. Антимиров ; КГУ им. Т.Г. Шевченко. - К. : [б. и.], 1988. - 16 с. - Б. ц.


Дод. точки доступу:
КГУ им. Т.Г. Шевченко
11.

Кузнецов, В. А.
Некоторые вопросы теории множеств с точки зрения формальной системы ? генценовского типа / В. А. Кузнецов. - К. : [б. и.], 1992. - 51 с. ; (Препр./АН Украины; Институт математики; № 92.21). - Б. ц.
12.

Мосеенков, Б. И. АН УССР. Институт математики.
О построении формальных решений для квазиволнового уравнения с нелинейными краевыми условиями и о возможности применения асимптотических методов Крылова-Боголюбова для исследования одночастотных колебаний / Б. И. Мосеенков ; АН УССР. Институт математики. - К. : [б. и.], 1964. - 47 с. - Б. ц.
13.

Крилов, М. М.
Про деякі формальні розклади нелінійної механіки / М. М. Крилов, М. М. Боголюбов. - К. : [б. и.], 1934. - 89 с. - Б. ц.


Дод. точки доступу:
Боголюбов, М.М.
14.

Крилов, М. М.
Про деякі формальні розклади нелінійної механіки / М. М. Крилов, М. М. Боголюбов. - К. : [б. и.], 1934. - 89 с. - Б. ц.


Дод. точки доступу:
Боголюбов, М.М.
15.

АН СССР. Научный совет по комплексной проблеме "Кибернетика".
Проблемы разработки формальной модели языка / АН СССР. Научный совет по комплексной проблеме "Кибернетика". - М. : [б. и.], 1988. - 174 с. - (Вопросы кибернетики : вып.137). - Б. ц.
16.

Павлоцкий, И. П.
Проблемы статистической механики нелагранжевых систем : 1. Формальные решения уравнения Лиувилля / И. П. Павлоцкий. - М. : [б. и.], 1969. - 31 с. ; (Препр./АН СССР; Институт прикладной математики; № 11). - Б. ц.
17.

Беклемишев, Л. Д.
Схемы рефлексии в формальной арифметике : автореф. дис. ... докт. физ.-мат. наук: 01.01.06 / Л. Д. Беклемишев ; РАН. Математический ин-т им. В.А. Стеклова . - М. : [б. и.], 1998. - 19 с. - Б. ц.


Дод. точки доступу:
РАН. Математический ин-т им. В.А. Стеклова
18.

Кузнецов, В. А.
Теория множеств с точки зрения формальной системы генценовского типа / В. А. Кузнецов. - К. : [б. и.], 1990. - 63 с. ; (Препр./АН УССР; Институт математики; № 90.13). - Б. ц.
19.

Гросс, М.
Теория формальных грамматик : пер. с фр. / М. Гросс, А. Лантен ; . - М.: : [б. и.], 1971. - 294 с. : с библ. - Б. ц.


Дод. точки доступу:
Лантен, А.; Гладков, А.В. ((ред.))
20.

Рейуорд-Смит, В. Дж.
Теория формальных языков : вводный курс. Пер. с англ / В. Дж. Рейуорд-Смит. - М. : [б. и.], 1988. - 128 с. - Б. ц.
...
 
Інститут математики

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