| Найдено документов - 13 | Найти похожие: "Индекс ББК" = 'В122я731-1' | Версия для печати |
Сортировать по:
1. Документ
Гладкий Алексей Всеволодович.
Математическая логика : [Учеб. пособие] / Гладкий Алексей Всеволодович; А.В. Гладкий; [Рос. гос. гуманит. ун-т (РГГУ)] ; Рос. гос. гуманит. ун-т ; РГГУ. - Москва : Изд-во Рос. гуманит. ун-та, 1998. - 479 с. : ил. - Библиогр.: с.468-470. - Указ. предм., обозн.: с.471-476. - ISBN 5-7281-0025-2 : 51.30.
Математическая логика : [Учеб. пособие] / Гладкий Алексей Всеволодович; А.В. Гладкий; [Рос. гос. гуманит. ун-т (РГГУ)] ; Рос. гос. гуманит. ун-т ; РГГУ. - Москва : Изд-во Рос. гуманит. ун-та, 1998. - 479 с. : ил. - Библиогр.: с.468-470. - Указ. предм., обозн.: с.471-476. - ISBN 5-7281-0025-2 : 51.30.
Шифры: В122 - Г52
Ключевые слова: Математическая логика
Экземпляры: Всего: 25, из них: к3-25
Подробнее
2. Документ
Начала математической логики : Метод. разраб. для студентов днев. и заоч. отд-ний мат. фак. / Твер. гос. ун-т. Каф. общ. и прикл. алгебры и геометрии; [Сост. Т.А. Спасская]. - Тверь : Тверской государственный университет, 1997. - 22 с., включ. обл. - 2000.00.
Шифры: В122 - Н36
Ключевые слова: Матемиатическая логика, Учебники, Труды Тверского государственного университета
Экземпляры: Всего: 2, из них: к3-2
Подробнее
3. Документ
Непейвода Николай Николаевич.
Прикладная логика : Учеб. пособие для студентов вузов, обучающихся по спец. "Математика", "Прикл. математика", "Лингвистика", "Философия" и "Психология" / Непейвода Николай Николаевич; Н.Н. Непейвода; Удм. гос. ун-т. - Ижевск : Изд-во Удм. ун-та, 1997. - 383,[1] c. - (Прогр. "Высш. образование"). - Библиогр.: с.375-376. - Предм., имен. указ.: с.377-384. - ISBN 5-7029-0074-X : 22.56.
Прикладная логика : Учеб. пособие для студентов вузов, обучающихся по спец. "Математика", "Прикл. математика", "Лингвистика", "Философия" и "Психология" / Непейвода Николай Николаевич; Н.Н. Непейвода; Удм. гос. ун-т. - Ижевск : Изд-во Удм. ун-та, 1997. - 383,[1] c. - (Прогр. "Высш. образование"). - Библиогр.: с.375-376. - Предм., имен. указ.: с.377-384. - ISBN 5-7029-0074-X : 22.56.
Шифры: В122 - Н53
Ключевые слова: Логика, Математическая логика, Прикладная логика
Экземпляры: Всего: 8, из них: к3-8
Подробнее
4. Документ
Математическая логика : Учеб. пособие для студентов мат. спец. / Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под ред. А. А. Столяра. - Минск : Вышэйшая школа, 1991. - 269,[3] с. - Библиогр.: с. 260. - ISBN 5-339-00342-6 : 2-30.
Авторы: Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А.
Шифры: В122 - М34
Ключевые слова: Математическая логика, Учебники
Экземпляры: Всего: 52, из них: к3-52
Подробнее
5. Документ
Игошин Владимир Иванович.
Математическая логика и теория алгоритмов : [учеб. пособие для физ.-мат. спец. пед. ин-тов] / Игошин Владимир Иванович; В. И. Игошин. - Саратов : Саратовский гос. ун-т, 1991. - 255,[1] с. ; 22 см. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 (в пер.) : 3.00.
Математическая логика и теория алгоритмов : [учеб. пособие для физ.-мат. спец. пед. ин-тов] / Игошин Владимир Иванович; В. И. Игошин. - Саратов : Саратовский гос. ун-т, 1991. - 255,[1] с. ; 22 см. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 (в пер.) : 3.00.
Шифры: В122 - И26
Ключевые слова: Алгоритмы, Теория алгоритмов, Учебники, Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Полный анализ формул логики предикатов : метод. указания по курсу мат. логики : для студентов 4 курса ДО / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т, Каф. общ. и прикл. алгебры и геометрии ; [сост. М. И. Канович]. - Калинин : КГУ, 1987. - 23, [1] с. : ил. - <null>.
Шифры: В122 - П51
Ключевые слова: Логика, Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
7. Документ
Колмогоров Андрей Николаевич.
Математическая логика : доп. главы : [учеб. пособие для вузов по спец. "Математика"] / Колмогоров Андрей Николаевич; А. Н. Колмогоров, А. Г. Драгалин. - Москва : Московский государственный университет, 1984. - 119 с. - Библиогр.: с.117. - 0-25.
Математическая логика : доп. главы : [учеб. пособие для вузов по спец. "Математика"] / Колмогоров Андрей Николаевич; А. Н. Колмогоров, А. Г. Драгалин. - Москва : Московский государственный университет, 1984. - 119 с. - Библиогр.: с.117. - 0-25.
Авторы: Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич
Шифры: В122я73 - К60
Ключевые слова: Математическая логика, Учебники
Экземпляры: Всего: 18, из них: к3-18
Подробнее
8. Документ
Колмогоров Андрей Николаевич.
Введение в математическую логику : учеб. пособие для студентов мат. спец. вузов / Колмогоров Андрей Николаевич; А. Н. Колмогоров, А. Г. Драгалин. - Москва : Московский государственный университет, 1982. - 120 с. : ил. - Библиогр.: с.120. - 0-25.
Введение в математическую логику : учеб. пособие для студентов мат. спец. вузов / Колмогоров Андрей Николаевич; А. Н. Колмогоров, А. Г. Драгалин. - Москва : Московский государственный университет, 1982. - 120 с. : ил. - Библиогр.: с.120. - 0-25.
Авторы: Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич
Шифры: В122я73 - К60
Ключевые слова: Математическая логика, Учебники
Экземпляры: Всего: 6, из них: к3-6
Подробнее
9. Документ
Каменский Михаил Игоревич.
Математическая логика : метод.указания для студентов-заочников мат. и мех.-мат. фак. ун-тов / Каменский Михаил Игоревич; М. И. Каменский, Л. П. Петрова, Б. Н. Садовский; Науч.-метод. каб. по заоч. и веч. обучению МГУ им. М. В. Ломоносова. - Москва : Московский государственный университет, 1982. - 62 с. : ил. - 0-10.
Математическая логика : метод.указания для студентов-заочников мат. и мех.-мат. фак. ун-тов / Каменский Михаил Игоревич; М. И. Каменский, Л. П. Петрова, Б. Н. Садовский; Науч.-метод. каб. по заоч. и веч. обучению МГУ им. М. В. Ломоносова. - Москва : Московский государственный университет, 1982. - 62 с. : ил. - 0-10.
Авторы: Каменский Михаил Игоревич, Петрова Л. П., Садовский Б. Н.
Шифры: В122р30 - К18
Ключевые слова: Математическая логика, Учебники
Экземпляры: Всего: 4, из них: к3-4
Подробнее
10. Документ
Ершов Юрий Леонидович.
Математическая логика : [Учеб. пособие для вузов] / Ершов Юрий Леонидович; Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. - Предм. указ.: с.314-320. - 0-80.
Математическая логика : [Учеб. пособие для вузов] / Ершов Юрий Леонидович; Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. - Предм. указ.: с.314-320. - 0-80.
Авторы: Ершов Юрий Леонидович, Палютин Евгений Андреевич
Шифры: 517.21 - Е80
Ключевые слова: Математическая логика, Учебники
Экземпляры: Всего: 12, из них: к3-12
Подробнее
11. Документ
Гладкий Алексей Всеволодович.
Язык математической логики : Учеб. пособие / Гладкий Алексей Всеволодович; А. В. Гладкий; Калинин. гос. ун-т. - Калинин : КГУ, 1977. - 84 с. - 0-25.
Язык математической логики : Учеб. пособие / Гладкий Алексей Всеволодович; А. В. Гладкий; Калинин. гос. ун-т. - Калинин : КГУ, 1977. - 84 с. - 0-25.
Шифры: 517.21 - Г52
Ключевые слова: Математическая логика, Учебники
Экземпляры: Всего: 11, из них: к3-11
Подробнее
12. Документ
Ершов Юрий Леонидович.
Математическая логика : лекции для студентов-математиков НГУ / Ершов Юрий Леонидович, Палютин Евгений Андреевич, Тайцлин Михаил Абрамович; М-во высш. и сред. спец. образования РСФСР, Новосиб. гос. ун-т. - Новосибирск : Новосибирский государственный университет, 1973. - 159, [1] с. - (Библиотека кафедры алгебры и математической логики Новосибирского университета ; вып. 12). - Слов.: с. 155-157. - 0.50.
Математическая логика : лекции для студентов-математиков НГУ / Ершов Юрий Леонидович, Палютин Евгений Андреевич, Тайцлин Михаил Абрамович; М-во высш. и сред. спец. образования РСФСР, Новосиб. гос. ун-т. - Новосибирск : Новосибирский государственный университет, 1973. - 159, [1] с. - (Библиотека кафедры алгебры и математической логики Новосибирского университета ; вып. 12). - Слов.: с. 155-157. - 0.50.
Авторы: Ершов Юрий Леонидович, Палютин Евгений Андреевич, Тайцлин Михаил Абрамович
Шифры: 517.21 - Е 80
Ключевые слова: Математическая логика, Учебники для вузов
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Книга
Бродский Иосиф Наумович.
Элементарное введение в символическую логику / научный редактор О. Ф. Серебрянников ; Ленинградский государственный университет. - 2-е изд., перераб. - Ленинград : Ленинградский университет, 1972. - 62 с. - (В помощь студентам вечерних и заочных вузов). - 3.75.
Элементарное введение в символическую логику / научный редактор О. Ф. Серебрянников ; Ленинградский государственный университет. - 2-е изд., перераб. - Ленинград : Ленинградский университет, 1972. - 62 с. - (В помощь студентам вечерних и заочных вузов). - 3.75.
Авторы: Бродский Иосиф Наумович, Серебрянников О. Ф.
Шифры: 16 - Б 88
Ключевые слова: Логика, Математическая логика, Символическая логика, Учебники для вузов
Экземпляры: Всего: 2, из них: к7-1, к9-1
Подробнее