ЛОГИКА ВЫСКАЗЫВАНИЙ План 1 ОПРЕДЕЛЕНИЕ ФОРМУЛЫ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ 2 АЛГЕБРА ВЫСКАЗЫВАНИЙ 3 РАВНОСИЛЬНОСТЬ ФОРМУЛ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ. КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА

Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.

Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.

2. ЛИТЕРАТУРА 2.1 Основная литература 1. Опадчий Ю.Ф. и др. Аналоговая и цифровая электроника. – М.: Радио и связь, 2002. – 768 с. 2. Степаненко И.П. Основы микроэлектроники: Учеб. пособие для вузов. – М.: Лаборатория Базовых Знаний, 2000. – 488 с.

Печатается по решению учебно-методической комиссии механико-математического факультета ргу от 11 января 1980 г

Алгебра: сб заданий для подгот. К гос. Итоговой аттестации в 9 кл./Л. В. Кузнецова, С. Б. Суворова, Е. А. Бунимович и др. 4-е изд.,перераб. –М.: Просвещение, 2009. – 240 с

Скудина Наталья Федоровна cherlakmg@mail Учитель математики МОУ «Черлакская муниципальная гимназия» Черлакского муниципального района Данные методические рекомендации адресованы учителям математики для подготовки учащихся 9 классов к олимпиаде. Представленный материал включает перечень основных математических понятий, знание которых необходимо участникам олимпиады, а также основные умения и навыки, которые должны быть сформированы у учащихся.

Введение 3

Буль (Boole) Джордж (2 ноября 1815, Линкольн, Великобритания - 8 декабря 1864, Баллинтемпль, Ирландия), английский математик и логик, один из основоположников математической логики. Разработал алгебру логики (булеву алгебру) ("Исследование законов мышления", 1854), основу функционирования цифровых компьютеров.

Рассматриваются бинарные и n-местные операции, виды бинарных операций, вводятся понятия алгебры, подалгебры, алгебраической системы, приводятся примеры.

Основные фоpмулы тpигонометpии. Таблица часных случаев для тpигонометpических функций. Таблица углов sin, cos, tg, ctg.

Шпаргалка.

Формулы сокр. умножения и разложения на множители : (a±b)І=aІ±2ab+bІ (a±b)і=aі±3aІb+3abІ±bі aІ-bІ=(a+b)(a-b) aі±bі=(a±b)(aІ∓ab+bІ), (a+b)і=aі+bі+3ab(a+b) (a-b)і=aі-bі-3ab(a-b) xn-an=(x-a)(xn-1+axn-2+aІxn-3+...+an-1) axІ+bx+c=a(x-x1)(x-x2) где x1 и x2 — корни уравнения axІ+bx+c=0

Алгебра и начала анализа. 11 класс. Билет №1. Функция y = sin x, ее свойства и график. Показательная функция, ее свойства для случая, когда основание больше единицы (доказательство одного из свойств по желанию ученика).

Формулы половинного аргумента, формулы умножения и деления тригонометрических функций.

АЛГЕБРА Формулы Формулы сложения Формулы двойного аргумента Формулы половинного аргумента Ф-лы преобразования суммы в произведение Ф-лы преобразования произведения в сумму

Revision 6.2 ( 19 October 2010 –             

Вопросы по алгебре (устный экзамен) Тригонометрия: основные тригонометрические тождества; доказательство формул; мнемоническое правило. Свойства тригонометрических функций:

Формулы сокращенного умножения   2ав + в   в + 3ав   = (а + в) (а  = (а + в) (а  ав + в 

Удобные шпаргалки.

Связи между алгеброй и геометрией были известны еще древним математикам. Например, длина отрезка выражается числом, а ведь отрезок — геометрическая фигура, тогда как числа изучаются в алгебре.

Данная система упражнений может быть использована в качестве дополнения при изучении темы «Логарифмические уравнения» к любому учебнику по алгебре для 10-го класса.

Контрольная работа Тема: Приближенное вычисление определенного интеграла методом прямоугольника и трапеции. Пусть требуется вычислить определенный интеграл , где есть некоторая заданная в промежутке [a,b] непрерывная функция. Истолковывая данный определенный интеграл как площадь некоторой фигуры, ограниченной кривой , необходимо определить эту площадь.

Федеральное агентство связи Сибирский Государственный Университет Телекоммуникаций и Информатики Межрегиональный центр переподготовки специалистов

Основные тригонометрические тождества Формулы суммы и разности Формулы двойного аргумента Формулы произведений Формулы сложения Формулы половинного аргумента

Основные формулы по алгебре, геометрии и тригонометрии.

Логические операции Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение. Выделяют следующие логические операции: инверсия; конъюнкция; дизъюнкция; импликация; эквиваленция.

Автор: Сочинения на свободную тему Я часто думаю, что было бы, если бы мы до сих пор не умели писать и считать. Наверное, жизнь была бы очень скучной и однообразной. Например, я очень люблю головоломки, разные математические задачи. Они помогают мне развиваться, и я всегда радуюсь, когда нахожу правильное решение.

Кристиа́н (Кретье́н) Крамп (фр. Christian Kramp, 8 июля 1760, Страсбург — 13 мая 1826, там же) — французский математик (эльзасец). Известен работами по теории чисел, геометрии, математической кристаллографии, алгебре и механике. Предложил общепринятое обозначение n! для факториала.

База знаний интеллектуальной справочной системы по алгебре дробей со стандартными набором информационно-поисковых операций, пользовательским интерфейсом. Тестирование на стандартных вопросах и шаблонах поиска. Интеграция со смежными предметными областями.

Метод Гаусса с выбором главной переменной (практическая работа по компьютерной алгебре) Текст программы. #include <fstream.h> #include <math.h>

(практическая работа по компьютерной алгебре) Текст программы. #include <fstream.h> #include <math.h> #include <conio.h> #include <stdlib.h>

Государственная (итоговая) аттестация выпускников IX классов общеобразовательных учреждений 2009 г. (в новой форме) по АЛГЕБРЕ Кодификатор элементов содержания по алгебре

Рекомендации по подготовке Справочных материалов для государственной (итоговой) аттестация выпускников 9-х классов в новой форме по алгебре На экзамене рекомендуется предоставить учащимся

Его работы «Трактат о дифференциальных уравнениях» (1859г.) и «Трактат о вычислении предельных разностей» (1860г.) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля.