Поисковый запрос: (<.>K=логики<.>) |
Общее количество найденных документов : 120
Показаны документы с 1 по 20 |
|
1.
| Шибаев, Анатолий Андреевич. Исследование комбинационных логических схем : Руководство к лабораторной работе № 14 по дисциплинам радиоэлектронного профиля для студентов всех специальностей факультета вычислительных систем. - Томск
, 2010. - 15 с. (
10 экз. )
|
2.
| Маковельский, Александр Осипович. История логики : . - М. : Наука
, 1967. - 501, [3] с. (
2 экз. )
|
3.
| Исследование по неклассическим логикам (VI Советско-финский коллоквиум) : . - М. : Наука
, 1989. - 349, [3] с. (
1 экз. )
|
4.
| Ивин, Александр Архипович. Основания логики оценок : . - М. : МГУ
, 1970. - 228, [3] с. (
1 экз. )
|
5.
| Диалектика научного познания. Очерк диалектической логики : . - М. : Наука
, 1978. - 478, [2] с. (
1 экз. )
|
6.
| Смирнова, Елена Дмитриевна. Логическая семантика и философские основания логики : . - М. : Издательство Московского университета
, 1986. - 160, [1] с. (
1 экз. )
|
7.
| Бирюков, Борис Владимирович. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики : . - М. : Знание
, 1977. - 191, [1] с. (
1 экз. )
|
8.
| Успенский, Владимир Андреевич. Вводный курс математической логики. - М. : Физматлит
, 2004. - 125[3] с. (
20 экз. )
|
9.
| Фейс, Роберт. Модальная логика : пер. с англ.. - М. : Наука
, 1974. - 520 с. (
2 экз. )
|
10.
| Кедров, Бонифатий Михайлович. Проблемы логики и методологии науки : Избранные труды. - М. : Наука
, 1990. - 345[7] с. (
2 экз. )
|
11.
| Математические вопросы кибернетики [] : сборник статей / ред. С. В. Яблонский. Вып. 2. - М. : Наука
, 1989. - 240 с. (
2 экз. )
|
12.
| Перязев, Николай Алексеевич. Основы теории булевых функций : . - М. : Физматлит
, 1999. - 109[2] с. (
8 экз. )
|
13.
| Семантика модальных и интенсиональных логик : пер. с англ. . - М. : Прогресс
, 1981. - 424 с. (
1 экз. )
|
14.
| Яглом, Исаак Моисеевич. Булева структура и ее модели : научное издание. - М. : Советское радио
, 1980. - 193 с. (
2 экз. )
|
15.
| Владимиров, Денис Артемьевич. Булевы алгебры : научное издание. - М. : Наука
, 1969. - 318 с. (
4 экз. )
|
16.
| Многозначные и многомерные булевы и небулевы алгебры логики А. В. Короткова и пифагоровы числа в искусственном интеллекте и криптографических системах : монография. - Новочеркасск : НОК
, 2011. - 488 с. (
1 экз. )
|
17.
| Градштейн, Израиль Соломонович. Прямая и обратные теоремы. Элементы алгебры логики : научное издание. - М. : Наука
, 1965. - 128 с. (
3 экз. )
|
18.
| Гиндикин, Семен Григорьевич. Алгебра логики в задачах : научное издание. - М. : Наука
, 1972. - 288 с (
5 экз. )
|
19.
| Голдблатт, Роберт. Топосы: категорный анализ логики : научное издание. - М. : Мир
, 1983. - 486 с. (
2 экз. )
|
20.
| Стрельников С. Е. Реализация аппаратного ускорителя арифметического декодера на базе массивов перепрограммируемой логики : доклад
//Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 6. - С.139-141 (
экз. )
|
|
|
|
Основная база библиотеки
Стандартный