Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 2, Results: 15
Отмеченные записи: 0
11.
Подробнее
Теория моделей в Казахстане : сборник научных работ, посвященный памяти А. Д. Тайманова / [под ред. М. М. Еримбетова]. - Алматы : Eco Study, 2006. - 447 с. : фотоил., портр.. - ISBN 9965971838
Рубрики: математическая логика--сборники научных трудов
Кл.слова (ненормированные):
моделей теории -- перекидки теорема -- топологические исследования -- топология -- математики -- квазитрансцендентные теории -- предельные сводимости -- исчисление имен -- Райса теорема -- математические теории -- ограниченной размерности теории -- матричные группы -- кванторы (логика) -- математические кванторы -- модулярные решетки
Доп.точки доступа:
Еримбетов, Мырзахан Мырзахметович \ред.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Теория моделей в Казахстане : сборник научных работ, посвященный памяти А. Д. Тайманова / [под ред. М. М. Еримбетова]. - Алматы : Eco Study, 2006. - 447 с. : фотоил., портр.. - ISBN 9965971838
| УДК |
Рубрики: математическая логика--сборники научных трудов
Кл.слова (ненормированные):
моделей теории -- перекидки теорема -- топологические исследования -- топология -- математики -- квазитрансцендентные теории -- предельные сводимости -- исчисление имен -- Райса теорема -- математические теории -- ограниченной размерности теории -- матричные группы -- кванторы (логика) -- математические кванторы -- модулярные решетки
Доп.точки доступа:
Еримбетов, Мырзахан Мырзахметович \ред.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
12.
Подробнее
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Российский государственный гуманитарный университет, Российская академия наук, Всероссийский институт научной и технической информации ; сост. : О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова. - Москва : [ЛИБРОКОМ], [2009]. - 430 с. : ил., табл. - Библиогр. в конце гл.. - ISBN 9785397006361
ББК 32.813
Рубрики: искусственный интеллект--монографии
Кл.слова (ненормированные):
ДСМ-метод -- автоматическое порождение гипотез -- математическая логика -- индукция (логика) -- абдукция (логика) -- аналогия (логика) -- правдоподобные рассуждения (логика) -- Поппера принцип фальсификации -- эвристика (математическая логика) -- интеллектуальный анализ данных -- интеллектуальные системы -- логические программы -- обобщенные кванторы
Доп.точки доступа:
Аншаков, О. М. \сост.\
Фабрикантова, Е. Ф. \сост.\
Российский государственный гуманитарный университет
Российская академия наук. Всероссийский институт научной и технической информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Российский государственный гуманитарный университет, Российская академия наук, Всероссийский институт научной и технической информации ; сост. : О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова. - Москва : [ЛИБРОКОМ], [2009]. - 430 с. : ил., табл. - Библиогр. в конце гл.. - ISBN 9785397006361
| УДК |
Рубрики: искусственный интеллект--монографии
Кл.слова (ненормированные):
ДСМ-метод -- автоматическое порождение гипотез -- математическая логика -- индукция (логика) -- абдукция (логика) -- аналогия (логика) -- правдоподобные рассуждения (логика) -- Поппера принцип фальсификации -- эвристика (математическая логика) -- интеллектуальный анализ данных -- интеллектуальные системы -- логические программы -- обобщенные кванторы
Доп.точки доступа:
Аншаков, О. М. \сост.\
Фабрикантова, Е. Ф. \сост.\
Российский государственный гуманитарный университет
Российская академия наук. Всероссийский институт научной и технической информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
13.
Подробнее
Калужнин, Лев Аркадьевич.
Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 151 c. : ил. - Библиогр. : с. 149-150.
Рубрики: математическая логика--популярные издания
Кл.слова (ненормированные):
логика высказываний -- логика педикатов -- булевы функции -- Буля алгебра -- основания математики -- логические операции -- предикаты -- кванторы -- силлогизмы -- применение алгебры логики
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Калужнин, Лев Аркадьевич.
Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 151 c. : ил. - Библиогр. : с. 149-150.
| УДК |
Рубрики: математическая логика--популярные издания
Кл.слова (ненормированные):
логика высказываний -- логика педикатов -- булевы функции -- Буля алгебра -- основания математики -- логические операции -- предикаты -- кванторы -- силлогизмы -- применение алгебры логики
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
14.
Подробнее
Сериков, Ю. А. (канд. техн. наук).
Механизм раскрытия кванторов по булевым переменным / Ю. А. Сериков // Автоматика и телемеханика. - N 10 (2005), С. 108-119. - Библиогр.: с. 119 (3 назв. )
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
раскрытие кванторов -- механизм раскрытия кванторов -- кванторы -- булевые переменные -- логические выражения -- преобразование логических выражений
Аннотация: Приводится описание алгебраической системы раскрытия кванторов, в которой применен покомпонентный метод раскрытия, совмещенный с развитым блоком теорем эквивалентных преобразований.
Сериков, Ю. А. (канд. техн. наук).
Механизм раскрытия кванторов по булевым переменным / Ю. А. Сериков // Автоматика и телемеханика. - N 10 (2005), С. 108-119. - Библиогр.: с. 119 (3 назв. )
| УДК |
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
раскрытие кванторов -- механизм раскрытия кванторов -- кванторы -- булевые переменные -- логические выражения -- преобразование логических выражений
Аннотация: Приводится описание алгебраической системы раскрытия кванторов, в которой применен покомпонентный метод раскрытия, совмещенный с развитым блоком теорем эквивалентных преобразований.
15.
Подробнее
Тимофеева, И. Л.
Кванторные обороты и обороты с кванторным смыслом в обучении математике / И. Л. Тимофеева, И. Е. Сергеева // Математика в школе. - N 9 (2009), С. 30-35. - Библиогр.: с. 44
ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
методические рекомендации -- кванторы -- кванторные слова -- элементы логики -- значения общности -- значения существования -- особенности употребления кванторов -- преподавание математики
Аннотация: Даются пояснения значений кванторных слов и оборотов, которые употребляются в учебниках математики, указывается на важность их правильного понимания и употребления школьниками при изучении математики.
Доп.точки доступа:
Сергеева, И. Е.
Тимофеева, И. Л.
Кванторные обороты и обороты с кванторным смыслом в обучении математике / И. Л. Тимофеева, И. Е. Сергеева // Математика в школе. - N 9 (2009), С. 30-35. - Библиогр.: с. 44
| УДК |
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормированные):
методические рекомендации -- кванторы -- кванторные слова -- элементы логики -- значения общности -- значения существования -- особенности употребления кванторов -- преподавание математики
Аннотация: Даются пояснения значений кванторных слов и оборотов, которые употребляются в учебниках математики, указывается на важность их правильного понимания и употребления школьниками при изучении математики.
Доп.точки доступа:
Сергеева, И. Е.
Page 2, Results: 15