1426185 Р 973 Рюкова, А. Р. Предикаты модуса в современном английском и русском языках : автореферат дис. на соиск. учен. степ. канд. филол. наук / А. Р. Рюкова ; Башк. гос. ун-т. - Уфа, 2006. - 26 с. - Библиогр.: с. 25 Кл.слова (ненормированные): АНГЛИЙСКИЙ ЯЗЫК (ПРЕДИКАТ МОДУСА) -- РУССКИЙ ЯЗЫК (ПРЕДИКАТ МОДУСА) -- ПРЕДИКАТЫ МОДУСА Экземпляры всего: 1 Х (1) Свободны: Х (1) |
16 А 905 Асмус, Валентин Фердинандович (1894-1975). Логика : [учебник] / В. Ф. Асмус. - Изд. стереотип. - Москва : URSS : Книжный дом "ЛИБРОКОМ", 2014. - 386, [1] с. : ил. ; 22 см. - (Из истории логики ХХ века). - Библиогр. в подстроч. примеч. - Доп. тит. л. изд.: М.: ОГИЗ : Гос. изд-во полит. лит., 1947. - ISBN 978-5-397-04333-5 (в пер.) : 500 р.
Рубрики: Логика--Учебники для высших учебных заведений Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ЗАКОНЫ -- ПОНЯТИЕ (ЛОГИКА) -- СУЖДЕНИЕ (ЛОГИКА) -- ПРЕДИКАТ СУЖДЕНИЯ -- СОПОСТАВЛЕНИЕ СУЖДЕНИЙ -- УМОЗАКЛЮЧЕНИЕ (ЛОГИКА) -- СИЛЛОГИЗМЫ -- ИНДУКЦИЯ (ЛОГИКА) -- ДЕДУКЦИЯ (ЛОГИКА) -- ГИПОТЕЗЫ (ЛОГИКА) -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) Экземпляры всего: 1 Х (1) Свободны: Х (1) |
16 А 905 Асмус, Валентин Фердинандович. Логика : учебник / В. Ф. Асмус. - 3-е изд. - Москва : ЛИБРОКОМ, 2010. - 392 с. : ил. - (Из истории логики ХХ века). - ISBN 978-5-397-01448-9 : 219.00 р.
Рубрики: Логика--Учебники для высших учебных заведений Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ЗАКОНЫ -- ЗАКОН ТОЖДЕСТВА -- ЗАКОН ПРОТИВОРЕЧИЯ -- ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО -- ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ -- ПОНЯТИЕ (ЛОГИКА) -- СУЖДЕНИЕ (ЛОГИКА) -- УМОЗАКЛЮЧЕНИЕ (ЛОГИКА) -- СИЛЛОГИЗМЫ -- ИНДУКЦИЯ (ЛОГИКА) -- ДЕДУКЦИЯ (ЛОГИКА) -- ГИПОТЕЗЫ (ЛОГИКА) -- ПРЕДИКАТ СУЖДЕНИЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГИКА) Экземпляры всего: 1 АБУ (1) Свободны: АБУ (1) |
21079 Ковалева, Л. М. Английская грамматика. Предложение и слово [Текст] / Ковалева Л. М. - Иркутск : Иркутский государственный лингвистический университет, 2008. - 406 с. - ISBN 978-5-88267-291-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): английская грамматика -- аспектуально-временные формы -- германское языкознание -- глагольный предикат -- предложение -- слово Аннотация: Монография представляет собой научно-теоретическое издание, посвященное исследованию грамматики английского языка в свете современных представлений науки о языке. Предложение и слово рассматриваются в неразрывном единстве соответственно их способу существования в языке. В результате многие старинные сложные проблемы грамматики предстают в новом свете. Книга предназначена для широкого круга специалистов по общему и германскому языкознанию, а также может быть использована как учебник при подготовке магистров. Перейти: Перейти к просмотру издания Свободных экз. нет |
61982 Зайцева, О. Н. Математические методы в приложениях. Дискретная математика [Электронный ресурс] : учебное пособие / Зайцева О. Н. - Казань : Казанский национальный исследовательский технологический университет, 2014. - 173 с. - ISBN 978-5-7882-1570-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): булева алгебра -- булева логика -- дискретная математика -- квантор -- математический метод -- предикат -- теория множеств Аннотация: В представленном пособии в доступной форме рассказывается о фундаментальных понятиях дискретной математики – логике, булевых функциях, множествах, отношениях и графах. Теория изложена кратко, но иллюстрирована многочисленными простыми для понимания примерами. Изложение курса дискретной математики представлено в форме решения математических задач различной сложности, связанных с программированием. Предложены алгоритмы решения этих задач, написанные на «псевдокоде». Пособие может быть использовано при изучении дисциплин «Дискретная математика», «Информатика», «Линейная алгебра и дискретная математика», «Логика» студентами института легкой промышленности моды и дизайна (направление подготовки «Информационные системы и технологии»), инженерного химико-технологического института (направление подготовки «Информационная безопасность»), института управления, автоматизации и информационных технологий (направление подготовки «Информатика и вычислительная техника»). Подготовлено на кафедре информатики и прикладной математики. Перейти: Перейти к просмотру издания Доп.точки доступа: Нуриев, А. Н.; Малов, П. В. Свободных экз. нет |
72121 Перемитина, Т. О. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгебра -- алгоритм -- булева функция -- математическая логика -- предикат Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов». Перейти: Перейти к просмотру издания Свободных экз. нет |