База данных: Каталог IBIS
Беті 1, Нәтижелерін: 40
Отмеченные записи: 0
1.
Подробнее
Г68
Гордеев, А. В.
Системное программное обеспечение : учебник / А.В. Гордеев, А.Ю. Молчанов. - СПб. ; М. ; Харьков : Питер, 2002. - 736 с. : ил. - ISBN 5-272-00341-1 : 1107.00 тг
Рубрики: вычислительная техника--операционные системы (вычисл. техника)
Доп.точки доступа:
Молчанов, А.Ю.
Экземпляры всего: 2
Книгохранение (1), ч/з гл.корпус (1)
Свободны: Книгохранение (1), ч/з гл.корпус (1)
Г68
Гордеев, А. В.
Системное программное обеспечение : учебник / А.В. Гордеев, А.Ю. Молчанов. - СПб. ; М. ; Харьков : Питер, 2002. - 736 с. : ил. - ISBN 5-272-00341-1 : 1107.00 тг
| ГРНТИ | ||
| УДК |
Рубрики: вычислительная техника--операционные системы (вычисл. техника)
Доп.точки доступа:
Молчанов, А.Ю.
Экземпляры всего: 2
Книгохранение (1), ч/з гл.корпус (1)
Свободны: Книгохранение (1), ч/з гл.корпус (1)
2.
Подробнее
З-14
Загоруйко, Н. Г.
Методы обнаружения закономерностей. [Текст] / Н.Г. Загоруйко. - М. : Знание, 1981. - 64 с. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИКА -- ГИПОТЕЗА -- НАУКА -- ФОРМАЛЬНЫЙ -- МОДЕЛИ
Свободных экз. нет
З-14
Загоруйко, Н. Г.
Методы обнаружения закономерностей. [Текст] / Н.Г. Загоруйко. - М. : Знание, 1981. - 64 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИКА -- ГИПОТЕЗА -- НАУКА -- ФОРМАЛЬНЫЙ -- МОДЕЛИ
Свободных экз. нет
3.
Подробнее
К49
Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / пер. с англ. [Текст] / С. Клини, Р. Весли. - М. : Наука, 1978. - 272 с : ил. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ТЕОРИЯ -- РЕКУРСИВНЫЙ -- ФОРМАЛЬНЫЙ -- СИСТЕМЫ -- ЛОГИКА -- ФУНКЦИИ
Доп.точки доступа:
Весли, Р.
Свободных экз. нет
К49
Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / пер. с англ. [Текст] / С. Клини, Р. Весли. - М. : Наука, 1978. - 272 с : ил. - Б. ц.
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ТЕОРИЯ -- РЕКУРСИВНЫЙ -- ФОРМАЛЬНЫЙ -- СИСТЕМЫ -- ЛОГИКА -- ФУНКЦИИ
Доп.точки доступа:
Весли, Р.
Свободных экз. нет
4.
Подробнее
М63
Миркин, Б. Г.
Анализ качественных признаков. математические модели и методы. [Текст] / Б.Г. Миркин. - М. : Статистика, 1976. - 168 с. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ТЕОРИЯ -- АНАЛИЗ -- МОДЕЛИ -- ФОРМАЛЬНЫЙ -- МЕТОДЫ -- КАЧЕСТВЕННЫЙ
Свободных экз. нет
М63
Миркин, Б. Г.
Анализ качественных признаков. математические модели и методы. [Текст] / Б.Г. Миркин. - М. : Статистика, 1976. - 168 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ТЕОРИЯ -- АНАЛИЗ -- МОДЕЛИ -- ФОРМАЛЬНЫЙ -- МЕТОДЫ -- КАЧЕСТВЕННЫЙ
Свободных экз. нет
5.
Подробнее
П30
Петров, Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / ан ссср. науч. совет по комплекс. проблеме "кибернетика". секция фил. вопросов кибернетики. [Текст] / Ю.А. Петров. - М. : Наука, 1967. - 164 с. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ФОРМАЛЬНЫЙ -- ТЕОРИЯ
Свободных экз. нет
П30
Петров, Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / ан ссср. науч. совет по комплекс. проблеме "кибернетика". секция фил. вопросов кибернетики. [Текст] / Ю.А. Петров. - М. : Наука, 1967. - 164 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ФОРМАЛЬНЫЙ -- ТЕОРИЯ
Свободных экз. нет
6.
Подробнее
С50
Смирнов, В. А.
Формальный вывод и логические исчисления / ан ссср. ин-т философии. [Текст] / В.А. Смирнов. - М. : Наука, 1972. - 271 с. - Б. ц.
Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИЧЕСКИЙ -- ИСЧИСЛЕНИЯ
Свободных экз. нет
С50
Смирнов, В. А.
Формальный вывод и логические исчисления / ан ссср. ин-т философии. [Текст] / В.А. Смирнов. - М. : Наука, 1972. - 271 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИЧЕСКИЙ -- ИСЧИСЛЕНИЯ
Свободных экз. нет
7.
Подробнее
С50
Смальян, Р.
Теория формальных систем. пер. с англ. [Текст] / Р. Смальян. - М. : Наука, 1981. - 208 с. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИКА -- ФОРМАЛЬНЫЙ -- СИСТЕМЫ -- ТЕОРИЯ
Свободных экз. нет
С50
Смальян, Р.
Теория формальных систем. пер. с англ. [Текст] / Р. Смальян. - М. : Наука, 1981. - 208 с. - Б. ц.
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИКА -- ФОРМАЛЬНЫЙ -- СИСТЕМЫ -- ТЕОРИЯ
Свободных экз. нет
8.
Подробнее
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
| ГРНТИ | |
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
9.
Подробнее
Г67
Горбатов, В. А.
Основы дискретной математики : учебное пособие для студентов вузов, обучающихся по специальностям "Прикладная математика", "Электронные вычислительные машины", "автоматизированные системы управления", "Конструирование и производство электронно-вычислительной аппаратуры", "Системы автоматизированного проектирования" / В.А. Горбатов ; М-во высшего и среднего специального образования СССР. - М. : Высшая школа, 1986. - 310 с. : рис., табл. - (Учебное пособие для вузов). - 1.00 р., 9.00 р.
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
алгебраические -- системы -- математическая -- логика -- теория -- графы -- мографы -- формальная -- грамматика -- автоматы -- прикладная -- алгоритмы -- характерный -- анализ
Доп.точки доступа:
М-во высшего и среднего специального образования СССР
Экземпляры всего: 4
Книгохранение (2), Читальный зал 1 корпус (2)
Свободны: Книгохранение (2), Читальный зал 1 корпус (2)
Г67
Горбатов, В. А.
Основы дискретной математики : учебное пособие для студентов вузов, обучающихся по специальностям "Прикладная математика", "Электронные вычислительные машины", "автоматизированные системы управления", "Конструирование и производство электронно-вычислительной аппаратуры", "Системы автоматизированного проектирования" / В.А. Горбатов ; М-во высшего и среднего специального образования СССР. - М. : Высшая школа, 1986. - 310 с. : рис., табл. - (Учебное пособие для вузов). - 1.00 р., 9.00 р.
| ГРНТИ | ||
| УДК |
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
алгебраические -- системы -- математическая -- логика -- теория -- графы -- мографы -- формальная -- грамматика -- автоматы -- прикладная -- алгоритмы -- характерный -- анализ
Доп.точки доступа:
М-во высшего и среднего специального образования СССР
Экземпляры всего: 4
Книгохранение (2), Читальный зал 1 корпус (2)
Свободны: Книгохранение (2), Читальный зал 1 корпус (2)
10.
Подробнее
Г88
Гросс, М.
Теория формальных грамматик : пер. с фр. / М. Гросс, А. Лантен. - М. : Мир, 1971. - 294 с. - 1.66 р.
Перевод заглавия: Notions sur les grammaires formelles
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЯЗЫКОЗНАНИЕ
Доп.точки доступа:
Лантен, А.
Экземпляры всего: 1
книгохранение (1)
Свободны: книгохранение (1)
Г88
Гросс, М.
Теория формальных грамматик : пер. с фр. / М. Гросс, А. Лантен. - М. : Мир, 1971. - 294 с. - 1.66 р.
Перевод заглавия: Notions sur les grammaires formelles
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЯЗЫКОЗНАНИЕ
Доп.точки доступа:
Лантен, А.
Экземпляры всего: 1
книгохранение (1)
Свободны: книгохранение (1)
Беті 1, Нәтижелерін: 40