База данных: Каталог IBIS
Беті 1, Нәтижелерін: 18
Отмеченные записи: 0
1.
Подробнее
Р98
Рябинин, И. А.
Надежность и безопасность структурно-сложных систем : научное издание / И.А. Рябинин. - СПб. : Политехника, 2000. - 248 с. : ил. - ISBN 5-7325-0549-0 : 2000.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
вероятностное -- исчисление -- алгебра -- статистическое
Экземпляры всего: 1
Абонемент 1 корпус (1)
Свободны: Абонемент 1 корпус (1)
Р98
Рябинин, И. А.
Надежность и безопасность структурно-сложных систем : научное издание / И.А. Рябинин. - СПб. : Политехника, 2000. - 248 с. : ил. - ISBN 5-7325-0549-0 : 2000.00 тг
| ГРНТИ | |
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
вероятностное -- исчисление -- алгебра -- статистическое
Экземпляры всего: 1
Абонемент 1 корпус (1)
Свободны: Абонемент 1 корпус (1)
2.
Подробнее
Е80
Ершов, Ю. Л.
Теория нумераций : научное издание / Ю.Л. Ершов. - М. : Наука, 1977. - 417 с : ил. - (Математическая логика и основания математики). - 800.00 тн.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математика -- алгоритмы -- вычислимые -- категории -- множества -- функционалы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Е80
Ершов, Ю. Л.
Теория нумераций : научное издание / Ю.Л. Ершов. - М. : Наука, 1977. - 417 с : ил. - (Математическая логика и основания математики). - 800.00 тн.
| ГРНТИ | |
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математика -- алгоритмы -- вычислимые -- категории -- множества -- функционалы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
3.
Подробнее
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
| ГРНТИ | |
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
4.
Подробнее
Г 55
Глушков, В. М.
Синтез цифровых автоматов [Электронный ресурс] : научное издание / В. М. Глушков. - Прогр.4169265 ( файла : байтов). - М. : Физматлит, 1962. - 238 с. - (Математическая логика и основания математики). - Б. ц.
: http://elib.kstu.kz/fulltext/Skachen/Avtomat_Glushkov.pdf. - [Б. м. : б. и.]
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
иформация -- преобразования -- структурная -- теория -- алгоритм -- булевые функции -- комбинационные схемы -- блок-схема
Экземпляры всего: 1
Сервер (1)
Свободны: Сервер (1)
Г 55
Глушков, В. М.
Синтез цифровых автоматов [Электронный ресурс] : научное издание / В. М. Глушков. - Прогр.4169265 ( файла : байтов). - М. : Физматлит, 1962. - 238 с. - (Математическая логика и основания математики). - Б. ц.
: http://elib.kstu.kz/fulltext/Skachen/Avtomat_Glushkov.pdf. - [Б. м. : б. и.]
| ГРНТИ | ||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
иформация -- преобразования -- структурная -- теория -- алгоритм -- булевые функции -- комбинационные схемы -- блок-схема
Экземпляры всего: 1
Сервер (1)
Свободны: Сервер (1)
5.
Подробнее
С89
Судоплатов, С. В.
Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8. - ISBN 5-7782-0458-2 : 1200.00 тг, 770.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисления -- предикат -- теория моделей -- теория алгоритмов -- элементы -- неклассические
Доп.точки доступа:
Овчинникова, Е.В.
М-во образования и науки РФ
Новосибирский государственный технический университет
Экземпляры всего: 2
Книгохранение (1), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Читальный зал 1 корпус (1)
С89
Судоплатов, С. В.
Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8. - ISBN 5-7782-0458-2 : 1200.00 тг, 770.00 тг
| ГРНТИ | |||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисления -- предикат -- теория моделей -- теория алгоритмов -- элементы -- неклассические
Доп.точки доступа:
Овчинникова, Е.В.
М-во образования и науки РФ
Новосибирский государственный технический университет
Экземпляры всего: 2
Книгохранение (1), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Читальный зал 1 корпус (1)
6.
Подробнее
И26
Игошин, В. И.
Математическая логика и теория алгоритмов : учеб. пособие / В. И. Игошин. - М. : Академия, 2004. - 447 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 2700.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебра -- булевы -- функции -- высказывания -- предикат
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
И26
Игошин, В. И.
Математическая логика и теория алгоритмов : учеб. пособие / В. И. Игошин. - М. : Академия, 2004. - 447 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 2700.00 тг
| ГРНТИ | |||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебра -- булевы -- функции -- высказывания -- предикат
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
7.
Подробнее
Е80
Ершов, Ю. Л.
Математическая логика : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 2400.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисление -- высказываний -- множества -- модели -- предикат -- алгоритм
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Е80
Ершов, Ю. Л.
Математическая логика : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 2400.00 тг
| ГРНТИ | ||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисление -- высказываний -- множества -- модели -- предикат -- алгоритм
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
8.
Подробнее
К 60
Колмогоров, А. Н.
Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; М-во высшего и среднего специального образования СССР, Московский государственный университет им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 238 с. : табл. - (Классический университетский учебник : основана в 2002 году). - ISBN 5-484-00520-5
250-летию Московского университета
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
теория -- множества -- логико-математические -- языки -- логические -- законы -- формальные -- аксиоматические -- алгорифмы -- доказательства -- приложения
Доп.точки доступа:
Драгалин, А.Г.
М-во высшего и среднего специального образования СССР
Московский государственный университет им. М.В. Ломоносова
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)
К 60
Колмогоров, А. Н.
Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; М-во высшего и среднего специального образования СССР, Московский государственный университет им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 238 с. : табл. - (Классический университетский учебник : основана в 2002 году). - ISBN 5-484-00520-5
250-летию Московского университета
| ГРНТИ | ||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
теория -- множества -- логико-математические -- языки -- логические -- законы -- формальные -- аксиоматические -- алгорифмы -- доказательства -- приложения
Доп.точки доступа:
Драгалин, А.Г.
М-во высшего и среднего специального образования СССР
Московский государственный университет им. М.В. Ломоносова
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)
9.
Подробнее
Л13
Лавров, И. А.
Математическая логика : учебное пособие для студентов вузов, обучающихся по техническим и естественно-научным специальностям / И. А. Лавров ; под ред. Л. Л. Максимовой ; М-во образования и науки РФ. - М. : Академия, 2006. - 240 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - ISBN 5-7695-2735-8
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
системы -- алгебраические -- логические -- геометрии -- семантика -- теория множеств
Доп.точки доступа:
Максимова, Л.Л. \ред.\
М-во образования и науки РФ
Экземпляры всего: 8
Книгохранение (2), Абонемент 1 корпус (4), Читальный зал 1 корпус (2)
Свободны: Книгохранение (2), Абонемент 1 корпус (4), Читальный зал 1 корпус (2)
Л13
Лавров, И. А.
Математическая логика : учебное пособие для студентов вузов, обучающихся по техническим и естественно-научным специальностям / И. А. Лавров ; под ред. Л. Л. Максимовой ; М-во образования и науки РФ. - М. : Академия, 2006. - 240 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - ISBN 5-7695-2735-8
| ГРНТИ | ||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
системы -- алгебраические -- логические -- геометрии -- семантика -- теория множеств
Доп.точки доступа:
Максимова, Л.Л. \ред.\
М-во образования и науки РФ
Экземпляры всего: 8
Книгохранение (2), Абонемент 1 корпус (4), Читальный зал 1 корпус (2)
Свободны: Книгохранение (2), Абонемент 1 корпус (4), Читальный зал 1 корпус (2)
10.
Подробнее
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие / В. И. Игошин. - 2-е изд., стер. - М. : ACADEMIA, 2006. - 303 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-2914-8
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебра -- высказываний -- функции -- формализованное -- исчисление -- элементы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие / В. И. Игошин. - 2-е изд., стер. - М. : ACADEMIA, 2006. - 303 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-2914-8
| ГРНТИ | |||
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебра -- высказываний -- функции -- формализованное -- исчисление -- элементы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Беті 1, Нәтижелерін: 18