Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог книг и продолжающихся изданий- результаты поиска

Вид поиска
Авторефераты диссертаций и диссертации
Отечественные журналы
Препринты
Электронный каталог книг и продолжающихся изданий
База ученого секретаря
Пресса об ИЯФ
Труды сотрудников ИЯФ (пополняемая)
Область поиска
 Найдено в других БД:Препринты (1)Труды сотрудников ИЯФ (пополняемая) (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 13
1.
   З 973.203.4
   М 15

    Макконнелл, Дж..
    Анализ алгоритмов. Активный обучающий подход : [учебное пособие для вузов по направлению "Информатика и вычислительная техника"] / Дж. Макконнелл ; перевод c английского С. А. Кулешова под редакцией С. К. Ландо. - Москва : Техносфера, 2009. - 415 с. : ил. - (Мир программирования). - Пер. изд. : Analysis Algorithms. An Active Learning Approach / J. J. McConnell. - Boston, 2008. - ISBN 978-5-94836-216-8
28.25.23
27.03
ББК З 973.203.4-018.0я73
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--УЧЕБНИКИ
   МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
АЛГОРИТМЫ ВЫЧИСЛИТЕЛЬНЫЕ (МАТЕМАТИКА) -- АЛГОРИТМЫ КОМПЬЮТЕРНЫЕ (АНАЛИЗ) -- АЛГОРИТМЫ СИСТЕМ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ -- ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ -- ЧИСЛА СЛУЧАЙНЫЕ (ПРОГРАММИРОВАНИЕ)


Доп.точки доступа:
Ландо, С. К. \ред. пер.\; Кулешов, С. А. \пер.\; McConnell, J. J.
Свободных экз. нет
Найти похожие
2.
   Ю0
   В 24

    Введение в философию : учебник для вузов : [в 2 ч.] / [Фролов И. Т., Араб-Оглы Э. А., Арефьева Г. С. и др.]. - Москва : Политиздат, 1989. - Авт. указаны на обороте тит. л. - ISBN 5-250-00315-X.
   [Ч.] 2 : Теория и методология: проблемы, понятия, принципы. - 639 с. ; 22 см. - Библиогр.: с. 629-639. - ISBN 5-250-01066-0
02.01
ББК Ю0я73

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


Доп.точки доступа:
Фролов, И. Т.; Араб-Оглы, Э. А.; Арефьева, Г. С.; Гайденко, П. П.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
3.
   А51
   Л 69

   
    Логика научного исследования / [П. В. Копнин и др. ; ответственные редакторы: П. В. Копнин и М. В. Попович] ; Институт философии Академии наук УССР. - Москва : Наука, 1965. - 360 с. ; 22 см. - 6 500 экз.. -
02.21
02.31
ББК А518я4

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


Доп.точки доступа:
Копнин, Павел Васильевич; Жариков, В. С.; Косолапов, В. В.; Копнин, Павел Васильевич \ред.\; Попович, М. В. \ред.\; Академия наук Украинской ССР; Институт философии АН УССР
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
4.
   Ю2
   К 75

    Кохановский, В. П.
    Философия и методология науки : учебник для вузов / Кохановский В. П. - Ростов-на-Дону : Феникс, 1999. - 576 с. - ISBN 5-222-00502-Х
02.31
ББК Ю25я73
Рубрики: Философия
Кл.слова (ненормированные):
философия -- учебник -- наука -- социокультура -- образ -- методология -- развитие -- закономерность -- познание -- теория -- эмпиризм -- история -- диалектика -- метафизика -- мышление -- деятельность -- логика -- естествознание -- сущность -- эволюция -- природа -- культура -- герменевтика -- постпозитивизм -- плюрализм

Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
5.
   В161.41
   Ф 87

    Френкель, А. А.
    Основания теории множеств / А. А. Френкель, И. Бар-Хиллел ; перевод с английского Ю. А. Гастева ; под редакцией и со вступительной статьей А. С. Есенина-Вольпина. - Изд. 3-е. - Москва : URSS : ЛИБРОКОМ, 2010. - 554 с. - (Физико-математическое наследие : ФМН. Математика (основания математики и логика)). - ISBN 978-5-397-01131-0
27.25
ББК В161.41
Рубрики: Множеств теория


Доп.точки доступа:
Бар-Хиллел, И.; Гастев, Ю. А. \пер.\; Есенин-Вольпин, А. С. \ред. пер.\; Есенин-Вольпин, А. С. \авт. вступ. ст.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
6.
   Ю4
   В 20

    Васюков, В. Л.
    Квантовая логика / В. Л. Васюков ; Российская академия наук, Институт философии. - Москва : ПЕР СЭ, 2005. - 191 с. ; 21 см. - 1000 экз.. - ISBN 5-9292-0142-0
02.21
ББК Ю4


Доп.точки доступа:
Российская академия наук; Институт философии РАН
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
7.
   В12
   Г 93

    Гудстейн, Р. Л.
    Математическая логика / Р. Л. Гудстейн ; перевод с английского В. С. Чернявского под редакцией и с предисловием С. А. Яновской. - Москва : Издательство иностранной литературы, 1961. - 161, [1] с. ; 21 см. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - Leicester, 1957. -
27.03.19
ББК В12


Доп.точки доступа:
Чернявский, В. С. \пер.\; Яновская, С. А. \ред. пер.\; Яновская, С. А. \авт. предисл.\; Goodstein, R. L.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
8.
   Ю4
   З-63

    Зиновьев, Александр Александрович.
    Логика науки / А. А. Зиновьев. - Москва : Мысль, 1971. - 278, [1] с. ; 21 см. - 12 000 экз.. -
02.21.41
02.31
ББК Ю4 + Ч21


Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
9.
   В12
   К 17

    Калужнин, Лев Аркадьевич.
    Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 149, [2] с. : ил. ; 20 см. - 42 000 экз.. -
27.03.19
ББК В12


Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
10.
   В318
   Б 43

    Белокуров, Владимир Викторович.
    Квантовая телепортация. Чудо, ставшее реальностью! Путь от зарождения до применения в реальных технологиях / В. В. Белокуров, О. Д. Тимофеевская, О. А. Хрусталев. - Изд. 2-е, перераб. и доп. - Москва : URSS : Ленанд, 2021. - 271 с. : ил. ; 22 см. - (НАУКУ - ВСЕМ! Шедевры научно-популярной литературы. Физика ; № 249). - ISBN 978-5-9710-8585-0
29.05.15
50.33
ББК В318г.я9 + З 973.209я9

Кл.слова (ненормированные):
квантовая механика -- квантовая логика -- квантовый компьютер


Доп.точки доступа:
Тимофеевская, Ольга Дмитриевна; Хрусталев, Олег Антонинович
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
11.
   Ю4
   К 62

    Кольман, Эрнест Яромирович.
    Занимательная логика : [авторизированный перевод с чешского] / Э. Я. Кольман, О. Зих ; Академия наук СССР. - Москва : Наука, 1966. - 127 с. : черт. ; 20 см. - (Научно-популярная серия). - 50 000 экз.. -
02.21
02.01.39
ББК Ю4я9


Доп.точки доступа:
Зих, Отокар; Академия наук СССР
Свободных экз. нет
Найти похожие
12.
   В127
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Изд. 2-е. - Москва : Наука, 1986. - 367 с. ; 21 см. - Прил.: Диофантность рекурсивно перечислимых множеств и предикатов / Д. А. Захаров. - 10 400 экз.. -
27.03
ББК В127
Рубрики: Логика (мат.)--Теория алгоритмов

Перейти к внешнему ресурсу: Оглавление

Доп.точки доступа:
Захаров, Д. А.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
13.
   В127
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Москва : Наука, 1965. - 391 с. ; 21 см. - 13 000 экз.. -
27.03
ББК В127
Рубрики: Логика (мат.)--Теория алгоритмов

Перейти к внешнему ресурсу: Оглавление
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)