Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

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

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

в найденном

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

Труды учёных ПГНИУ (2)

Продолжающиеся издания (1)

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

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

Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)

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

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

   51
   D 89

    Dummett, Michael.
    Frege : philosophy of mathematics / M. Dummett. - London : Duckworth, 2002. - xiii, 331 с. - На англ. яз. - Библиогр.: с. 322. - ISBN 0-7156-2660-4 : 849.50 р.

27
УДК	51:1(091)

Рубрики: Математика--Философия
Кл.слова (ненормированные):
Математика (философия) -- Аналитическая философия -- Философы Германии -- Математическая логика

Доп.точки доступа:
Фреге, Готлоб (1848-1925) \о нем\
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   51
   L 18

    Lacatos, Imre.
    Proofs and refutations: the logic of mathematical discovery / I. Lakatos ; ed.: J. Worrall, E. Zahar. - Cambridge ; New York : Cambridge University Press, 1999. - xii, 174 p. ; 23 cm. - На англ. яз. - Bibliogr.: p. 155-165. - Б. ц.

ГРНТИ	27.03
УДК	51:1	164

ББК Ю4в01
Рубрики: Математика--Философия
Кл.слова (ненормированные):
СИМВОЛИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Worrall, John \ed.\; Zahar, Elie \ed.\
Свободных экз. нет
Найти похожие

   51
   M 39

    Mathematics of the 19th century / ed.: A. N. Kolmogorov, A. P. Yushkevich. - Basel : Birkhauser, 2001 - .
   Vol. 1 : Mathematical logic. Algebra. Number theory. Probability theory / transl.: A. Shenitzer, H. Grant, O. B. Sheinin. - 2-е изд., rev. - 2001. - 308 с. : ил... - На англ. яз. - Библиогр.: с. 289-301. - ISBN 3-7643-6442-4. - ISBN 3-7643-6441-6 : 884.00 р.

ГРНТИ	27.03.19
УДК	51(091)

Рубрики: Математика--История
Кл.слова (ненормированные):
Математика (история) -- алгебра -- математическая логика -- теория вероятностей -- теория чисел

Доп.точки доступа:
Kolmogorov, Andrey Nikolayevitch (1903-1987) \ed.\; Yushkevich, A. P. \ed.\; Shenitzer, A. \transl.\; Grant, H. \transl.\; Sheinin, O. B. \transl.\
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   16од
   O-76

    Orman Quine, Willard (Van).
    From a logical point of view : 9 logico-philosopical essays / W. Orman Quine. - 2nd. ed. - Cambridge ; London : Harvard University Press, 2003. - xvi, 184 с. - Incl. bibliogr. ref. - ISBN 0-674-32351-3 : 597.00 р.
Примечания о происхождении:
Оксфордский Российский Фонд

02.51
УДК	16

ББК Ю42
Рубрики: Логика
Кл.слова (ненормированные):
Логические формы -- Философия языка -- Математическая логика -- Отражения теория

Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   1од
   P 98

   Putnam, Hilary
    Philosophical papers / H. Putnam. - Cambridge : Cambridge University Press, 2003.
   1 : Mathematics, matter and method. - 2003. - 364 с. - На англ. яз. - Библиогр.: с. 359. - ISBN 0-521-29550-5 : 1500.00 р.
Примечания о происхождении:
Оксфордский Российский Фонд

02
УДК	1(73)

ББК Ч210.1
Рубрики: Наука
Кл.слова (ненормированные):
ФИЛОСОФИЯ НАУКИ -- Математическая логика -- Физика (философия)

Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   51од
   R 19

    Ramsey, Frank Plumpton.
    The foundation of mathematics and other logical essays / F. P. Ramsey ; ed. by R. B. Btaithwaite; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - xviii, 292 с. - (The international library of philosophy) (Philosophy of logic and mathematics in 8 volumes ; vol. V). - Библиогр.: с. xv-xvi. - ISBN 0-415-22546-9 : 4500.00 р.
Примечания о происхождении:
Оксфордский Российский Фонд

27.03.19
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Логика -- Истина и вероятность

Доп.точки доступа:
Braithwaite, R. B. \ред.\; Moore, G. E. \авт. предисл.\
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие

   519
   А 603

    Аляев, Юрий Александрович.
    Дискретная математика и математическая логика : учебник для студентов вузов / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. - Библиогр.: с. 355-357. - ISBN 5-279-03045-7 : 116.80 р., 116.80 р.

ГРНТИ	27.01.33
УДК	519.1	510.6](075.8)

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

Доп.точки доступа:
Тюрин, Сергей Феофентович
Экземпляры всего: 33
Х (1), ЧЗЕ (1), АБУ (31)
Свободны: Х (1), ЧЗЕ (1), АБУ (31)
Найти похожие

   517
   А 721

    Антипенко, Леонид Григорьевич.
    Проблема неполноты теории и ее гносеологическое значение / Л. Г. Антипенко ; ред.: Н. И. Стяжкин, Л. И. Мчедлишвили ; АН СССР, Институт истории. - Москва : Наука, 1986. - 224 с. - 1.20 р.

ГРНТИ	27
УДК	510.6

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

Доп.точки доступа:
Стяжкин, Н. И. \ред.\; Мчедлишвили, Л. И. \ред.\; АН СССР; Институт истории
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   519
   А 901

    Асеев, Георгий Георгиевич.
    Дискретная математика : учебное пособие [для вузов] / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов на Дону : Феникс ; Харьков : Торсинг, 2003. - 144 с. - (Учебники). - Библиогр.: с. 138-139. - ISBN 5-222-03775-4. - ISBN 966-693-257-1 : 80 р.
    Содержание:
Теоретико-множественные основания дисциплины
Основы математической логики
Комбинаторика
Основы теории графов

ГРНТИ	27.01.33
УДК	519.1	510.6](075.8)

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

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

10.

10772

Балюкевич, Э. Л.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Балюкевич Э. Л. - Москва : Евразийский открытый институт, 2009. - 188 с. - ISBN 978-5-374-00220-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

519.1

ББК 22.176

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

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Ковалева, Л. Ф.
Свободных экз. нет
Найти похожие

11.

   519
   Б 218

    Балюкевич, Э. Л.
    Дискретная математика [Электронный ресурс] : учебно-практическое пособие / Э. Л. Балюкевич , Л. Ф. Ковалева, А. Н. Романников. - Электрон. текстовые дан. - Москва : ЕАОИ, 2010. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00334-5 : 5479.92 р.

ГРНТИ	27.01.33
УДК	519.1(075.8)

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

Перейти: Электронная библиотека

Доп.точки доступа:
Ковалева, Л.Ф.; Романников, А.Н.
Свободных экз. нет
Найти похожие

12.

   517
   Б 218

    Балюкевич, Эдуард Людвигович.
    Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электронный ун-т" [и др.]. - Электрон. текстовые дан. - Москва : Издательский центр Евразийского открытого института, 2009. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00220-1 : 5479.92 р.

ГРНТИ	27.03.19	27.03.17
УДК	510.6	510.51](075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.

Перейти: Электронная библиотека

Доп.точки доступа:
Ковалева, Л. Ф.; Московский государственный университет экономики, статистики и информатикиЕвразийский открытый институт; Международный консорциум "Электронный университет"
Свободных экз. нет
Найти похожие

13.

   51
   Б 248

    Барендрегт, Хендрик Питер.
    Ламбда-исчисление. Его синтаксис и семантика / Х. П. Барендрегт ; пер. с англ.: Г. Е. Минц ; ред. Кузичев А. С. - Москва : Мир, 1985. - 606 с. - Библиогр.: с. 574. - 3.70 р., 3.70 р.

ГРНТИ	27
УДК	51

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

Доп.точки доступа:
Минц, Г. Е. \пер.\; Кузичев А. С. \ред.\
Экземпляры всего: 3
АБН (2), Х (1)
Свободны: АБН (2), Х (1)
Найти похожие

14.

52144

Барский, А. Б.
Введение в нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 358 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

ББК 32.81

Кл.слова (ненормированные):
\"нечеткая\" логика -- математическая логика -- нейронная сеть -- принятие решений -- распознавание -- система искусственного интеллекта -- структура сети -- управление -- учебное пособие
Аннотация: На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта - распознавания, управления и принятия решений - во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку - обучение при заданной структуре сети. Главной целью данного курса является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

15.

52220

Барский, А. Б.
Логические нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 492 с. - ISBN 978-5-94774-646-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

004.032

ББК 32.818

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

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие

16.

   621.398
   Б 489

    Беркли, Э.
    Символическая логика и разумные машины : перевод с английского / Э. Беркли ; пер. И. В. Соловьев, ред., авт. предисл. Г. Н. Поваров. - Москва : Издательство иностранной литературы, 1961. - 260 с. - 1.03 р.
Кл.слова (ненормированные):
математическая логика -- счетные машины и приборы (вычислительные, электронные)

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

17.

59613

Бесценный, И. П.
Математическая логика [Электронный ресурс] : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.

УДК

510.6

ББК 22.12я73

Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Бесценная, Е. В.
Свободных экз. нет
Найти похожие

18.

   517
   Б 598

    Бизам, Д.
    Многоцветная логика. 175 логических задач / Д. Бизам, Я. Герцег ; ред. Ю. А. Данилов. - Москва : Мир, 1978. - 435 с. : ил. - 1.50 р., 1.50 р.

ГРНТИ	27.23
УДК	517

Рубрики: Математический анализ
Кл.слова (ненормированные):
Логика (задачи) -- Математическая логика

Доп.точки доступа:
Герцег, Я.; Данилов, Ю. А. \ред.\
Экземпляры всего: 3
АБН (2), Х (1)
Свободны: АБН (2), Х (1)
Найти похожие

19.

   517
   Б 839

   Борщев, В. Б.
    Математические методы в теории научно-технической информации / В. Б. Борщев. - М. : Ин-т повышен. квалификации информ. работников, 1979 - .
   Ч. 2 : Математическая логика. Базы данных : Метод. пособие. - 1979. - 52 с. - 0.10 р.

УДК

510.6(07)

Рубрики: Математический анализ
Кл.слова (ненормированные):
математическая логика -- базы данных

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

20.

1
Б 863

Бохенский, Юзеф Мария.
Современная европейская философия / Юзеф Мария Бохенский. - М. : Научный мир, 2000. - 256с. - (Современная европейская философия). - Библиогр.:с.229-243. - ISBN 5-89176-087-9 : 212.50.145, 212.50 р.

УДК

1(4)

ББК Ю3(4)6
РУБ 1
Рубрики: Философия Европы
Кл.слова (ненормированные):
Томизм -- Философия Европы -- Материя -- Идеи -- Жизнь -- Прагматизм -- Бергсонианство -- Существование -- Бытие -- Неокантианство -- Диалектический материализм -- Философия материи -- Математическая логика -- Философские общества -- Международные философские организации

Доп.точки доступа:
Бохенский, Юзеф Мария (1902-1995)
Экземпляры всего: 2
Х (1), ЧЗГ (1)
Свободны: Х (1), ЧЗГ (1)
Найти похожие

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

Тематический навигатор

Статистика обращений

Статистика за 03.07.2024
Число запросов	46510
Число посетителей	437
Число заказов	0

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