Список библиографических записей

  1. Воронцов Владимир Александрович.
    Фундаментальная система языка и ее использование в семантических исследованиях / В. А. Воронцов ; Институт истории АН РТ, Казанский институт евразийских и международных исследований, Институт международных отношений, истории и востоковедения - Казанский (Поволжский) федеральный университет. - Казань : Логос-Пресс, 2024. - 198 с. : ил. - Библиогр.: с. 181-183. - ISBN 978-5-00205-069-7 : 400.00.
    Ш100.6 - В 75
    СиглаКол-во
    к92
  2. Целищев Виталий Валентинович.
    Алгоритмический ум : Ментализм vs Механизм в философии математики / В. В. Целищев. - Москва : Канон-плюс, 2023. - 511 с. - (Библиотека аналитической философии). - ISBN 978-5-88373-771-7 : 700.00.
    В12 - Ц 34
    СиглаКол-во
    к31
  3. Варьяш Александр Игнатьевич.
    Логика и диалектика : Диалектическое учение о понятии, суждении и умозаключении. Индукция и индуктивный метод. Законы формальной логики. Общие законы диалектики. / А. И. Варьяш. - Изд. 2-е, стер. - Москва : ЛЕНАНД, 2023. - 516 с. - (Из наследия мировой философской мысли: логика) (Размышления о марксизме. К 150-летию со дня рождения А. А. Богданова (1873-1928) ; № 318). - ISBN 978-5-9710-5704-8 : 560.00.
    Ю4 - В 18
    СиглаКол-во
    к91
  4. Лосев Алексей Федорович.
    Введение в общую теорию языковых моделей / Лосев Алексей Федорович; под ред. И. А. Василенко. - Изд. 3-е. - Москва : URSS : Едиториал УРСС, 2010. - 293, [1] с. - (История лингвофилософской мысли). - Библиогр.: с. 279-291 и в подстроч. примеч. - ISBN 978-5-354-01259-6 : 243.50.
    Ш1в631 - Л 79
    СиглаКол-во
    к41
  5. Драгалин Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
    В12 - Д72
    СиглаКол-во
    к31
  6. Ramsey Frank Plumpton (1903-1930).
    The foundations of mathematics and other logical essays / Ramsey Frank Plumpton; by Frank Plumpton Ramsey ; ed. by R. B. Braithwaite ; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - XVIII, 292 p. : ill. ; 23 cm. - (The International library of philosophy.) ( ; [vol.] 5). - Bibliogr.: p. XV-XVI. - ISBN 0-415-22575-2 : 5038.00.
    В12 - R19
    СиглаКол-во
    к91
  7. Maas Utz.
    Grundstrukturen der deutschen Orthographie : Ein Arbeitspapier / Maas Utz; U. Maas; Univ. Osnabrueck. - Osnabrueck, 1997. - 38 S. - (Computerbasierte Modellirung orthographischer Prozesse). - 3.47.
    Ш11 - М11
    СиглаКол-во
    к91
  8. Петров Василий Викторович.
    Обработка языка и логика предикатов / Петров Василий Викторович, Переверзев Василий Николаевич; отв. ред. В. В. Целищев. - Новосибирск : Новосибирский государственный университет, 1993. - 156,[1] с. - Библиогр.: с.152-157. - ISBN 5-7615-0114-7 : 9.30.
    Ш11 - П30
    СиглаКол-во
    к91
  9. Кибрик Александр Евгеньевич.
    Очерки по общим и прикладным вопросам языкознания : (Универс., типовое и специфич. в яз.) / Кибрик Александр Евгеньевич. - Москва : Изд-во Моск. ун-та, 1992. - 335 с. - Библиогр.: с.324-333. - ISBN 5-211-01538-Х : 25.00.
    Ш10 - К38
    СиглаКол-во
    к91
  10. Конструкции в алгебре и логике : сб. науч. тр. / Твер. гос. ун-т ; [редкол.: Ю. М. Горчаков (отв. ред.) и др.]. - Тверь : Тверской государственный университет, 1990. - 132 с. : ил. - 8.25.
    В12 - К65
    СиглаКол-во
    к36
  11. Структурно-семантические и прикладные исследования : Романо-герм. филология : Межвуз. сб. / Молд. гос. ун-т им. В. И. Ленина; [Редкол.: Чинчлей Г. С. (отв. ред.) и др.]. - Кишинев : Штиинца, 1990. - 139,[1] с. ; 21 см. - Библиогр. в конце ст. - ISBN 5-376-00733-2 : 1.80.
    Ш12 - С87
    СиглаКол-во
    к92
  12. Дюбуа Дидье.
    Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
    В12 - Д95
    СиглаКол-во
    к32
  13. Алгебро-логические конструкции : сборник научных трудов / Калинин. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Калинин : Калининский государственный университет, 1989. - 121 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00.
    В12 - А45
    СиглаКол-во
    к35
  14. Новое в зарубежной лингвистике : [сборник статей : перевод с английского]. Вып. 24 : Компьютерная лингвистика / сост., ред. и вступ. ст. Б. Ю. Городецкого. - Москва : Прогресс, 1989. - 428, [3] с. - Библиогр.: с.407-422. - Вспом. указ.: с. 423-429. - 2.50.
    Ш1я5 - Н74
    СиглаКол-во
    к41
    к91
    Всего: 2
  15. Осуга Сэцуо.
    Обработка знаний / Осуга Сэцуо; пер. с яп. В. И. Этова. - Москва : Мир, 1989. - 292 с. : ил. ; 20 см. - На обл. авт. не указан. - Предм. указ.: с. 286-290. - ISBN 5-03-000638-9 : 1.10.
    З81 - О-79
    СиглаКол-во
    к32
  16. Естественный язык, искусственные языки и информационные процессы в современном обществе / [Р. Г. Котов, С. Е. Никитина, Н. В. Васильева и др.]; Отв. ред. Р. Г. Котов; АН СССР, Ин-т языкознания ; Ин-т языкознания АН СССР. - Москва : Наука, 1988. - 174,[2] с. ; 21 см. - Авт. указаны на обороте тит. л. - Библиогр.: с. 169-175. - ISBN 5-02-010877-4 : 2.70.
    Ш1 - Е86
    СиглаКол-во
    к91
  17. Арапов Михаил Викторович.
    Квантитативная лингвистика / Арапов Михаил Викторович; отв. ред. Ю. Н. Караулов ; АН СССР, ВИНИТИ. - Москва : Наука, 1988. - 183, [2] с. : ил. ; 22 см. - Библиогр.: с. 180-184 (161 назв.). - ISBN 5-02-010868-5 : 2.50.
    Ш1в6 - А 79
    СиглаКол-во
    к91
  18. Успенский Владимир Андреевич.
    Что такое нестандартный анализ? / Успенский Владимир Андреевич. - Москва : Наука, 1987. - 128 с. : ил. ; 20 см. - Документ создан на книгу, но есть еще "Электронный ресурс". - Извлечено из: Математический анализ-II. - М. 2005. - (Электронный ресурс). - Библиогр.: с. 125-128 (71 назв.). - 0.20.
    В12 - У 77
    СиглаКол-во
    к32
  19. Логические методы построения эффективных алгоритмов : межвед. темат. сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: М. И. Канович (отв. ред.) и др.]. - Калинин : КГУ, 1986. - 137, [2] с. : ил. - Библиогр. в конце ст. - 1.00.
    В12 - Л69
    СиглаКол-во
    к35
  20. Лекомцев Юрий Константинович.
    Введение в формалный язык лингвистики / Лекомцев Юрий Константинович; отв. ред. А. А. Зализняк ; Акад. наук СССР, Ин-т востоковедения. - Москва : Наука, 1983. - 264 с. : ил. - Библиогр.: с. 257-260 (139 назв.). - Библиогр.: с. 257-261. - 80.00.
    Ш1в623 - Л 43
    СиглаКол-во
    к91
  21. Математическая логика, математическая лингвистика и теория алгоритмов : сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол: Гладкий А. В. (отв. ред.) и др.]. - Калинин : КГУ, 1983. - 115, [1] с. - Библиогр. в конце ст. - 1.00.
    В12 - М34
    СиглаКол-во
    к34
  22. Новое в зарубежной лингвистике : [Сб. ст. : Переводы]. Вып. 12 : Прикладная лингвистика / Сост. В.А. Звегинцева; Пер. с англ. под ред. и с предисл. Б.Ю. Городецкого. - Москва : Радуга, 1983. - 459,[2] с. : ил. - Библиогр. в конце ст. - Указ. предм., имен.: с.450-460. - 6003.00.
    4 - Н74
    СиглаКол-во
    к41
    к92
    Всего: 3
  23. Гильберт Давид.
    Основания математики : теория доказательств / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Москва : Наука, 1982. - 652, [1] с. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik. 2 / D. Hilbert, P. Bernays (Berlin [u. a.] 1970). - Алф. указ.: с. 647-652. - 3.40.
    В12 - Г47
    СиглаКол-во
    к31
  24. Гильберт Давид.
    Основания математики : логические исчисления и формализация арифметики / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Изд. 2-е. - Москва : Наука, 1982. - 556, [1] с. : ил. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik. 1 / D. Hilbert, P. Bernays (Berlin [u. a.], 1968). - Алф. указ.: с. 551-557. - .
    В12 - Г47
    СиглаКол-во
    к31
  25. Математическая логика и математическая лингвистика : межвуз. темат. сб. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: Гладкий А. В. (отв. ред.) и др.]. - Калинин : КГУ, 1981. - 169, [3] с. - Библиогр. в конце ст. - 1.30.
    В12 - М34
    СиглаКол-во
    к33
  26. Бахарев Александр Иванович.
    Отрицание в логике и грамматике / Бахарев Александр Иванович; А. И. Бахарев. - Саратов : Саратовский гос. ун-т, 1980. - 75, [4] с. : ил. - Библиогр. в подстроч. примеч. - 0.60.
    В12 - Б30
    СиглаКол-во
    к31
  27. Математическая лингвистика и теория алгоритмов : Межвуз. тем. сб. / Калинин. гос. ун-т; [Редкол.: Гладкий А.В. (отв. ред.) и др.]. - Калинин : Изд-во Калинин. ун-та, 1978. - 154,[1] с. - Библиогр. в конце ст. - 9.07.
    40 - М34
    СиглаКол-во
    к31
    к92
    Всего: 3
  28. Калужнин Лев Аркадьевич.
    Элементы теории множеств и математической логики в школьном курсе математики : Пособие для учителей / Калужнин Лев Аркадьевич; Л.А. Калужнин. - Москва : Просвещение, 1978. - 87 с. : ил. - Библиогр.: с.85-86. - 1.50.
    51(07) - К17
    СиглаКол-во
    к32
  29. Автоматический анализ текстов : (сборник научных трудов) / М-во высш. и сред. спец. образования БССР, Минск. гос. пед. ин-т иностр. яз. ; [отв. ред. А. В. Зубов]. - Минск : Минский государственный педагогический институт иностранных языков, 1976. - 198 с. : табл. - Библиогр. в конце ст. и в подстроч. примеч.
    40 - А 22
    СиглаКол-во
    к41
  30. Сухотин Борис Викторович.
    Оптимизационные методы исследования языка / Сухотин Борис Викторович; [Отв. ред. А.А. Зализняк]; АН СССР. Ин-т рус. яз. ; Ин-т рус. яз. АН СССР. - Москва : Наука, 1976. - 168,[2] с. - Библиогр.: с.168-169. - 10.63.
    40 - С91
    СиглаКол-во
    к41
    к91
    Всего: 2
  31. Исследования по структурной и прикладной лингвистике : [Сб. ст. / Под общ. ред. В.А. Звегинцева]. - Москва : Изд-во Моск. ун-та, 1975. - 181,[2] с. : табл. - (Публ. отд-ния структур. и прикл. лингвистики / МГУ им. М.В. Ломоносова, Филол. фак.) ( ; Вып. 7). - 1.02.
    Ш1в663 - И88
    СиглаКол-во
    к91
  32. Арапов Михаил Викторович.
    Математические методы в исторической лингвистике / Арапов Михаил Викторович, Херц Маиса Марковна; [Отв. ред. А.Д. Венцель]; АН СССР. ВИНИТИ ; ВИНИТИ АН СССР. - Москва : Наука, 1974. - 166,[1] с. - Библиогр.: с.163-165. - 8.82.
    40-02 - А79
    СиглаКол-во
    к91
  33. Теория языка и инженерная лингвистика : сборник научных работ / Ленингр. гос. пед. ин-т ; [науч. ред. В. П. Григорьев]. - Ленинград : Ленинградский государственный педагогический институт, 1973. - 165,[2] c. : табл. - Библиогр. в подстроч. примеч. - 0.75.
    40 - Т 33
    СиглаКол-во
    к92
  34. Расева Елена.
    Математика метаматематики / Расева Елена, Сикорский Роман; Пер. с англ. В.А. Янкова. - Москва : Наука, 1972. - 591 с. - (Мат. логика и основания математики). - Библиогр.: с.568-578. - Имен., предм. указ.: с.581-590. - 39.00.
    517.21 - Р24
    СиглаКол-во
    к33
  35. Вагнер Г.
    Основы исследования операций : в 3 т. Т. 1 / Г. Вагнер; пер. с англ. Б. Т. Вавилова. - Москва : Мир, 1972. - 335, [1] с. : ил. - Перевод изд.: Principles of operations research / H. M. Wagner (New Jersey, 1969). - Библиогр.: с. 330-332.
    517.8 - В 12
    СиглаКол-во
    к32
  36. Mathematik und Dichtung : Versuche zur Frage einer exakten Literaturwissenschaft / Hrsg.: R. Gunzenhaeuser, H. Kreuzer. - 3. durchges. Aufl. - Muenchen : Nymphenburger, 1969. - 363,[1] p. - (Samml. Dialog). - Bibliogr.: p.347-364. - 34.04.
    Ш401.1 - M39
    СиглаКол-во
    к31
  37. Севбо Ирина Платоновна.
    Структура связного текста и автоматизация реферирования / Севбо Ирина Платоновна; [Отв. ред. С. К. Шаумян; АН СССР, Науч. совет по комплекс. пробл. "Кибернетика]. - Москва : Наука, 1969. - 134,[1] с. : ил., табл. - 8.50.
    40-064 - С28
    СиглаКол-во
    к41
    к93
    Всего: 4
  38. Автоматизация в лингвистике : сборник статей, переведенных с английского, французского, немецкого и чешского языков / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; [ред. и сост. Л. Н. Засорина]. - Москва ; Ленинград : Наука, 1966. - 156, [1] с. : табл. - Библиогр. в подстроч. примеч.
    4 - А 22
    СиглаКол-во
    к41
  39. Рвачев Леонид Алексеевич.
    Математика и семантика : номинализм как интерпретация математики / Рвачев Леонид Алексеевич; АН УССР, Ин-т Кибернетики. - Киев : Наукова думка, 1966. - 77, [2] с. : ил. - Библиогр. в конце кн. (7 назв.). - 30.00.
    В12 - Р 29
    СиглаКол-во
    к31
  40. О точных методах исследования языка : (О так называемой "мат. лингвистике") / Ахманова Ольга Сергеевна [и др.]; О.С. Ахманова, И.А. Мельчук, Е.В. Падучева, Р.М. Фрумкина. - Москва : Изд-во Моск. ун-та, 1961. - 162 с. : граф. - Библиогр.: с.150-157. - 0.60.
    4 - О-11
    СиглаКол-во
    к91