Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
 Найдено в других БД:Электронный каталог (6)
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.


    Фалина, И. Н.
    Элементы теории алгоритмов / И. Н. Фалина // Информатика. - 2004. - № 3. - Весь номер
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
Поста машина -- Тьюринга машина -- алгоритмы -- машина Поста -- машина Тьюринга -- теория алгоритмов
Аннотация: Понятие алгоритмов, их виды, способы записи, алгоритмы поиска, сортировки; методические указания по изучению темы на уроках.

Прямая ссылка
Найти похожие
2.


    Тимофеева, И. Л.
    Размышления об обратных теоремах и кванторах / И. Л. Тимофеева // Математика в школе. - 2005. - № 5. - С. 64-68. - (Научно-популярный отдел) ) . - Библиогр.: с. 68 (4 назв. )
. - ISSN 0130-9358
УДК
^A371.3
^A510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
   Образование. Педагогика
   Теория и методика обучения
Кл.слова (ненормированные):
импликации -- кванторы -- логические средства -- математика -- математическая логика -- методы построения обратных утверждений -- обратные теоремы -- обратные утверждения -- построения доказательств -- прямые теоремы -- теоремы -- эвристические средства
Аннотация: Приводятся способы доказательства обратных теорем и примеры использования кванторов в обучении математике.

Прямая ссылка
Найти похожие
3.


    Николенко, Сергей.
    Истина в математике: от Египта к... Египту? / С. Николенко // Знание-сила. - 2008. - № 6. - С. 63-69
. - ISSN 0130-1640
УДК
^A51(091)
^A510.6
ББК 22.1г + 22.12
Рубрики: Математика
   История математики
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- истина в математике -- математическая истина
Аннотация: О математической истине.

Прямая ссылка
Найти похожие
4.


   
    Очевидное - недоказуемое, или Почему теоремы Геделя о неполноте волнуют не только математиков // Наука и жизнь. - 2012. - № 11. - С. 30-31. - (Подробности для любознательных) )
. - ISSN 0028-1263
УДК
^A510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
Геделя теорема -- инструменты познания -- логика -- математические утверждения -- познание -- теорема Геделя -- теоремы
Аннотация: В статье рассказывается о теореме Геделя, которая представляет собой математическое утверждение, сделанное относительно одного конкретного инструмента познания - логики.

Прямая ссылка
Найти похожие
5.


    Любарский, Георгий.
    Интеллектуальное приключение: моделируем сознание / Георгий Любарский // Эксперт. - 2012. - № 39. - С. 91. - (Книги. Наука) )
. - Рец. на кн.: Пенроуз Р. Новый ум короля : о компьютерах, мышлении и законах физики. - 4 изд. - Москва: ЛКИ, 2011. - 400 с. . - ISSN 1812-1896
УДК
^A530.1
^A510.6
^A004.8
ББК 22.31 + 22.12 + 32.813
Рубрики: Физика
   Теоретическая физика
   Математика
   Математическая логика
   Радиоэлектроника
   Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
ИИ -- вычислимость -- детерминированность -- искусственный интеллект -- моделирование мышления -- моделирование сознания -- мышление -- рецензии -- физическая реальность


Доп.точки доступа:
Пенроуз, Роджер
Прямая ссылка
Найти похожие
6.

Фонд выполненных справок в БФ № 3758 / Д 30-

    Дементьева, Алла.
    Алга-ритм Жумагулова / Алла Дементьева // Наука и жизнь. - 2013. - № 7. - С. 68-71 : 1 фот., 2 рис. - (Люди науки) )
. - Фонд выполненных справок в БФ № 3758 . - ISSN 0028-1263
УДК
^A510.6
^A622.276
ББК 22.12 + 33.36
Рубрики: Математика
   Математическая логика
   Горное дело
   Разработка нефтяных и газовых месторождений
Кл.слова (ненормированные):
добыча нефти -- казахские математики -- математики -- математическое моделирование -- нефтедобыча -- нефть -- ученые
Аннотация: В заголовке нет опечатки: в переводе с казахского слово "алга" означает "вперед". Ритм научного мышления казахского математика Бакытжана Жумагулова и в самом деле опережает время, что и позволяет коллегам так шутить. В статье рассказывается о результатах многолетних исследований ученого в области математического моделирования, которое применяется в технологических процессах нефтедобычи.


Доп.точки доступа:
Жумагулов, Бакытжан (казахский математик)
Прямая ссылка
Найти похожие
7.
16+


    Вторников, Алексей.
    Странная формула. Ч. 5. Вездесущая единица / А. Вторников // Системный администратор. - 2014. - № 12. - С. 76-80
. - Продолж. Начало: №№ 7/8, 12, 2013; 1/2, 5, 2014 . - ISSN 1813-5579
УДК
^a510.6
ББК 32.973.202 + 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
базовые операции -- композиции функций -- логические операции -- рекурсивные функции -- рекурсии -- числа
Аннотация: О теории рекурсивных (вычислимых) функций.

Прямая ссылка
Найти похожие
8.


    Рубина, С.
    Кластеризация: объединяй и властвуй / С. Рубина // Химия и жизнь - XXI век. - 2015. - № 12. - С. 44-45 : рис. - (Математюры) )
. - ISSN 1727-5903
УДК
^a510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
классификация объектов -- кластерный анализ -- методы кластеризации -- многомерные статистические процедуры -- объединение в кластеры -- принципы кластеризации -- сбор данных
Аннотация: Что такое кластеризация, методы и принципы кластеризации, области ее применения.

Прямая ссылка
Найти похожие
9.


    Бирюков, Б. В.
    Герман Вейль : (К 85-летию знаменитого "Континуума") / Б. В. Бирюков, Л. Г. Бирюкова // Вестник Московского университета. Сер. 7, Философия. - 2004. - № 2. - С. 97-110. - (Логика) ) . - Библиогр. в примеч. - Вейль Герман
. - ISSN 0201-7385
УДК
^A165
^A16
^A510.6
ББК 87.22 + 87.4 + 22.12
Рубрики: Философия
   Гносеология, 20 в. нач.
   Логика
   Общие вопросы логики
   Математика
   Математическая логика
Кл.слова (ненормированные):
биографии -- математики -- познание (филос. ) -- предикативизм -- теория познания -- ученые
Аннотация: В 1918 г. в Лейпциге увидела свет небольшая книжка, явившаяся вехой в развитии философии математики прошлого столетия - это было сочинение математика-универсала, внесшего значительный вклад также и в теоретическую физику, Германа Вейля. Называлось оно - "Континуум". Эпохальное значение труда определялось тем, что в нем были сформулированы основные положения нового неклассического направления в логическом основании математики, которое впоследствии получило название предикативизм.


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