К88 Кудинова, М. И. Методические рекомендации к изучению курса "Математика": пособие для студ.-заоч. 1 курса факультета педагогики и методики начального образования [Текст] / М.И. Кудинова, Л.А. Овчинникова. - Оренбург : ОГПУ, 1998 - . Ч.1. - 48 с. : ил. - 4.65 р.
Кл.слова (ненормированные): Математика -- ПРЕПОДАВАНИЕ МАТЕМАТИКИ -- НАЧАЛЬНАЯ ШКОЛА -- НАЧАЛЬНОЕ ОБРАЗОВАНИЕ -- Педагогика -- 1 курс -- предикаты -- числовые функции -- декартово умножение -- умножение -- УЧЕБНАЯ ЛИТЕРАТУРА ПРЕПОДАВАТЕЛЕЙ ОГПУ -- множества -- учебно-методическое пособие -- научные труды ОГПУ Доп.точки доступа: Овчинникова Л.А. \соавт.\ Экземпляры всего: 5 1к (5) Свободны: 1к (5) |
Б86 Бочаров, В. А. Основы логики: Учебник [Текст] / В. А. Бочаров. - М. : Космеполис, 1994. - 272 с. - Б. ц.
Кл.слова (ненормированные): Науковедение -- язык -- дедукция -- логика -- учебник для вузов -- определение -- правдоподобие -- рассуждение -- понятие -- силлогистика -- дедуктивная логика -- классическая логика -- предикаты -- высказывание Экземпляры всего: 4 1к (3), ч/з-1, 2к (1) Свободны: 1к (3), 2к (1) |
Г52 Глагол в современном немецком языке [Текст] : сборник научных трудов (межвузовский) / Тульский государственный педагогический институт им. Л.Н. Толстого. - Тула : Изд-во ТГПИ, 1982. - 107 с. - 0.70 р.
Кл.слова (ненормированные): Иностранные языки -- дифференциальный признак -- глагольная конструкция -- антонимические глагольные пары -- синонимы -- субъективно-оценочный компонент -- ономатопы -- ударение -- сказуемое -- семантическая структура -- делокутивные включающие предикаты -- предикат -- имя прилагательное -- МЕЖВУЗОВСКИЙ СБОРНИК -- отыменно-причастное прилагательное -- сильный глагол -- семантические группы -- семантика Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
М62 Минский, М. Персептроны [Текст] / М. Минский, С. Пейперт; Пер. с англ. Г.Л. Гимельфарба; Под ред. В.А. Ковалевского. - М. : Мир, 1971. - 261 с. - 2.35 р.
Кл.слова (ненормированные): Математика -- вычислительные алгоритмы -- предикаты -- инварианты -- неравенства -- порядки -- стратификация -- нормализаторы -- вычислительная техника -- персептроны Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Н73 Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. : ил. - (Математическая логика и основания математики). - 1.43 р.
Кл.слова (ненормированные): Математика -- математическая логика -- основания математики -- конструктивная теория -- предикаты -- арифметика -- вычислимые функции Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
С79 Степанов, Ю. С. Имена. Предикаты. Предложения. Семиологическая грамматика [Текст] / Ю. С. Степанов; отв. ред. Ю. Н. Караулов. - М. : Наука, 1981. - 358 с. - 2.70 р.
Кл.слова (ненормированные): Языкознание -- имена -- предикат -- предложение (лингв) -- грамматика Доп.точки доступа: Караулов, Ю. Н. \ред.\ Экземпляры всего: 2 1к (1), 2к (1) Свободны: 1к (1), 2к (1) |
М30 Марченков, С. С. Элементарные рекурсивные функции [Текст] / С. С. Марченков. - М. : МЦНМО, 2003. - 112 с. - 43.00 р.
Кл.слова (ненормированные): Математика -- рекурсия -- функции -- предикаты -- арифметические функции -- рекурсивные функции Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
Н51 Ненашев, М. И. Введение в логику: Учеб. пособие по философии для студ. соц.-гуманит. и экономич. спец. и напр. подготовки [Текст] / М. И. Ненашев. - М. : Гардарики, 2004. - 352 с. - 76.00 р.
Кл.слова (ненормированные): Философия -- дедукция -- вероятностная логика -- вероятностные методы -- Экономика -- понятие -- суждение -- высказывание -- умозаключения -- дискуссии -- софистика -- доказательство -- опровержение -- предикаты -- учебное пособие для вузов -- логика Экземпляры всего: 1 1к (1) Свободны: 1к (1) |
К60 Колмогоров, А. Н. Математическая логика: Учеб. пособие для студ. математ. спец. вузов [Текст] / А.Н. Колмогоров, А.Г. Драгалин; МГУ им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - 195.00 р., 194.00 р.
Кл.слова (ненормированные): Математика -- формальные аксиоматические теории -- логические законы -- семантика языка -- булевы алгебры -- теория множеств -- математическая логика -- теорема Геделя -- логика высказываний -- логика предикатов -- основания математики -- теория доказательств -- теория алгорифмов -- предикаты -- дедукция Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |
З-15 Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: Учеб. пособие для студ. вузов, обуч. по спец. в обл. 090100 - "Информац. безопасность" [Текст] / М. М. Глухов [и др.]. - М. : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - 152.00 р., 143.28 р.
Кл.слова (ненормированные): Математика -- математическая логика -- задачи по математике -- дискретные функции -- теория алгоритмов -- учебное пособие для вузов -- алгебра Буля -- исчисление высказываний -- предикаты -- отношения -- алгебра предикатов -- исчисление предикатов -- аксиоматика Доп.точки доступа: Глухов, М.М.; Козлитин, О.А.; Шапошников, В.А.; Шишков, А.Б. Экземпляры всего: 15 2к (15) Свободны: 2к (15) |
Л65 Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник - практикум и решения: Учеб. пособие [Текст] / Л. М. Лихтарников. - 3-е изд., испр. - СПб. : ЛАНЬ, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - 350.00 р., 460.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- лекции -- задачник -- практикумы -- учебное пособие для вузов -- алгебра логики -- исчисление высказываний -- математические теории -- алгоритмы -- логика предикатов -- предикаты -- алгебра Буля Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |
И20 Иванов, Б. Н. Дискретная математика. Алгоритмы и программы. Расширенный курс: учеб. пособие для студ. вузов, обуч. по спец. "Приклад. математика и информатика" [Текст] / Б. Н. Иванов. - М. : Известия, 2011. - 512 с. - 670.00 р.
Кл.слова (ненормированные): Гриф -- Математика -- дискретная математика -- учебное пособие для вузов -- прикладная математика -- информатика -- математическая логика -- системы счисления -- булевы алгебры -- булевы функции -- алгебра Буля -- минимизация -- функциональная полнота -- алгебра Жегалкина -- теоремы Поста -- исчисление высказываний -- метод резолюций -- правило резолюции -- исчисление предикатов -- предикаты Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К 14 Казиев, В. М. Введение в математику и информатику [Текст] : учебное пособие / В.М. Казиев. - М. : Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2007. - 301 с. : ил., табл. - (Основы информационных технологий). - ISBN 978-5-94774-678-5 : Б.ц.
Кл.слова (ненормированные): УЧЕБНОЕ ПОСОБИЕ -- ВВЕДЕНИЕ В МАТЕМАТИКУ -- ВВЕДЕНИЕ В ИНФОРМАТИКУ -- ИСТОРИЯ МАТЕМАТИКИ -- ИСТОРИЯ ИНФОРМАТИКИ -- ВЕЛИЧИНЫ -- КООРДИНАТЫ -- ВЕКТОРЫ -- СОВОКУПНОСТИ -- ОТНОШЕНИЯ -- ГРАФЫ -- УРАВНЕНИЯ -- ПРЕДЕЛЬНЫЙ ПЕРЕХОД -- НЕПРЕРЫВНОСТЬ -- ДИФФЕРЕНЦИРОВАНИЕ -- ИНТЕГРИРОВАНИЕ -- КОМБИНАТОРИКА -- ЭЛЕМЕНТЫ ЛИНЕЙНОЙ АЛГЕБРЫ -- ЭЛЕМЕНТЫ НЕПРЕРЫВНОГО МАТЕМАТИЧЕСКОГО АНАЛИЗА -- ЭЛЕМЕНТЫ ДИСКРЕТНОГО МАТЕМАТИЧЕСКОГО АНАЛИЗА -- ЭЛЕМЕНТЫ ТЕОРИИ ВЕРОЯТНОСТЕЙ -- ЭЛЕМЕНТЫ ТЕОРИИ ИГР -- КОДИРОВАНИЕ ИНФОРМАЦИИ -- СИСТЕМЫ СЧИСЛЕНИЯ -- ВЫСКАЗЫВАНИЯ -- ПРЕДИКАТЫ -- ЛОГИЧЕСКИЕ ВЕНТИЛИ Аннотация: Книга содержит два учебных курса, которые предназначены для всех представителей «не физико-математических» и «не информатических» областей, интересующихся основами математики и информатики с целью познать эти основы и использовать их в своей работе или учебе. Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
П 84 Прояева, И. В. Избранные вопросы геометрии и математической логики [Текст] : учебное пособие / И. В. Прояева, М. И. Черемисина ; Министерство образования и науки Российской Федерации, Федеральное агентство по образованию, ГОУ ВПО "Оренбургский государственный педагогический университет". - Оренбург : ОГПУ, 2007. - 32 с. - Б. ц.
Кл.слова (ненормированные): МАТЕМАТИКА -- УЧЕБНАЯ ЛИТЕРАТУРА ПРЕПОДАВАТЕЛЕЙ ОГПУ -- УЧЕБНОЕ ПОСОБИЕ -- ГЕОМЕТРИЯ -- КОНСТРУКТИВНАЯ ГЕОМЕТРИЯ -- ИЗОБРАЖЕНИЕ ПЛОСКИХ ФИГУР -- ИЗОБРАЖЕНИЕ ПРОСТРАНСТВЕННЫХ ФИГУР -- ИЗОБРАЖЕНИЕ КОМБИНАЦИИ ТЕЛ -- ПОЗИЦИОННЫЕ ЗАДАЧИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- КВАНТОРЫ Аннотация: Данное учебное пособие посвящено важным разделам геометрии, математической логики: алгебре высказываний и предикатов, изображению плоских и пространственных фигур, комбинации тел и т.д. Этот материал рассматривается в курсе математики не только в высшей школе. В школьном курсе этим вопросам также уделяется должное внимание. А потому учитель математики обязан владеть основами логики высказываний, аксиомами конструктивной геометрии, изображать фигуры. Методика изложения материала позволяет использовать его на факультативных занятиях в средней школе, так как материал данного учебного пособия непосредственно примыкает к школьному курсу математики. Теоретический материал иллюстрируется примерами. Данное учебное пособие окажется полезным учителям, преподавателям и студентам высших учебных заведений и колледжей (в первую очередь - педагогических), учащимся старших классов и всем, кто интересуется математикой. Доп.точки доступа: Черемисина, М. И. Экземпляры всего: 2 2к (2) Свободны: 2к (2) |