База данных: Электрондық кітапхана
Беті 9, Нәтижелерін: 244
Отмеченные записи: 0
81.
Подробнее
З-26
Зарубин, М. Ю.
Сандық схемотехника [Электрондық ресурс] = Цифровая схемотехника : оқу құралы / М. Ю. Зарубин. - Алматы : Бастау, 2018. - 464 б. - Б. ц.
ББК 32.973я7
Рубрики: ТЕХНИКА
ЕСЕПТЕУІШ ТЕХНИКА
Кл.слова (ненормированные):
сандық схемотехника -- схемотехника -- электрондық схема -- логикалық элемент -- есептеу жүйесі
З-26
Зарубин, М. Ю.
Сандық схемотехника [Электрондық ресурс] = Цифровая схемотехника : оқу құралы / М. Ю. Зарубин. - Алматы : Бастау, 2018. - 464 б. - Б. ц.
Рубрики: ТЕХНИКА
ЕСЕПТЕУІШ ТЕХНИКА
Кл.слова (ненормированные):
сандық схемотехника -- схемотехника -- электрондық схема -- логикалық элемент -- есептеу жүйесі
82.
Подробнее
З-63
Зиновьев, А. А.
Очерки комплексной логики [Электронный ресурс] / А. А. Зиновьев. - Москва : Эдиториал УРСС, 2000. - 560 с. - Б. ц.
ББК 531.01
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
Кл.слова (ненормированные):
комплексная логика -- раздвоение логики -- многозначная логика -- универсальность логики
З-63
Зиновьев, А. А.
Очерки комплексной логики [Электронный ресурс] / А. А. Зиновьев. - Москва : Эдиториал УРСС, 2000. - 560 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
Кл.слова (ненормированные):
комплексная логика -- раздвоение логики -- многозначная логика -- универсальность логики
83.
Подробнее
И25
Ивин, А. А.
Логика [Электронный ресурс] : учебное пособие для студентов вузов / А. А. Ивин. - М. : ООО «Издательство Оникс»: ООО «Издательство «Мир и Образование», 2008. - 336 с. - Б. ц.
ББК 87.4я73
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
что изучает логика? -- язык и мир -- понятия, высказывания, умозаключения -- логические законы -- модельная логика -- как строятся доказательства -- логические ошибки -- правдоподобные рассуждения
И25
Ивин, А. А.
Логика [Электронный ресурс] : учебное пособие для студентов вузов / А. А. Ивин. - М. : ООО «Издательство Оникс»: ООО «Издательство «Мир и Образование», 2008. - 336 с. - Б. ц.
| УДК |
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
что изучает логика? -- язык и мир -- понятия, высказывания, умозаключения -- логические законы -- модельная логика -- как строятся доказательства -- логические ошибки -- правдоподобные рассуждения
84.
Подробнее
И25
Ивин, А. А.
Основы теории аргументации [Электронный ресурс] : электрондық ресурс / А. А. Ивин. - М. : Гуманит. изд.центр ВЛАДОС, 1957. - 352 с. - Б. ц.
ББК 87.4
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
логика -- эмпирическая аргументация -- теоретическая аргументация -- искусство спора -- системная аргументация -- интуиция и вера -- софизмы -- некорректные доказательства
И25
Ивин, А. А.
Основы теории аргументации [Электронный ресурс] : электрондық ресурс / А. А. Ивин. - М. : Гуманит. изд.центр ВЛАДОС, 1957. - 352 с. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
логика -- эмпирическая аргументация -- теоретическая аргументация -- искусство спора -- системная аргументация -- интуиция и вера -- софизмы -- некорректные доказательства
85.
Подробнее
И26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : Академия, 2007. - 304 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- булевы функций -- логика предикатов -- элементы теории алгоритмов
И26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : Академия, 2007. - 304 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра высказываний -- нормальные формы -- булевы функций -- логика предикатов -- элементы теории алгоритмов
86.
Подробнее
И26
Игошин, В. И.
Математическая логика [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 399 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- алгебра высказывания -- тавтология алгебры
И26
Игошин, В. И.
Математическая логика [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 399 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- алгебра высказывания -- тавтология алгебры
87.
Подробнее
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
88.
Подробнее
К11
К.Дж., Дейт.
SQL и реляционная теория. Как грамотно писать код на SQL [Электронный ресурс] / Дейт К.Дж. - СПб. : Символ-Плюс, 2010. - 480 с. - Б. ц.
ББК 32.973.26
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
SQL -- реалиационная теория -- типы -- домены -- реалиационная алгебра -- SQL и формальная логика
К11
К.Дж., Дейт.
SQL и реляционная теория. Как грамотно писать код на SQL [Электронный ресурс] / Дейт К.Дж. - СПб. : Символ-Плюс, 2010. - 480 с. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
SQL -- реалиационная теория -- типы -- домены -- реалиационная алгебра -- SQL и формальная логика
89.
Подробнее
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
ББК 22.161
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
К19
Канатников, А. Н.
Дискретная математика [Электронный ресурс] : конспект лекции / А. Н. Канатников. - М. : МГТУ им. Н.Э.Баумана, 2006. - 63 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
булевы функции -- логика высказываний -- исчисление предикатов -- алгоритмы на графах
Беті 9, Нәтижелерін: 244