Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА$<.>) |
Общее количество найденных документов : 5
Показаны документы с 1 по 5 |
1.
|
Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов и аспирантов мат. фак. ун-та / Алла Николаевна Гамова. - Саратов : Изд-во Сарат. ун-та, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р. Рубрики: математика -- математическая логика -- Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний
0 Свободных экз. нет Найти похожие
|
2.
|
Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / Алла Николаевна Гамова. - 2-е изд., доп. - Саратов : Изд-во Сарат. ун-та, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р. Рубрики: математика -- математическая логика -- Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность
0 Свободных экз. нет Найти похожие
|
3.
|
Гамова, Алла Николаевна. Формальная логика [Текст] : Учеб. пособ. для студентов и аспирантов фак. гуманит. и социал. наук / Алла Николаевна Гамова. - Саратов : Изд-во Сарат. ун-та, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р. Рубрики: логика; математика -- логика -- математическая логика -- Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
0 Свободных экз. нет Найти похожие
|
4.
|
Гамова, Алла Николаевна. Формальная логика [Текст] : Учеб. пособ. для студентов и аспирантов фак. гуманит. исоциал. наук / Алла Николаевна Гамова. - 2-е изд., доп. - Саратов : Изд-во Сарат. ун-та, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р. Рубрики: логика; математика -- логика -- математическая логика -- Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа: ЗНБ СГУ
0 Свободных экз. нет Найти похожие
|
5.
|
Тетерин, П. Г. Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : научное издание / П. Г. Тетерин. - Саратов : Б. и., 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р. Рубрики: математика -- математическая логика -- Кл.слова (ненормированные): математическая логика -- синтез -- логика высказываний -- декомпозиция
0 Свободных экз. нет Найти похожие
|
|