Книги почтой booksiti.net.ru (499)2130422

Математика

Логика и основы аргументации

Наименование:

Вводный курс математической логики

Автор:

Верещагин Н.К.

размер 214x140x6 мм
мягкая обложка
вес 141 грамм
128 страниц
2007 год

Издательство:

Физматлит

Цена:

320 руб

способы доставки и оплаты

Описание:

Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики. Учебное пособие.

Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка

2990 руб
Бесплатная доставка

Русская философия: энциклопедия

Кроме общего курса истории философии он читал курс по философии Канта. Смирнов был горячим сторонником развития математической логики, и не без его участия в 1888Pг. впервые в стране астроном и математик Порецкий прочел в ун-те курс математической логики. А заняться математической логикой Порецкому рекомендовал видный математик А. В. Васильев. В 1896Pг. исполняющим должность экстраординарного проф. по кафедре философии был утвержден выпускник Дерптского ун-та, магистр философии Бобров. Он считал себя учеником Г. Тейхмюллера, а собственную систему взглядов называл "критическим индивидуализмом"; много внимания уделял проблемам онтологии, гносеологии, вопросам искусства; начал собирать и публиковать материалы по философии и просвещению в России. В ун-те он читал курсы логики, психологии, гносеологии, истории древн. и новой философии, педагогики и истории педагогики; в 1903Pг. был переведен в Варшавский ун-т. В 1902Pг. приват-доцентом по кафедре философии стал А. Д. Гуляев. Он начал читать курсы логики, истории древн. философии ...»

Код для вставки книги в блог

HTML

phpBB

Вводный курс математической логики Верещагин Н.К.  [url=http://www.booksiti.net.ru/books/2622750][img]http://www.booksiti.net.ru/books/2622750.jpg[/img][/url]

текст

Вводный курс математической логики Верещагин Н.К.  http://www.booksiti.net.ru/books/2622750

Элементы математической логики Вводный курс математики Логика

Бумага "Color copy", А4, 220 г/м2, 250 листов

Бумага "Color copy", А4, 220 г/м2, 250 листов.
Формат: А4. Плотность: 220 г/м2. Количество листов: 250. Белизна: 161% CIE.
835 руб
Раздел: Формата А4 и меньше

Мелки для доски, 12 цветов

Мелки для доски, 12 цветов.
Набор цветных мелков для досок. Количество цветов: 12. Яркие цвета. Без пыли и крошек. Легко стирается. Обернуты в бумажную манжетку. В
416 руб
Раздел: Мел

Бумага "IQ Selection Smooth", А4, 160 г/м2, 250 листов

Бумага "IQ Selection Smooth", А4, 160 г/м2, 250 листов.
Класс: A+. Формат: А4. Количество листов: 250. Плотность бумаги: 160 г/м2. Белизна по CIE – 170 %. Подходит для двусторонней печати.
490 руб
Раздел: Формата А4 и меньше

Курс математической логики и теории вычислимости. Учебное пособие
Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов.
1130 руб 2014 год 416 стр. твердый переплет

Математическое и компьютерное моделирование. Вводный курс
В приложении приводятся примеры исследования динамической системы с помощью различных инструментальных средств (Mathematica, Maple, Matlab, Mathcad) и даются начальные сведения об алгоритмах генерации случайных чисел.
209 руб 2012 год 152 стр. мягкая обложка

В 4 тт Школа 2100 Вводный курс истории и обществознания (комплект 'Окружающий мир'): Учебник для 3 класса четырехлетней и 2 класса трехлетней начальной школы: Мое Отечество:
Разработан на основе минимума содержания образования, утвержденного Министерством образования РФ. К учебнику прилагаются рабочая тетрадь и методическое пособие для учителя.
117 руб 1998 год 192 стр. Мягкая обложка

Учебник для 4 класса Изд. 2-е, перераб. Вводный курс истории и обществознания: Человек и человечество: Окружающий мир:
Программа и учебник Человек и человечество - составная часть курса Окружающий мир, который входит в комплект Образовательной системы Школа 2100.
146 руб 2005 год 128 стр. Мягкая обложка

Игры по музыкальной литературе: Выпуск 1: Вводный курс
126 руб 2003 год 32 стр. Мягкая обложка

Организация отраслевых рынков: Вводный курс нет серии ISBN 985-475-049-3
446 руб 2003 год

Решение задач математической логики с использованием элементарной алгебры
135 руб 2004 год 80 стр. Мягкая обложка

Антропологическая лингвистика. Вводный курс
Рекомендуется филологам всех специальностей, историкам, этнографам, психологам, студентам и аспирантам гуманитарных факультетов, а также всем интересующимся проблемами языка.
226 руб 2004 год 224 стр. мягкая обложка

Deutsch fur die Anfanger: Комплексный вводный курс немецкого языка - 240 с. ISBN 5-8346-0078-6 ~90.12.04 013
47 руб `00 год

Вводный курс делового письма. 10-11 классы. Учебное пособие
Данное учебное пособие направлено на развитие навыков делового общения на английском языке и предназначено для учащихся 10-11 классов общеобразовательных учреждений.
50 руб 2008 год 96 стр. мягкая обложка

Химия. 7 класс. Вводный курс. Учебное пособие
Данное пособие дополняет учебно-методический комплект О. С. Габриеляна. Учебное пособие готовит учащихся к восприятию нового предмета, базируется на изучении веществ и химических процессов, знакомых школьникам из повседневной жизни, с минимальным использованием химических формул, уравнений, реакций и расчетных задач.
206 руб 2014 год 160 стр. твердый переплет

Вводный курс (книга + 2 CD) (+ Audio CD) Китайский язык.
Книга адресована широкому кругу читателей.
907 руб 2006 год 384 стр. твердый переплет

Авторское право: вводный курс. Гриф УМО МО РФ
Может использоваться в учебном процессе по юридическим специальностям, а также по специальности «Литературное творчество».
322 руб 2007 год 256 стр. твердый переплет

Химия: Вводный курс: Учебное пособие для 7 класса Изд. 2-е, стереотип. ISBN 978-5-358-02059-7
176 руб 2007 год 160 стр. Целофанированный переплет

Микроконтроллеры семейства XC166: вводный курс разработчика
Предназначена для разработчиков радиоэлектронной аппаратуры, инженеров, студентов технических ВУЗов, специалистов в области микроконтроллерной техники.
617 руб 2016 год 200 стр. мягкая обложка

Химия: Вводный курс: Учебное пособие для 7 класса Изд. 3-е, стереотип.
146 руб 2008 год 160 стр. Целофанированный переплет

Человек и человечество: Учебник для 4 класса Изд. 2-е, перераб. Окружающий мир: Вводный курс истории и обществознания:
Соответствует Обязательному минимуму. . . (1998) и Федеральному компоненту государственного стандарта общего образования (2004), является продолжением непрерывного курса и составной частью комплекта учебников Образовательной системы Школа 2100.
146 руб 2007 год 128 стр. Мягкая обложка

Практический курс арабского литературного языка. В 2-х частях. Часть 1. Вводный курс
342 руб 341 стр. твердый переплет

Русская вероятностная логика. Азбука математической логики
Для широкого круга читателей.
176 руб 2009 год 320 стр. твердый переплет

Окружающий мир. Моё Отечество. 3 класс. Учебник. В 4 частях: Вводный курс истории и обществознания
187 руб 2004 год 192 стр. Мягкая обложка

Вводный курс истории и обществознания. 3 класс. Учебник. В 4 частях. Часть 4 Мое Отечество. Окружающий мир.
44 руб 2007 год 48 стр. Мягкая обложка

Ведическая астрология. Вводный курс
Предлагаемая вашему вниманию книга - еще одни луч света для тех, кто ищет духовного озарения в традициях ведической мудрости и для всех изучающих астрологию на Востоке и Западе.
149 руб 2010 год 288 стр. мягкая обложка

Экономическая теория: Основы. Вводный курс
Учебное пособие представляет систематизированное и углубленное изложение основ экономической теории в рамках вводного курса (2-е изд. вышло в 2005 г. ). Подготовлено на основе лекций, прочитанных автором в ВУЗах республики, а также с учетом практического опыта работы в Правительстве Республики Беларусь и национальной банковской системе.
2 руб 2007 год 496 стр. твердый переплет

Метод Монте-Карло в вычислительной математике. Вводный курс
Книга адресована широкому кругу читателей, интересующихся современными проблемами математического моделирования и вычислительной математики.
320 руб 2011 год 192 стр. мягкая обложка

Учебное пособие для студентов филологических специальностей высших учебных заведений. Гриф МО РФ Теория языка. Вводный курс.
Разделы курса "Язык и мышление", "Природа и сущность языка", "Классификации языков мира", "Фонологические и грамматические теории", "Семасиология" раскрываются с учетом новейших достижений языковедения - социо- и психолингвистики, синхронической и диахронической, когнитивной лингвистики.
481 руб 2010 год 384 стр. твердый переплет

Социология: Вводный курс
667 руб 1998 год 496 стр. твердый переплет

Программирование. Том 1: Вводный курс. Том 2: Теоремы и задачи (количество томов: 2)
Пособие может быть использовано на кружковых и факультативных занятиях в общеобразовательных учреждениях, а также в школах с углубленным изучением математики и информатики.
487 руб 1995 год 360 стр. мягкая обложка

Гриф УМО МО РФ Вводный курс математики. Учебное пособие для студентов учреждений высшего профессионального образования.
Учебное пособие содержит подробный теоретический материал, проиллюстрированный примерами, а также систему задач и упражнений по темам дисциплины "Вводный курс математики": множества и функции; математические предложения и их строение; математические определения и теоремы и их строение; математические рассуждения и их строение.
970 руб 2011 год 240 стр. твердый переплет

Электронный учебник для студентов вузов. CD-ROM (PDF). Логика. Общий курс формальной логики. Гриф УМЦ "Профессиональный учебник"
Схематизация наглядна, удобна в пользовании и позволяет обучаемым лучше усваивать материал.
318 руб

Вводный курс Язык и лингвистика.
Предлагаемая читателю книга представляет собой учебник для курса "Введение в лингвистику", который читается в университетах других стран студентам разных специальностей - как филологических, так и естественнонаучных и технических.
2 руб 2009 год 320 стр. мягкая обложка

Лекции по дискретной математике: Учебное пособие для вузов - 624 с. Элементы математической логики; Основные алгебраические структуры: полугруппы, группы, кольца, поля, булевы алгебры, решетки; Множества, отношения, комбинаторика; Основные положения теории графов, теория автоматов и формальных грамматик: Алгоритмические системы, их свойства и приложения;
Освещаются основные математические свойства той или иной теории вместе с данными, необходимыми для решения упражнений.
295 руб `04 год

Множества и операции над ними; Практическое пособие Элементы математической логики: Тестовые задания по начальному курсу математики:
8 руб 1999 год

Элементы математической логики и теории множеств
992 руб 1968 год 143 стр. мягкая обложка

Элементы математической логики и теория множеств
В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, разъясняются основные теоретико-множественные понятия и аппарат, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики. Книга Е. Слупецкого и Л. Борковского является хорошей основой для дальнейшего изучения более трудных и обстоятельных работ по современной логике и основаниям математики.
492 руб 1965 год 367 стр. мягкая обложка

Элементы математической логики
За это время задача ознакомления широкого круга математиков с основами математической логики стала ещё более актуальной.
1617 руб 1973 год 400 стр. мягкая обложка

Учебное пособие для вузов Изд. 2-е, испр. , доп. Вводный курс: 12 лекций по вычислительной математике:
Учебник содержит необходимые начальные представления о средствах, терминологии и возможностях вычислительной математики.
242 руб 2000 год 224 стр. Мягкая обложка

Математика. Вводный курс
173 руб 2012 год 104 стр. мягкая обложка

Вводный курс 12 лекций по вычислительной математике.
В книге освещены следующие темы: методы вычисления решений нелинейных уравнений и систем уравнений; прямые и итерационные методы решения систем линейных уравнений; интерполяция и среднеквадратичное приближение для функций, задаваемых таблицей своих значений; численное дифференцирование и численное интегрирование; численное решение обыкновенных дифференциальных уравнений (задача Коши, краевые задачи); элементы теории разностных схем (аппроксимация, устойчивость, сходимость); разностные схемы для модельных уравнений математической физики (уравнения переноса, теплопроводности, Пуассона).
547 руб 2013 год 244 стр. мягкая обложка

Метод Монте-Карло в вычислительной математике. Вводный курс
318 руб 2018 год 192 стр. мягкая обложка

Игралочка: Практический курс математики для дошкольников: Методические рекомендации Изд. 2-е
Дополнительные материалы к данному пособию для организации индивидуальной работы с детьми содержатся в тетрадях с печатной основой Игралочка, ч. 1-2 тех же авторов. Учебно-методический комплект Игралочка ориентирован на развитие мышления, творческих способностей детей, их интереса к математике.
81 руб 2004 год 176 стр. Мягкая обложка

на главную