Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Найдено в других БД:

Электронные книги ЛитРес (4)

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логики<.>)

Общее количество найденных документов : 120
Показаны документы с 1 по 20

1-20 21-40 41-60 61-80 81-100 101-120

004
Ш 550

    Шибаев, Анатолий Андреевич.
    Исследование комбинационных логических схем : руководство к лабораторной работе № 14 по дисциплинам радиоэлектронного профиля для студентов всех специальностей факультета вычислительных систем / А. А. Шибаев ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра электронных средств автоматизации и управления . - Томск : [б. и.], 2010. - 15 с. : ил., табл. - Библиогр.: с. 15. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.312.2(076)
~РУБ 004

Кл.слова (ненормированные):
учебные пособия -- лабораторные работы -- руководства -- комбинационные схемы -- алгебра логики -- логические элементы -- логические схемы -- схемы

Доп.точки доступа:
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра электронных средств автоматизации и управления

Полный текст/внешний ресурс скачать: LR 14 2010.doc
Имеются экземпляры в отделах: счз1 (10 экз.)
Свободны: счз1 (10)
Постоянная гиперссылка

16
М 160

    Маковельский, Александр Осипович.
    История логики : / А. О. Маковельский. - М. : Наука, 1967. - 501, [3] с. - Указ. имен: с. 495-500. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16(091)
~РУБ 16

Кл.слова (ненормированные):
ЛОГИКА -- ФИЛОСОФИЯ

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

16
И 889


    Исследование по неклассическим логикам (VI Советско-финский коллоквиум) : / Академия наук СССР, Институт философии (М.), Академия наук Грузинской ССР, Институт философии (Тбилиси) ; ред. В. А. Смирнов. - М. : Наука, 1989. - 349, [3] с. - Библиогр. в конце ст. - ISBN 5-02-007945-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
~РУБ 16

Кл.слова (ненормированные):
логика -- неклассические логики -- семантика
Доп.точки доступа:
Смирнов, В. А. \ред.\
Академия наук СССР
Институт философии (М.)
Академия наук Грузинской ССР
Институт философии (Тбилиси)

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

16
И 253

    Ивин, Александр Архипович.
    Основания логики оценок : / А. А. Ивин. - М. : МГУ, 1970. - 228, [3] с. : табл. - Библиогр.: с. 224-229. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
~РУБ 16

Кл.слова (ненормированные):
ФИЛОСОФИЯ -- ЦЕННОСТИ -- ЛОГИКА -- ОЦЕНКИ

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

16
Д 440


    Диалектика научного познания. Очерк диалектической логики : / Д. П. Горский [и др.] ; Академия наук СССР, Институт философии (М.). - М. : Наука, 1978. - 478, [2] с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
167/168
165
~РУБ 16

Кл.слова (ненормированные):
диалектическая логика -- логика -- теория познания -- научное познание -- формы мышления -- мышление -- научные теории
Доп.точки доступа:
Горский, Д. П.
Нарский, И. С.
Коршунов, А. М.
Лисеев, И. К.
Войшвилло, Е. К.
Академия наук СССР
Институт философии (М.)

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

16
С 506

    Смирнова, Елена Дмитриевна.
    Логическая семантика и философские основания логики : / Е. Д. Смирнова. - М. : Издательство Московского университета, 1986. - 160, [1] с. - Библиогр. в примеч.: с. 155-161. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
~РУБ 16

Кл.слова (ненормированные):
философия -- логика -- логическая семантика -- семантика -- истинность -- формализмы -- семантические парадоксы -- семантические категории -- формализованные языки

Имеются экземпляры в отделах: кабинет ОН, аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

16
Б 649

    Бирюков, Борис Владимирович.
    Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики : / Б. В. Бирюков, В. Н. Тростников. - М. : Знание, 1977. - 191, [1] с. : ил., табл. - (Наука и прогресс). - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
007
~РУБ 16

Кл.слова (ненормированные):
логика -- мышление -- кибернетика
Доп.точки доступа:
Тростников, Виктор Николаевич

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

51
У 773

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2004. - 125[3] с. : ил. - Библиогр.: с. 122. - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 (в пер.) : 78.09 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика
Доп.точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (18), счз1 (2)
Постоянная гиперссылка

519
Ф 366

    Фейс, Роберт.
    Модальная логика : пер. с англ. / Р. Фейс ; ред. пер. с доп. Г. Е. Минц. - М. : Наука, 1974. - 520 с. : черт. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Имен. указ.: с. 510-413. - Предм. указ.: с. 514-520. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 519

Кл.слова (ненормированные):
модальные логики -- математическая логика
Доп.точки доступа:
Минц, Г. Е. \ред. пер. с доп.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

10.

16
К 332

    Кедров, Бонифатий Михайлович.
    Проблемы логики и методологии науки : Избранные труды / Б. М. Кедров ; Академия наук СССР, Институт истории естествознания и техники. - М. : Наука, 1990. - 345[7] с. : ил., портр. - Имен. указ.: с. 344-346. - ISBN 5-02-008100-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
167/168
~РУБ 16

Кл.слова (ненормированные):
наука -- логика -- методология -- естествознание -- философия науки
Доп.точки доступа:
Академия наук СССР
Институт истории естествознания и техники

Имеются экземпляры в отделах: аунл (1 экз.), кабинет ОН (1 экз.)
Свободны: аунл (1), кон (1)
Постоянная гиперссылка

11.

519
М 340

    Математические вопросы кибернетики : сборник статей / ред. С. В. Яблонский. - М. : Наука, 1988 - . - До 1988 Издание см. под заглавием: Проблемы кибернетики. .
   Вып. 2. - М. : Наука, 1989. - 240 с. : ил. - Библиогр. в конце ст. - ISBN 5-02-013979-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
~РУБ 519

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- МОДАЛЬНЫЕ ЛОГИКИ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ФУНКЦИОНАЛЬНЫЕ ЭЛЕМЕНТЫ -- КОНТАКТНЫЕ СХЕМЫ -- БУЛЕВЫ ФУНКЦИИ
Доп.точки доступа:
Яблонский, С. В. \ред.\

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

12.

517
П 279

    Перязев, Николай Алексеевич.
    Основы теории булевых функций : / Н. А. Перязев. - М. : Физматлит, 1999. - 109[2] с. : ил. - (Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"). - Библиогр.: с. 107. - Указ.: с. 108-109. - ISBN 5-9221-0005-Х : 15.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
517.987.3
~РУБ 517

Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- АЛГЕБРА ЛОГИКИ -- ДВОИЧНЫЕ ФУНКЦИИ -- ПЕРЕКЛЮЧАТЕЛЬНЫЕ ФУНКЦИИ -- ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ

Имеются экземпляры в отделах: , аунл (7 экз.), счз1 (1 экз.)
Свободны: аунл (7), счз1 (1)
Постоянная гиперссылка

13.

16
С 300


    Семантика модальных и интенсиональных логик : пер. с англ. / пер. А. А. Мучник, пер. А. Л. Никифорова, пер. З. А. Сокулер, сост., авт. предисл., ред. пер. В. А. Смирнов. - М. : Прогресс, 1981. - 424 с. - (Общественные науки за рубежом. Философия и социология). - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
164
~РУБ 16

Кл.слова (ненормированные):
логика -- модальные логики -- интенсиональные логики -- семантика -- логическая семантика
Доп.точки доступа:
Мучник, А. А. \пер.\
Никифорова, А. Л. \пер.\
Сокулер, З. А. \пер.\
Смирнов, В. А. \сост., авт. предисл., ред. пер.\

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

14.

512
Я 297

    Яглом, Исаак Моисеевич.
    Булева структура и ее модели [Текст] : научное издание / И. М. Яглом. - М. : Советское радио, 1980. - 193 с. : ил. - (Кибернетика). - Библиогр.: с. 189 - 192. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
512.563.6
~РУБ 512

Кл.слова (ненормированные):
АЛГЕБРА -- АЛГЕБРА ЛОГИКИ

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

15.

512
В 573

    Владимиров, Денис Артемьевич.
    Булевы алгебры [Текст] : научное издание / Д. А. Владимиров. - М. : Наука, 1969. - 318 с. : ил. - Библиогр.: с. 308-313. - Предм. указ.: с. 314-316. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
512.563
~РУБ 512

Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Имеются экземпляры в отделах: аунл (4 экз.)
Свободны: аунл (4)
Постоянная гиперссылка

16.

512
М 735


    Многозначные и многомерные булевы и небулевы алгебры логики А. В. Короткова и пифагоровы числа в искусственном интеллекте и криптографических системах [Текст] : монография / Т. А. Бабкина [и др.]. - Новочеркасск : НОК, 2011. - 488 с. : табл. - (Семимерная парадигма А. В. Короткова в информатике, искусственном интеллекте и когнитологии ; вып. 1). - ISBN 978-5-8431-0211-1 : 200.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
512.563.6:004.8
~РУБ 512

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КРИПТОГРАФИЯ -- МОНОГРАФИИ
Доп.точки доступа:
Бабкина, Татьяна Александровна
Козоброд, Андрей Вячеславович
Коротков, Анатолий Васильевич
Мешков, Владимир Евгеньевич
Прудий, Алексей Васильевич
Чураков, Вадим Сергеевич

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

17.

519
Г 754

    Градштейн, Израиль Соломонович.
    Прямая и обратные теоремы. Элементы алгебры логики [Текст] : научное издание / И. С. Градштейн. - 4-е изд., стереотип. - М. : Наука, 1965. - 128 с. : ил. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.5
510.6
~РУБ 519

Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ТЕОРЕМЫ

Имеются экземпляры в отделах: аунл (3 экз.)
Свободны: аунл (3)
Постоянная гиперссылка

18.

512
Г 490

    Гиндикин, Семен Григорьевич.
    Алгебра логики в задачах [Текст] : научное издание / С. Г. Гиндикин. - М. : Наука, 1972. - 288 с. - Библиогр.: с. 282-284. - Предм. указ.: с. 285-288. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
512.563.6(076)
~РУБ 512

Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ЗАДАЧИ

Имеются экземпляры в отделах: аунл (5 экз.)
Свободны: аунл (5)
Постоянная гиперссылка

19.

510
Г 601

    Голдблатт, Роберт.
    Топосы: категорный анализ логики [Текст] : научное издание / Р. Голдблатт ; пер.: В. Н. Гришин, В. В. Шокуров ; ред. Д. А. Бочвар. - М. : Мир, 1983. - 486 с. : ил. - Пер. с англ. - Библиогр.: с. 466-470. - Алф.-Предм. указ.: с. 471-483. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.22
~РУБ 510

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИКА
Доп.точки доступа:
Гришин, В. Н. \пер.\
Шокуров, В. В. \пер.\
Бочвар, Д. А. \ред.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

20.

    Стрельников, С. Е.
    Реализация аппаратного ускорителя арифметического декодера на базе массивов перепрограммируемой логики [Текст] : доклад / С. Е. Стрельников // Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 6. - С. 139-141 : ил. - Библиогр. в конце ст.

    Коды, Ключ.слова, Доп.точки доступа

Кл.слова (ненормированные):
цифровые устройства -- изображения -- САВАС-декодер

Полный текст/внешний ресурс (постраничный просмотр) : 2011_strelnikov_270711.pdf или скачать

Постоянная гиперссылка

1-20 21-40 41-60 61-80 81-100 101-120

Статистика за 04.07.2024
Число запросов	65378
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)