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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

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

62-5
В 191

    Васильева, Наталья Петровна.
    Логические элементы в промышленной автоматике [Текст] : / Н. П. Васильева, И. С. Гашковец. - М. : Госэнергоиздат, 1962. - 160 с. : ил., табл. - (Библиотека по автоматике ; вып. 68). - Библиогр.: с. 156-157. - 00.55 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.58:681.325.65
~РУБ 62-5

Кл.слова (ненормированные):
ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ -- ПРОМЫШЛЕННАЯ АВТОМАТИКА -- АЛГЕБРА ЛОГИКИ -- СХЕМЫ УПРАВЛЕНИЯ -- ВХОДНЫЕ ЭЛЕМЕНТЫ
Доп.точки доступа:
Гашковец, Иржи Стефан

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

519
Г 754

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

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

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

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

16
М 160

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

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

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

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

519
К 268

    Карри, Хаскелл Б..
    Основания математической логики / Х. Б. Карри ; пер. В. В. Донченко ; ред. пер. Ю. А. Гастев. - М. : Мир, 1969. - 567[1] с. : ил., табл. - Пер. с англ. - Библиогр.: с. 516-517. - Предм. указ.: с. 518-562. - Алф. указ.: с. 563-567. - Б. ц.

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

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

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

512
В 573

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

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

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

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

16
И 253

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

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

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

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

512
Г 490

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

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

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

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

62-5
К 266

    Карповский, Марк Гиршевич.
    Спектральные методы анализа и синтеза дискретных устройств [Текст] : научное издание / М. Г. Карповский, Э. С. Москалев. - Л. : Энергия, 1973. - 144 с. : ил., табл. - (Библиотека по автоматике ; вып. 507). - Библиогр.: с. 136-140. - Б. ц.

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

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

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

519
Ф 366

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

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

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

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

10.

1(091)
Г 277

   Гегель, Георг Вильгельм Фридрих
    Энциклопедия философских наук [Текст] / Г. В. Ф. Гегель ; отв. ред. Е. П. Ситковский ; Академия наук СССР, Институт философии. - М. : Мысль, 1974 - . - (Философское наследие).
   Т. 1 : Наука логики / Георг Вильгельм Фридрих Гегель ; Академия Наук СССР, Институт философии. - М. : Мысль, 1974. - 456 с. : портр. - Пер. с нем. - Предм. указ.: с. 437-450. - 01.83 р.

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

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

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

11.

518
З-201

    Закревский, Аркадий Дмитриевич.
    Логические уравнения [Текст] : научное издание / А. Д. Закревский. - Минск : [б. и.], 1975. - 95 с. - Б. ц.

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

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

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

12.

16
Б 649

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

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

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

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

13.

16
Д 440


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

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

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

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

14.

51
Д 843

    Дурнев, Валерий Георгиевич.
    Элементы теории множеств и математической логики [Текст] : учебное пособие / В. Г. Дурнев ; Ярославский государственный университет. - Ярославль : ЯрГУ, 1978. - 116 с. - Б. ц.

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

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

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

15.

681.3
С 128

    Савельев, Александр Яковлевич.
    Арифметические и логические основы цифровых автоматов : Учебник для вузов / Александр Яковлевич Савельев. - М. : Высшая школа, 1980. - 254[2] с. : ил, табл. - Библиогр.: с. 249. -Предм. указ.: с. 250-251. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.053/056(075)
~РУБ 681.3

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

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

16.

512
Я 297

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

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

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

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

17.

16
С 300


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

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

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

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

18.

510
Г 601

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

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

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

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

19.

16
Ц 342

    Целищев, Виталий Валентинович.
    Философские проблемы логики (семантические аспекты) : / В. В. Целищев, В. В. Петров. - М. : Высшая школа, 1984. - 126, [2] с. - Библиогр. в примеч. в конце глав. - Б. ц.

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

Кл.слова (ненормированные):
философия -- логика -- значение -- референция -- подстановочные системы -- формальные языки -- модальные логики -- семантика
Доп.точки доступа:
Петров, Василий Викторович

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

20.

621.3
Ш159

    Шагурин, Игорь Иванович.
    Проектирование цифровых микросхем на элементах инжекционной логики / И. И. Шагурин, К. О. Петросянц. - М. : Радио и связь, 1984. - 231 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.382.049.77.001
~РУБ 621.3
Доп.точки доступа:
Петросянц, Константин Орестович

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

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

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

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