База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 4
Отмеченные записи: 0
1.
Подробнее
22.1
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
Г51
Гисин, В. Б.
Лекции по дискретная математика [Электронный ресурс]. Ч.1 / В. Б. Гисин. - М. : [б. и.], 2002. - 194 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
понятие множества -- логика высказываний -- логика предикатов -- формальные теории -- алгоритмы
2.
Подробнее
22,16
Г97
Гуц, А. К.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. К. Гуц. - Омск : Диалог -Сибирь, 2003. - 108 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
классическая логика -- формальные теории -- неклассические логики -- алгоритмы
Г97
Гуц, А. К.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. К. Гуц. - Омск : Диалог -Сибирь, 2003. - 108 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
классическая логика -- формальные теории -- неклассические логики -- алгоритмы
3.
Подробнее
22.1
С21
Сафьянова, Е. Н.
Дискретная математика [Электронный ресурс] : учебное пособие. Ч.2 / Е. Н. Сафьянова. - Томск : ТМЦДО, 2000. - 99 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
формальные теории -- основы теории алгоритмов -- элементы комбинаторного анализа
С21
Сафьянова, Е. Н.
Дискретная математика [Электронный ресурс] : учебное пособие. Ч.2 / Е. Н. Сафьянова. - Томск : ТМЦДО, 2000. - 99 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
формальные теории -- основы теории алгоритмов -- элементы комбинаторного анализа
4.
Подробнее
22.1
К89
Кузнецов, О. П.
Дискретная математика для инженера [Электронный ресурс] : учебник / О. П. Кузнецов. - СПб : Лань, 2009. - 7 ,11МБ. - ISSN 978-5-397. - Б. ц.
ББК 22.1
Рубрики: ФИЗИКА-МАТЕМАТИЧЕСКИЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
CD -- дискретная математика -- алгебра -- логика -- графы -- теория алгоритмов -- формальные теории
К89
Кузнецов, О. П.
Дискретная математика для инженера [Электронный ресурс] : учебник / О. П. Кузнецов. - СПб : Лань, 2009. - 7 ,11МБ. - ISSN 978-5-397. - Б. ц.
Рубрики: ФИЗИКА-МАТЕМАТИЧЕСКИЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
CD -- дискретная математика -- алгебра -- логика -- графы -- теория алгоритмов -- формальные теории
Беті 1, Нәтижелерін: 4