6.Основні поняття логіки. Логічні операції

A	B	F
1	1	1
1	0	0
0	1	0
0	0	0

Логическое умножение  КОНЪЮНКЦИЯ  - это новое  сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И.

A	B	F
1	1	1
1	0	1
0	1	1
0	0	0

Логическое сложение – ДИЗЪЮНКЦИЯ - это новое сложное выражение будет истинным тогда и только тогда, когда  истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение двух логических выражений с помощью союза ИЛИ

A	B	F
1	1	1
1	0	0
0	1	1
0	0	1

Логическое следование:  ИМПЛИКАЦИЯ - связывает два простых логических выражения, из которых первое является условием (А), а второе (В)– следствием из этого условия. Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно. Обозначается символом  "следовательно"  и  выражается словами ЕСЛИ … , ТО …

 

3

 1)Індукція. повна і неповна індукція. проблема індукції

Полная индукция - такое умозаключение, в котором общий вы­вод о классе предметов делается на основании изучения всех пред­метов данного класса. пример: установление того, что каждый из документов, необходимых для оценки готовности уголовного дела для передачи в суд, имеется, позволяет с полным основанием сделать заключение, что «Все документы имеются» и дело следует передать в суд. Неполная индукция - такое умозаключение, в котором общий вывод делается на основании изучения некоторой части класса однородных предметов. Проблема индукции Юм выдвинул вопрос, о том, можем ли мы на основе множества случаев, уже встречавшихся в нашем опыте, делать суждения о случаях, которые ещё нам не встречались? (Другими словами: можем ли мы на основе того, что нам встречались лишь белые лебеди, утверждать, что все лебеди белые, до того как нам встретится чёрный лебедь?) Сам Юм, давал отрицательный ответ на этот вопрос, вне зависимости от количества уже встретившихся случав.

2)циклічні конструкції в мові блок-схем Блок-схема — распространенный тип схем (графических моделей), описывающих алгоритмы или процессы, в которых отдельные шаги изображаются в виде блоков различной формы, соединенных между собой линиями. Цикл (повтор)- это такая форма организации действий, при которой одна и та же последовательность действий совершается несколько раз(или ни разу)до тех пор, пока выполняется некоторое условие. Цикл - это такая форма организации действий, при которой одна последовательность действий повторяется несколько раз(или ни разу), до тех пор, пока выполняются некоторые условия. В алгоритмические структуры цикл входит серия команд, выполняемая многократно.Такая последовательность команд называется телом цикла. Циклические алгоритмические структуры бывают двух видов:- Циклы со счетчиком, в которых тело цикла выполняется определенное количество раз;- Циклы с условием, в которых тело цикла выполняется до тех пор, пока выполняется условие. Они все состоят из нескольких этапов. Это:- Подготовка цикла, в которую входят начальные присвоения;- Тело цикла - команды повторения цикла;- Условие - обязательная часть цикла "Пока". Циклической конструкцией со счетчиком есть цикл "For или Для", его используют когда загодя известно, какое количество повторений тела цикла необходимо выполнить. Цикл "For" можно представить в виде блока схем. Теперь рассмотрим цикл "While или Пока". Цикл "While" является циклической конструкцией с условием, то есть это такой цикл, где тело цикла выполняется до тех пор, пока выполняются некоторые условия. Существует также пустой цикл - это цикл без тела цикла. В большинстве случаев он применяется для создания пауз в программах.

3) Аналіз та синтез. Історичній метод та абстрагування…

Анализ-синтез как суть, как содержание и форма человеческого мышления, как приемы и методы научного мышления комплексно изучается во множественном измерении и многими науками. Анализ и синтез (от греч. analysis – разложение, расчленение, synthesis – соединение) – две универсальные, противоположно направленные операции мышления. Есть несколько смыслов, в которых употребляются термины «анализ» и «синтез»: анализ и синтез, как характеристики строения доказательства в математике; в этом смысле говорят об аналитическом и синтетическом методах; анализ и синтез в смысле кантовского различения «аналитических» и «синтетических» суждений, которое фактически означает отличение способа получения знаний путем чисто логической обработки данного опыта («аналитическое») от способа получения знаний путем обращения к содержанию, путем привлечения к исходному знанию каких-то иных данных опыта («синтетическое»); чаще всего термины «анализ» и «синтез» употребляются применительно ко всему мышлению в целом, к исследованию.

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

метод абстрагирования, основанный на мысленном отвлечении от несущественных свойств исследуемого объекта и изучение в дальнейшем наиболее важных его сторон на модели (замещающей реальный объект исследования);

метод анализа и синтеза, основанный на использовании при исследовании различных способов расчленения изучаемого объекта на элементы, отношения (анализ) и соединения в единое целое отдельных его элементов (синтез). 

4) Модель - это такой материальный или мысленно представляемый объект, который в процессе изучения замещает объект-оригинал, сохраняя некоторые важные для данного исследования типичные его черты. Как мы уже говорили, человек применяет модели с незапамятных времен при изучении сложных явлений, процессов, конструировании новых сооружений. Хорошо построенная модель, как правило, доступнее для исследования, нежели реальный объект. Более того, некоторые объекты вообще не могут быть изучены непосредственным образом: недопустимы, например, эксперименты с экономикой страны в познавательных целях; принципиально неосуществимы эксперименты с прошлым или, скажем, с планетами Солнечной системы и т.п. Модель позволяет научиться правильно управлять объектом, апробируя различные варианты управления на модели этого объекта. Экспериментировать в этих целях с реальным объектом в лучшем случае бывает неудобно, а зачастую просто вредно или вообще невозможно в силу ряда причин (большой продолжительности эксперимента во времени, риска привести объект в нежелательное и необратимое состояние и т.п.) Процесс построения модели называется моделированием.  Другими словами, моделирование - это процесс изучения строения и свойств оригинала с помощью модели. Различают материальное и идеальное моделирование. Материальное моделирование, в свою очередь, делится на физическое и аналоговое моделирование. Физическим принято называть моделирование, при котором реальному объекту противопоставляется его увеличенная или уменьшенная копия, допускающая исследование (как правило, в лабораторных условиях) с помощью последующего перенесения свойств изучаемых процессов и явлений с модели на объект на основе теории подобия. От предметного моделирования принципиально отличается идеальное моделирование, которое основано не на материальной аналогии объекта и модели, а на аналогии идеальной, мыслимой.  Основным типом идеального моделирования является знаковое моделирование. Знаковым называется моделирование, использующее в качестве моделей знаковые преобразования какого-либо вида: схемы, графики, чертежи, формулы, наборы символов. Важнейшим видом знакового моделирования является математическое моделирование, при котором исследование объекта осуществляется посредством модели, сформулированной на языке математики. Классическим примером математического моделирования является описание и исследование законов механики Ньютона средствами математики. Процесс моделирования состоит из следующих этапов: Объект - Модель - Изучение модели - Знания об объекте

5)Змінні, константи, та літерали в мовах програмування. Переме́нная в императивном программировании — поименованная, либо адресуемая иным способом область памяти, адрес которой можно использовать для осуществления доступа к данным. Данные, находящиеся в переменной (то есть по данному адресу памяти), называются значением этой переменной. В других парадигмах программирования, например, в функциональной и логической, понятие переменной оказывается несколько иным. В таких языках переменная определяется как имя, с которым может быть связано значение, или даже как место (location) для хранения значения. Область видимости и/или время существования переменной в некоторых языках задаётся классом памяти.

Если тип переменной определяется на этапе компиляции, имеет место статическая типизация, а если на этапе выполнения программы — динамическая. В последнем случае иногда говорят, что переменная не имеет типа, хотяданные, содержащиеся в ней, безусловно, относятся к определённому типу данных, но выясняется это уже во время выполнения программы.

В большинстве случаев статическая типизация позволяет уменьшить затраты ресурсов при выполнении программы, поскольку для динамической типизации требуются затраты ресурсов на выяснение типов данных их приведение в выражениях с смешанными типами. Статическая типизация позволяет перекладывать проверку типов на этапе компиляции программы. Это также упрощает обнаружение ошибок ещё на этапе разработки, когда их исправление обходится менее дорого. Тем не менее во многих случаях необходимо применение динамической типизации. Например, необходимость поддержания совместимости при переходе на новый формат представления данных (например, старая часть проекта посылает процедуре дату символьной строкой, а новые объекты используют более современный числовой тип).