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

Базы данных


Каталог книг- результаты поиска

Вид поиска
Каталог книг
Озерск и вопросы местного самоуправления
Краеведение
Систематическая картотека статей
Каталог редких книг
Каталог мультимедийных изданий
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=математическая логика<.>
Общее количество найденных документов : 16
Показаны документы с 1 по 10
 1-10    11-16 
1.
   22.12
   Ф 86

    Фреге, Готлоб.
    Избранные работы [Text] / Г. Фреге; пер. с нем. и сост. В. В. Анашвили, А. Л. Никифорова и др. - М. : Дом интеллектуальной книги ; М. : Русское феноменологическое общество, 1997. - 160 с. - ISBN 5-7333-0435-9 : 14.00 р.
ББК 22.12
Рубрики: Логика математическая
   
Кл.слова (ненормированные):
математическая логика
Аннотация: Готлоб Фреге(1848-1925)-немецкий математик и логик.Он оказал громадное и до сих пор не вполне оцененное влия-ние на развитие современной логики.В настоящем сборникепредставлены основные работы Г.Фреге,позволяющие составить целостную картину его творчества.


Доп.точки доступа:
Анашвили, В. В. \сост., пер. с нем.\; Никифоров, А. Л. \сост., пер. с нем.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
2.
   22.130
   Ф 86

    Фреге, Готлоб.
    Основоположения арифметики [Текст] : логико-математическое исследование о понятии числа / Г. Фреге; пер. с нем., вступ. ст. В. А. Суровцева. - Томск : Водолей, 2000. - 128 с. - (Библиотека аналитической философии). - ISBN 5-7137-0158-1 : 50.00 р.
ББК 22.130
Рубрики: Арифметические действия--Теория
   
Кл.слова (ненормированные):
арифметика -- математическая логика


Доп.точки доступа:
Суровцев, В. А. \авт. вступ. ст., пер. с нем.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
3.
   22.19
   Е 80

    Ершов, Ю. Л.
    Определимость и вычислимость [Текст] : [монография] / Ю. Л. Ершов ; РАН СО; Ин-т математики, Ин-т дискретной математики. - 2-е изд., испр. и доп. - М. : Экономика ; Новосибирск : Научная книга, 2000. - 318 с. - ISBN 5-282-02021-1 : 58.50 р.
ББК 22.19
Рубрики: Вычислительная математика--Руководства, пособия
   
Кл.слова (ненормированные):
математическая логика -- вычислительная математика


Доп.точки доступа:
РАН, Сибирское отделение, Институт математики, Институт дискретной математики
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
4.
   22.12 я73
   Л 13

    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов [Text] / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : ФИЗМАТЛИТ, 1995. - 256 с. - ISBN 5-02-014844-X : 2900.00 р.
ББК 22.12 я73
Рубрики: Математические множества--Теория--Задачи--Учебные издания для высших учебных заведений
   Логика математическая--Задачи--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Задачи--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
теория множеств (матем.) -- математика -- теория алгоритмов -- алгебра -- математическая логика


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

    Мадер, Виктор Викторович.
    Школьнику об алгебре логики [Text] : книга для внеклассного чтения учащихся 10-11 классов средней школы / В. В. Мадер. - Москва : Просвещение, 1993. - 128 с. : ил. - (Мир знаний). - ISBN 5-09-003544-Х : 300.00 р.
ББК 87.4 я72
Рубрики: Логика--Учебные издания для средней школы
Кл.слова (ненормированные):
логика -- математическая логика

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

    Набебин, А. А.
    Логика и Пролог в дискретной математике [Текст] / А. А. Набебин. - М. : Изд-во МЭИ, 1996. - 452 с. : ил. - ISBN 5-7046-0162-6 : 74.00 р.
ББК 22.176
Рубрики: Математика дискретная--Языки программирования
   
Кл.слова (ненормированные):
математика дискретная -- дискретная математика -- математическая логика -- логика математическая -- языки программирования -- Пролог(язык)

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
7.
   22.176 я73
   А 60

    Аляев, Ю. А.
    Дискретная математика и математическая логика [Текст] : учеб. для вузов / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. - ISBN 5-279-03045-7 : 176.44 р.
ББК 22.176 я73 + 22.12 я73
Рубрики: Математика дискретная--Учебники для высших учебных заведений
   Логика математическая--Учебники для высших учебных заведений
   
Кл.слова (ненормированные):
дискретная математика -- математика дискретная -- математическая логика -- логика математическая


Доп.точки доступа:
Тюрин, С. Ф.
Экземпляры всего: 1
ОТК (1)
Свободны: ОТК (1)
Найти похожие
8.
   22.12
   С 50

    Смаллиан, Рэймонд М..
    Как же называется эта книга? [Текст] : [сб. задач по математ. логике] / Р. Э. Смаллиан ; пер. с англ. и предисл. Ю. Данилова. - М. : Издат. Дом Мещерякова, 2007. - 272 с. : ил. - (Научные развлечения). - ISBN 978-5-91045-012-1 : 94.71 р.
ББК 22.12
Рубрики: Математическая логика--Сборники
   
Кл.слова (ненормированные):
математическая логика -- логика математическая


Доп.точки доступа:
Данилова, Ю. \авт. предисл., пер. с англ.\
Экземпляры всего: 1
Ю (1)
Свободны: Ю (1)
Найти похожие
9.
   22.176 я73
   С 12

    Соболева, Татьяна Сергеевна.
    Дискретная математика [Текст] : учеб. для вузов / Т. С. Соболева; под ред. А. В. Чечкина. - 2-е изд., испр. - М. : Академия, 2012. - 256 с. - (Университетский учебник. Прикладная математика и информатика). - ISBN 978-5-7695-5580-0 : 396.00 р.
ББК 22.176 я73
Рубрики: Математика дискретная--Учебники для высших учебных заведений
   
Кл.слова (ненормированные):
дискретная математика -- множества -- математическая логика -- логика математическая


Доп.точки доступа:
Чечкин, А. В. \ред.\
Экземпляры всего: 1
ОТК (1)
Свободны: ОТК (1)
Найти похожие
10.
   22.1
   П 58

    Попов, Александр Евгеньевич.
    МамаМатематика [Текст] : [6+] / А. Е. Попов. - Челябинск : Издательство Игоря Розина, 2012. - 96 с. : ил. - ISBN 978-5-903966-03-5 : 230.00 р.
ББК 22.1
Рубрики: Математика занимательная--Популярные издания
   
Кл.слова (ненормированные):
занимательная математика -- математическая логика -- математический счет

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