519    Г 522     Гладкий, Алексей Всеволодович.     Элементы теории множеств [Текст] : учеб. пособие / А. В. Гладкий ; Калин. гос. ун-т. - Калинин : КГУ, 1977. - 80 с. : ил. - 0.40 р. УДК 519.5(075.8) Рубрики: Теория вероятностей--Учебные издания для высших учебных заведений Кл.слова (ненормированные): множеств теория Доп.точки доступа: Калининский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1)

517    Г 522     Гладкий, Алексей Всеволодович.     Язык математической логики : учеб. пособие / А. В. Гладкий ; Калин. гос. ун-т. - Калинин : Калинин. ун-т, 1977. - 84 с. - 0.25 р. УДК 510.6(075.8) Рубрики: Математический анализ--Учебные издания для высших учебных заведений Кл.слова (ненормированные): математическая логика Доп.точки доступа: Калининский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1)

4    М 340         Математическая лингвистика и теория алгоритмов : межвузовский тематический сборник / Калининский государственный университет ; отв. ред. А. В. Гладкий. - Калинин : КГУ, 1978. - 155 с. - Библиогр. в конце ст. - 1.10 р. ГРНТИ 16 УДК 4 ББК Ш11я43 Рубрики: Языкознание--Лингвистика--Сборники Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- алгоритмы Доп.точки доступа: Гладкий, Алексей Всеволодович \отв. ред.\; Калининский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1)

517    М 340         Математическая логика и математическая лингвистика : межвузовский тематический сборник / Калининский государственный университет ; ред. А. В. Гладкий. - Калинин : Калининский государственный университет, 1981. - 171 с. - Библиогр. в конце ст. - 1.30 р., 1.30 р. ГРНТИ 16 УДК 510.6 8 Рубрики: Методы и приемы лингвистических исследований Кл.слова (ненормированные): математическая логика -- математическая лингвистика -- лингвистика (математические методы) Доп.точки доступа: Гладкий, Алексей Всеволодович \ред.\; Калининский государственный университет Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1)

4    Г 522     Гладкий, Алексей Всеволодович.     Синтаксические структуры естественного языка в автоматизированных системах общения / А. В. Гладкий. - Москва : Наука, 1985. - 143 с. : ил. - (Проблемы искусственного интеллекта; № 6). - Библиогр.: с. 139-141. - Предм. указ.: с. 142-143. - 1.70 р. ГРНТИ 16 УДК 8 ББК Ш102.2 Рубрики: Синтаксис Кл.слова (ненормированные): предложение (синтаксис) -- речь (распознавание автоматическое) -- естественный язык -- язык (структура) Экземпляры всего: 1 Х (1) Свободны: Х (1)

517    М 340         Математическая логика, математическая лингвистика и теория алгоритмов : сборник научных трудов / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: А. В. Гладкий (отв. ред.) и др.]. - Калинин : КГУ, 1983. - 116 с. - Библиогр. в конце ст. - 1 р., 1.00 р. ГРНТИ 27.03 УДК 510.6 519.765 510.51 Рубрики: Математическая логика--Сборники    Математическая лингвистика--Сборники    Алгоритмы--Теория--Сборники Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- АЛГОРИТМОВ ТЕОРИЯ Доп.точки доступа: Гладкий, Алексей Всеволодович \ред.\; Министерство высшего и среднего специального образования РСФСРКалининский государственный университет Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1)

16    Г 522     Гладкий, Алексей Всеволодович.     Введение в современную логику : [Учебное пособие] / А. В. Гладкий. - 2-е изд., испр. - Москва : URSS, 2009. - 240 с. - Предм. указ.: с. 229-233. - Библиогр.: с. 225-226. - ISBN 978-5-397-00507-4 : 60 р. ГРНТИ 02.21.05 УДК 16(075.8) ББК Ю4я73 Рубрики: Логика--Учебные издания для высших учебных заведений Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ЗАКОНЫ -- ПОНЯТИЕ (ЛОГИКА) -- ЛОГИКА ПРЕДИКАТОВ -- РАССУЖДЕНИЯ (ЛОГИКА) -- ЛОГИКА НАУЧНОГО ПОЗНАНИЯ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ Экземпляры всего: 1 Х (1) Свободны: Х (1)