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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

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

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

16
М 968


    Мышление и язык : / Академия наук СССР, Институт философии (М.) ; ред. Д. П. Горский. - М. : Госполитиздат, 1957. - 406, [2] с. - Б. ц.

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

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

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

681.14
Г 55

    Глушков, Виктор Михайлович.
    Синтез цифровых автоматов / В. М. Глушков. - М. : Физмат, 1962. - 476 с. - (Математическая логика и основания математики). - Б. ц.

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

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

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

16
З-195


    Законы мышления : / Б. Кедров [и др.] ; ред. Б. М. Кедров ; Академия наук СССР, Институт философии (М.). - М. : Издательство АН СССР, 1962. - 335, [1] с. : табл. - (Диалектика и логика). - Б. ц.

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

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

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

518
Л 694


    Логика. Автоматы. Алгоритмы : научное издание / М. А. Айзерман [и др.] ; ред. Н. А. Королев. - М. : Физматгиз, 1963. - 556 с. : ил. - Библиогр.: с. 536-549. - Предм. указ.: с. 551-556. - Б. ц.

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

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

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

519
Д 354

    Депман, Иван Яковлевич.
    Первое знакомство с математической логикой [Текст] : научное издание / И. Я. Депман ; Общество "Знание" (Л.), Ленинградская организация. - 2-е изд. - Л. : [б. и.], 1965. - 56 с. - Б. ц.

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Общество "Знание" (Л.). Ленинградская организация

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

16
М 160

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

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

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

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

16
В 659

    Войшвилло, Евгений Казимирович.
    Понятие : / Е. К. Войшвилло. - М. : МГУ, 1967. - 284, [4] с. : ил. - Библиогр.: с. 277-280. - Предм. указ.: с. 281-285. - Б. ц.

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

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

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

51
И 257

    Ивс, Г. И.
    О математической логике и философии математики. Начальные сведения об основаниях математике [Текст] : научное издание / Г. И. Ивс, К. В. Ньюсом ; пер. Ф. Л. Варпаховский. - М. : [б. и.], 1968. - 48 с с черт. - (Математика, кибернетика : новое в жизни, науке, технике). - пер. с англ. - Б. ц.

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

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

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

62-5
К 381


    Кибернетический сборник. Новая серия [Текст] : сборник переводов. Вып. 5 / Академия наук СССР (М.), Научный совет по кибернетике ; ред.: А. А. Ляпунов, О. Б. Лупанов. - М. : Мир, 1968. - 208 с. : ил. - Библиогр. в конце ст. - Б. ц.

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

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

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

10.

519
К 268

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

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

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

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

11.

16
И 253

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

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

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

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

12.

62-5
Г 380

    Герм, Эдуард Иоганнесович.
    Бездиодные магнитные логические схемы [Текст] : / Э. И. Герм. - М. : Энергия, 1971. - 96 с. : ил., табл. - (Библиотека по автоматике ; вып. 449). - Библиогр.: с. 92-95. - Б. ц.

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

Кл.слова (ненормированные):
МАГНИТНЫЕ ЛОГИЧЕСКИЕ СХЕМЫ -- МАГНИТНЫЕ ЭЛЕМЕНТЫ -- ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ -- ЛОГИЧЕСКИЕ СХЕМЫ -- БЕСКОНТАКТНЫЕ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ -- БЕЗДИОДНАЯ МАГНИТНАЯ ЛОГИКА

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

13.

51
М 501

    Мендельсон, Эллиот.
    Введение в математическую логику : пер. с англ. / Э. Мендельсон ; пер. Ф. А. Кабаков, ред. С. И. Адян. - М. : Наука, 1971. - 320 с. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Б. ц.

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

Кл.слова (ненормированные):
математическая логика
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Адян, С. И. \ред.\

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

14.

16
К 642

    Кондаков, Николай Иванович.
    Логический словарь : / Н. И. Кондаков ; Академия наук СССР, Институт философии (М.). - М. : Наука, 1971. - 656 с. : ил., табл. - Библиогр.: с. 616-649. - Указ. имен: с. 650-656. - Б. ц.

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

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

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

15.

51
М 382


    Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г. -Д. Эббинхауз [и др.] ; пер. Э. Г. Белаги. - М. : Мир, 1972. - 264 с. : рис., табл. - (Современная математика. Популярная серия). - Пер. с нем. - Библиогр.в конце глав . - Имен. указ.: с. 249-250 . - Предм. указ.: с. 251-262. - 00.89 р.

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

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

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

16.

16
Л 694


    Логика и эмпирическое познание : / Академия наук СССР, Институт философии (М.) ; ред. П. В. Таванец. - М. : Наука, 1972. - 285, [4] с. - Библиогр. в конце ст. - Б. ц.

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

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

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

17.

681.14
Б46

    Беньон, Д.
    Цифровая магнитная логика : Пер. с англ. / Д. Беньон, Г. Крейн, Д. Нитцан; Пер. Ю. Д. Розенталь. - М. : Мир, 1972. - 288 с. : ил. - Библиогр.: с. 280-281. - (в пер.) : Б. ц.

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

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

Свободных экз. нет
Постоянная гиперссылка

18.

16
Б 881

    Бродский, Иосиф Нусимович.
    Элементарное введение в символическую логику : / И. Н. Бродский ; Ленинградский государственный университет им. А. А. Жданова. - 2-е перераб. изд. - Л. : ЛГУ, 1972. - 60,[4] с. : табл. - Б. ц.

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

Кл.слова (ненормированные):
логика -- символическая логика
Доп.точки доступа:
Ленинградский государственный университет им. А. А. Жданова

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

19.

51
К 493

    Клини, Стефан Коул.
    Математическая логика : Пер. с англ. / С. К. Клини ; пер. Ю. А. Гастев, ред. пер. Г. Е. Минц. - М. : Мир, 1973. - 480 с. : ил., табл. - Библиогр.: с. 451-465. - Предм. указ.: с. 470-478. - (в пер.) : 2.00 р.

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

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

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

20.

16
Ф 561


    Философия и логика : / ред.: П. В. Таванец, В. А. Смирнов ; ред.: П. В. Таванец, В. А. Смирнов. - М. : Наука, 1974. - 478, [2] с. : табл. - (Философия в современном мире). - Библиогр. в конце ст. - Б. ц.

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

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

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

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

Статистика за 05.07.2024
Число запросов	164449
Число заказов	0

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