Логика и компьютер — справочник студента

На данной странице мы подобрали полезные книги и учебники, которые помогут вам углубить свои знания в логике и логическом мышлении:

Оглавление:

«Прикладная логика». Николай Николаевич Непейвода

Учебник «Прикладная логика» Николая Николаевича Непейводы является простейшим пособием по современной математической логике. Книга рекомендована Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Прикладная математика», «Математика», «Лингвистика», «Психология» и «Философия». Учебник дает подробное и комплексное описание прикладной логики, а также логического аппарата, систематически используемого для решения конкретных практических задач.

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Учебник логики». Георгий Иванович Челпанов

«Учебник логики» Георгия Ивановича Челпанова – является одним из самых известных в России. Он был написан выдающимся русским философом и логиком, отмечен премией Петра Великого и еще в дореволюционный период пережил девять изданий. Когда в СССР после войны было решено включить логику в перечень предметов средней школы, первым учебником стало издание труда Г. И. Челпанова в сокращенном варианте. Сам автор говорил о книге, что она предназначена не только для гимназий, но и для самообразования.

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Краткий курс логики: искусство правильного мышления». Дмитрий Алексеевич Гусев

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

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Логика». Евгений Акимович Иванов

В основу учебника положены лекции, прочитанные автором – Евгением Акимовичем Ивановым, доктором философских наук, профессором. Книга специально адаптирована для будущих юристов. Материал (иллюстрации, описанные примеры) также подобран соответственно потребностям целевой аудитории.

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Логика. Учебник для юридических вузов». В. И. Кириллов, А. А. Старченко

Учебник переиздавался больше пяти раз и сегодня остается одним из лучших материалов для самоподготовки и подготовки к экзаменам в рамках изучения логики студентами юридических специальностей. Последний нюанс нашел в книге достаточное обоснование – ключевые моменты проиллюстрированы на примерах из юридической практики. Темы раскрыты кратко и по существу, как и должно быть в учебнике логики. В то же время материал излагается просто и доступно.

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Логика для юристов» (со сборником задач). А. Д. Гетманова

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

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Логика. Учебник для гуманитарных факультетов». А. А. Ивин

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

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Логика. Учебник для средней школы». С. Н. Виноградов, А. Ф. Кузьмин

Советский учебник 1954 г. одобренный Министерством просвещения РСФСР. «В труде и в быту, в учебной и общественной работе, в научном трактате и в школьном сочинении – везде и всегда необходимо правильное, т. е. определённое, непротиворечивое, последовательное, обоснованное, мышление. Без правильного мышления, которое осуществляется с помощью языка, человек не мог бы ни трудиться, ни общаться с другими людьми». В простой и доступной форме этот школьный учебник и должен был дать основы знаний о логике.

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

«Логика. Конспект лекций». Д. А. Шадрин

Книга-шпаргалка с лекциями, которые по утверждению авторов имеют ответы на самые распространенные вопросы зачетов и экзаменов. Конспект лекций составлен в соответствии с общегосударственным стандартом по указанной дисциплине; призван помочь систематизировать полученные ранее знания и успешно сдать экзамен или зачет по логике.

Узнать больше, а также скачать и прочитать книгу вы cможете на данной странице.

Отзывы и комментарии

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

Кирилл Ногалес← Экзамен по практике Логические игры →

1Когнитивистика

Источник: https://4brain.ru/logika/knigi.php

Логика и компьютер

• ЛОГИКА И КОМПЬЮТЕР
• Выполнила
• Учитель информатики :
• Позднякова Наталия Сергеевна

Логика в информатике – это те отрасли знания и направления исследований, в которых логика применяется в информатике и искусственном интеллекте. В информатике логика оказалась гораздо более эффективной, чем это было в математике.

1. Основные направления прикладного использования логики в информатике
2. Написание компьютерных программ и их верификация.
3. При проектировании вычислительных устройств используется как теоретический инструмент.
4. Использование логических операций в электронных микросхемах в качестве базовых.
5. Логический подход к представлению и решению различных практических задач с использованием вычислительной техники.

Основные понятия логики

• Понятие — форма мышления, в которой отражаются существенные отличительные признаки предметов.  Понятие имеет две основные логические характеристики: содержание и объем
• Высказывание (суждение) — форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах, или отношениях.  Высказывание характеризуется своим содержанием и формой.
• Умозаключение — форма мышления, посредством которой из одного или нескольких высказываний, называемых посылками, мы по определенным правилам вывода получаем заключение.

Логические операции

• Инверсия — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда исходное высказывание ложно. В выражениях обозначается ¬A или A. Читается «НЕ» (например, «не А»). Конъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда истинны оба исходных высказывания. В выражениях обозначается A ∧ B или A & B (знак может не указываться — AB). Читается «И» (например, «А и Б») Дизъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда, когда истинно хотя бы одно из исходных высказываний. В выражениях обозначается A ∨ B, иногда A + B. Читается «ИЛИ» (например, «А или Б») Импликация — это логическая операция, образующая сложное высказывание, ложное тогда и только тогда, когда первое исходное высказывание истинно, а второе — ложно. В выражениях обозначается A ⇒ B или A → B. Читается «ЕСЛИ…ТО» (например, «если А, то Б») Эквивалентность — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда значения исходных высказываний совпадают. В выражениях обозначается A ⇔ B или A ≡ B. Читается «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (например, «А тогда и только тогда, когда Б»)
• Инверсия — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда исходное высказывание ложно.
• В выражениях обозначается ¬A или A.
• Читается «НЕ» (например, «не А»).
• Конъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда истинны оба исходных высказывания.
• В выражениях обозначается A ∧ B или A & B (знак может не указываться — AB).
• Читается «И» (например, «А и Б»)
• Дизъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда, когда истинно хотя бы одно из исходных высказываний.
• В выражениях обозначается A ∨ B, иногда A + B.
• Читается «ИЛИ» (например, «А или Б»)
• Импликация — это логическая операция, образующая сложное высказывание, ложное тогда и только тогда, когда первое исходное высказывание истинно, а второе — ложно.
• В выражениях обозначается A ⇒ B или A → B.
• Читается «ЕСЛИ…ТО» (например, «если А, то Б»)
• Эквивалентность — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда значения исходных высказываний совпадают.
• В выражениях обозначается A ⇔ B или A ≡ B.
• Читается «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (например, «А тогда и только тогда, когда Б»)

Таблица истинности.

• Используется для записи логических функций

Законы логики

• Закон исключенного третьего
• Высказывание может быть либо ложным, либо истинным. Третьего не дано.
• A ∨ ¬A = 1

• Закон непротиворечия
• Высказывание не может противоречить самому себе.
• A ∧ ¬A = 0

• Закон двойного отрицания
• Если дважды отрицать высказывание, то получится исходное.
• ¬¬A = A

• Законы повторения (идемпотентности)
• Сколько ни повторяй, значение не изменится.
• A∨A = A | A∧A = A

• Законы коммутативности (переместительные)
• От перестановки высказываний значение не изменится.
• A∨B = B∨A | A∧B = B∧A

Законы логики

• Законы ассоциативности (сочетательные)
• От порядка выполнения операций конъюнкции (дизъюнкции) значение не изменится.
• (A∨B)∨C = A∨(B∨C) | (A∧B)∧C = A∧(B∧C)

• Законы дистрибутивности (распределительные)
• A∨(B∧C) = (A∨B)∧(A∨C)
• A∧(B∨C) = (A∧B)∨(A∧C)

• Законы поглощения
• A∨(A∧B) = A | A∧(A∨B) = A

• Законы де Моргана
• ¬(A∧B) = ¬A ∨ ¬B | ¬(A∨B) = ¬A ∧ ¬B

• Свойства констант
• (Это, строго говоря, не отдельные законы, а непосредственные следствия из определений операций. )
• A ∧ 0 = 0 | A ∨ 0 = A
• A ∧ 1 = A | A ∨ 1 = 1

• Обозначения логических операций
• Логическая связка
• Название логической операции
• не
• Обозначения
• Отрицание, инверсия
• и, а, но
• Конъюнкция, логическое умножение
• Ø, ù
• или

если …, то

1. &, • ,  Ù
2. Дизъюнкция, логическое сложение
3. Импликация, следование
4. V, +
5. тогда и только тогда, когда
6. Þ,®
7. эквивалентность, эквиваленция, равнозначность
8. Û, ~, º, «

Использование

• Логические основы компьютера
• В ЭВМ используются различные устройства, работу которых прекрасно описывает алгебра логики. К таким устройствам относятся группы переключателей, триггеры, сумматоры.
• Кроме того, связь между булевой алгеброй и компьютерами лежит и в используемой в ЭВМ системе счисления. Как известно она двоичная. Поэтому в устройствах компьютера можно хранить и преобразовывать как числа, так и значения логических переменных.
• Переключательные схемы
• В ЭВМ применяются электрические схемы, состоящие из множества переключателей. Переключатель может находиться только в двух состояниях: замкнутом и разомкнутом. В первом случае – ток проходит, во втором – нет. Описывать работу таких схем очень удобно с помощью алгебры логики. В зависимости от положения переключателей можно получить или не получить сигналы на выходах.
• Вентили, триггеры и сумматоры
• Вентиль представляет собой логический элемент, который принимает одни двоичные значения и выдает другие в зависимости от своей реализации. Так, например, есть вентили, реализующие логическое умножение (конъюнкцию), сложение (дизъюнкцию) и отрицание.
• Триггеры и сумматоры – это относительно сложные устройства, состоящие из более простых элементов – вентилей.
• Триггер способен хранить один двоичный разряд, за счет того, что может находиться в двух устойчивых состояниях. В основном триггеры используется в регистрах процессора.
• Сумматоры широко используются в арифметико-логических устройствах (АЛУ) процессора и выполняют суммирование двоичных разрядов.

Спасибо за внимание!

Источник: https://videouroki.net/razrabotki/loghika-i-komp-iutier.html

8 книг по компьютерным сетям

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

 В. Олифер, Н. Олифер «Компьютерные сети. Принципы, технологии, протоколы. Учебник» (2016)

• преодоление локальными и глобальными сетями рубежа скорости в 100 Гбит/c и освоение терабитных скоростей;
• повышение эффективности и гибкости первичных оптических сетей за счет появления реконфигурируемых мультиплексоров ввода-вывода (ROADM) и применения супер-каналов DWDM, работающих на основе гибкого частотного плана;
• развитие техники виртуализации сетевых функций и услуг, приведшей к распространению облачных сервисов;
• выход на первый план проблем безопасности.

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

Э. Таненбаум, Д. Уэзеролл «Компьютерные сети» 5-е изд. (2016)

Первая версия этой книги увидела свет в 1980 году. С тех пор данный труд стал классическим, каждое его издание неизменно становилось бестселлером.

В книге последовательно изложены основные концепции по компьютерным сетям, определяющие современное состояние и тенденции развития.

Авторы подробнейшим образом объясняют устройство и принципы работы аппаратного и программного обеспечения, рассматривают все аспекты и уровни организации сетей — от физического до уровня прикладных программ.

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

Пятое издание переработано и дополнено в соответствии с последними изменениями в сфере компьютерных сетей. В частности оно освещает беспроводные сети стандарта 802.12 и 802.16, сети 3G, пиринговые сети и многое другое.

Д. Куроуз, К. Росс «Компьютерные сети. Нисходящий подход» (2016)

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

А. Сергеев «Основы локальных компьютерных сетей» (2016)

• базовых понятий, моделей и способов построения компьютерных сетей;
• организации стека протоколов TCP/IP (IPv4 и IPv6);
• создания серверов общего доступа и служб для IP-сетей (DNS, электронная почта, веб и др.)

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

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

Д. Куроуз, Т. Росс «Компьютерные сети. Настольная книга системного администратора» (2016)

Это издание расскажет:

• как функционирует интернет и локальные сети;
• как работают сетевые протоколы и службы;
• об алгоритмах маршрутизации;
• о сетевой безопасности и основах криптографии;
• об основах сетевой администрации.

А. Робачевский «Интернет изнутри. Экосистема глобальной сети» (2017)

Книга рассказывает об архитектуре и технологиях Интернета, фокусируясь на его основных компонентах: глобальной адресации и протоколе IP, системе доменных имен и глобальной межсетевой маршрутизации. Рассматриваются аспекты и принципы работы Всемирной сети, вопросы стандартизации, развития и безопасности основных систем Интернета. Обсуждается архитектурная эволюция Интернета в целом, а также связанные с ней вопросы внедрения новых протоколов и технологий.

Особое внимание уделено экосистеме Интернета, ее истории, а также основным организациям, включенным в систему принятия решений в Интернете.

С. Грингард «Интернет вещей. Будущее уже здесь» (2016)

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

Автор рассматривает перспективы дальнейшего развития интернета вещей, преимущества и угрозы, которые он в себе таит.

У. Одом «Официальное руководство Cisco по подготовке к сертификационным экзаменам CCNA ICND2 200-101. Маршрутизация и коммутация» (2016)

Компания Cisco объявила об изменениях в сертификации CCENT и CCNA маршрутизация и коммутация (CCNA Routing and Switching), а также в связанных с ними экзаменах 100-101 ICND1, 200-101 ICND2 и 200-120 CCNA в начале 2013 года.

Для новичков в сертификации Cisco данное введение начинается с обсуждения основ.
Настоящая книга относится к серии Official Cert Guide Series издательства Cisco Press.

Книги этой серии являются официальным первоисточником для подготовки к экзамену, предоставляют теоретические и практические материалы, которые помогут кандидатам на сертификат Cisco Career Certification выявить свои слабые стороны, сконцентрировать усилия по изучению и повысить уверенность в себе по мере приближения дня экзамена.

С веб-сайта книги можно скачать DVD-образ, который содержит около шестисот практических экзаменационных задач, эмулятор ICND2 Network Simulator Lite и 60-минутное обучающее видео.

Другие статьи по теме

6 книг по протоколам TCP/IP

5 книг по проектированию Web API

Источник: https://proglib.io/p/network-books/

тренажер для изучения логических элементов

Тренажер «Логика» предназначен для проведения практических занятий по теме «Математическая логика» в игровой форме. Подобная игра была ранее написана для компьютеров «Ямаха» (программисты П. Меняйло и М. Щекочихин). Оригинал программы вместе с имитатором MSX-компьютера можно скачать здесь (спасибо Михаилу Бондаревскому).

Программа работает под управлением операционных систем линейки Windows 95/98/NT/2000/XP/2003 на любых современных компьютерах. После распаковки архива она находится в работоспособном состоянии и не требует никаких дополнительных настроек.

Программа является бесплатной для некоммерческого использования. Исходные тексты программы не распространяются.

Программа поставляется «as is», то есть, автор не несет никакой ответственности за всевозможные последствия ее использования, включая моральные и материальные потери, вывод оборудования из строя, физические и душевные травмы.

Тренажер «Логика» (архив ZIP, 385 Кб)

Программа содержит конструктор, позволяющий создавать новые схемы и подключать их в качестве уровней. Здесь можно скачать готовые схемы всех уровней, а также схемы триггеров на элементах «И-НЕ» и «ИЛИ-НЕ».

Схемы для тренажера «Логика» (архив ZIP, 4 Кб)

• игровая форма закрепления учебного материала;
• программа имеет встроенный набор логических схем (задач) для каждого из 10 уровней;
• существует возможность составлять новые схемы и проверять их работу, не выходя из программы;
• с каждым уровнем можно связать свою схему; список нестандартных схем хранится в файле инициализации LOGIC.INI; таким образом, можно составить несколько ini-файлов с разнотипными заданиями;
• кроме стандартного набора логических элементов (И, ИЛИ, НЕ) в схемах можно использовать включенные (непонятно почему) в школьную программу элементы «импликация», «эквивалентность», а также полусумматор, сумматор и RS-триггер.

Задача заключается в том, чтобы последовательно передавать кристалл с верхней площадки на нижнюю. Подавая ток на вход механизмов в правой части схемы, можно выдвигать площадки на пути кристалла. Если на входе механизма нет тока, площадка убирается.

Для управления механизмами используют выключатели в левой части поля. Их состояние изменяется щелчком мыши. Если выключатель включен, по цепи идет ток и поступает на логические схемы, включенные в эту цепь (средняя часть поля). Логические схемы преобразуют входные сигналы по следующим правилам:

• схема НЕ: на выходе будет ток (сигнал 1), если на входе тока нет (сигнал 0), и наоборот;
• схема И: на выходе будет 1, если на обоих входах 1;
• схема ИЛИ: на выходе будет 1, если хотя бы на одном входе 1;
• схема XOR (исключающее ИЛИ): на выходе будет 1, если только на одном входе 1;
• схема импликация (1—>2): на выходе будет 0, если на первом входе 1, а на втором — 0; иначе на выходе 1;
• схема эквивалентность (): на выходе будет 1, если оба входа равны; иначе на выходе 0.

Кристалл нельзя передавать сразу через несколько «пролетов» — в этом случае он разбивается и приходится начинать уровень заново. Кроме того, у вас есть только 5 кристаллов на всю игру, если вы разобьете их все, задание считается невыполненным.

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

Источник: https://www.kpolyakov.spb.ru/prog/logic.htm

Логика решения задач

10 марта 2020

10 марта 2020

10 марта 2020

10 марта 2020

21 января 2020

21 января 2020

21 января 2020

21 января 2020

13 января 2020

12 декабря 2019

11 декабря 2019

10 декабря 2019

25 ноября 2019

18 ноября 2019

16 ноября 2019

16 ноября 2019

16 ноября 2019

16 ноября 2019

8 ноября 2019

28 октября 2019

23 октября 2019

16 октября 2019

9 октября 2019

2 октября 2019

27 сентября 2019

25 сентября 2019

20 сентября 2019

17 сентября 2019

13 сентября 2019

10 сентября 2019

1 июля 2019

1 июля 2019

1 июля 2019

1 июля 2019

5 июня 2019

25 мая 2019

25 мая 2019

25 мая 2019

13 мая 2019

6 мая 2019

2 мая 2019

2 мая 2019

2 мая 2019

2 мая 2019

2 мая 2019

2 мая 2019

7 апреля 2019

7 апреля 2019

7 апреля 2019

7 апреля 2019

7 апреля 2019

2 апреля 2019

1 апреля 2019

18 марта 2019

18 марта 2019

14 марта 2019

24 января 2019

27 ноября 2018

13 ноября 2018

11 ноября 2018

11 ноября 2018

11 ноября 2018

11 ноября 2018

30 октября 2018

19 октября 2018

16 октября 2018

18 сентября 2018

14 сентября 2018

10 сентября 2018

7 сентября 2018

4 сентября 2018

24 мая 2018

18 мая 2018

17 мая 2018

11 мая 2018

28 апреля 2018

27 апреля 2018

20 апреля 2018

17 апреля 2018

15 апреля 2018

13 апреля 2018

12 апреля 2018

11 апреля 2018

10 апреля 2018

10 апреля 2018

9 апреля 2018

6 апреля 2018

6 апреля 2018

5 апреля 2018

4 апреля 2018

3 апреля 2018

2 апреля 2018

15 марта 2018

15 марта 2018

22 февраля 2018

14 февраля 2018

8 февраля 2018

19 декабря 2017

12 декабря 2017

5 декабря 2017

3 декабря 2017

3 декабря 2017

3 декабря 2017

28 ноября 2017

27 ноября 2017

20 ноября 2017

20 ноября 2017

13 ноября 2017

13 ноября 2017

19 сентября 2017

18 сентября 2017

13 сентября 2017

12 сентября 2017

12 сентября 2017

12 сентября 2017

12 сентября 2017

11 сентября 2017

9 августа 2017

26 июня 2017

25 апреля 2017

23 апреля 2017

22 апреля 2017

21 апреля 2017

20 апреля 2017

20 апреля 2017

9 апреля 2017

9 апреля 2017

18 марта 2017

13 марта 2017

7 марта 2017

6 марта 2017

19 декабря 2016

14 декабря 2016

7 декабря 2016

7 декабря 2016

9 ноября 2016

1 ноября 2016

31 октября 2016

20 октября 2016

19 сентября 2016

18 сентября 2016

12 сентября 2016

17 июля 2016

4 июля 2016

4 июля 2016

28 июня 2016

23 июня 2016

Источник: https://cs.hse.ru/electives/logic

Логика — скачать и читать онлайн электронные учебники бесплатно для вузов | Единое окно

• Тоноян Л.Г. Предлагаемое пособие подготовлено в соответствии с программой курса традиционной логики для студентов гуманитарных факультетов Санкт-Петербургского университета. Оно включает в себя план семинарских занятий и упражнения к ним. Краткое изложение изучаемых тем поможет учащимся в выполнении упражнений и решении задач. Примеры и большая часть упражнений объединены одной темой — петербургской. Сборник привлекает наличием логических игр, кроссвордов. Пособие предназначено для студентов гуманитарных факультетов, учащихся колледжей, гимназий и для всех тех, кто желает обрести логические навыки. Тип материала: Задачник; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Мейдер В.А. Практикум составлен в соответствии с программой курса логики для студентов гуманитарного вуза. В него включены такие логические упражнения, выполнение которых поможет студентам освоить теоретический курс, повысить культуру мышления. Для студентов гуманитарных вузов. Тип материала: Задачник; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Пантыкина М.И. Данное учебное пособие является результатом опыта преподавания курса «Практической логики» в высших учебных заведениях. Его структура соответствует основным разделам современных учебников по логике. Предлагаемые упражнения и задачи следует решать последовательно, по мере освоения тем курса. Безусловно, это потребует от учащихся дополнительные усилия, навыки самоорганизации и упорство. Однако трудности «боя» вполне соответствуют сложности поставленной цели — овладению наступательной стратегией речевого поведения. Кроме того, систематическое выполнение практических заданий позволит осваивать основы логического знания, избегая бесполезного механического заучивания, легко трансформируя теоретические положения в условия и принципы организации мыслительных процедур и речевых действий. Тип материала: Задачник; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Уколов С.Ю., Ядыкина Н.В. Настоящие контрольные работы содержат типовые задачи из основных разделов курса логики и предназначены для самостоятельного решения. Контрольная работа построена по принципу теста: на вопрос каждого задания из перечня предложенных ответов необходимо выбрать один или несколько правильных. Тип материала: Тест, контрольные вопросы; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Роом Л.А. Включены вопросы для самостоятельной работы по логике, списки общей и дополнительной литературы, методические рекомендации. Предназначены для студентов 1-3 курсов дневной и заочной форм обучения. Тип материала: Задачник; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Синюк А.И., Яковлева Е.В. Пособие составлено с учётом требований действующего в российской высшей школе Государственного образовательного стандарта высшего профессионального образования и адресуется преподавателям и студентам всех специальностей вузов. Его цель — помочь студентам подготовиться к компьютерному тестированию их знаний по курсу «Логика» в соответствии с рекомендациями Центра образовательных коммуникаций и тестирования профессионального образования. Тип материала: Тест, контрольные вопросы; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Панькова Н.М. В данном курсе лекций подробно и доступно раскрываются основные понятия и категории логики. После каждой темы даны вопросы и упражнения, а также темы рефератов и приложения. Автор опирается на учебники и учебные пособия, которые уже рекомендованы для преподавания в высшей школе, и в то же время использует материалы других научных источников. Отсылки к использованным источникам отсутствуют, т.к. вся литература указана в приложении.
  Курс лекций предназначен для студентов для студентов специальности «Управление персоналом» Института дистанционного образования ТПУ. Тип материала: Лекция, курс лекций; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Моисеев В.И. В учебном пособии производится концентрация и систематизация основных идей работы известного представителя современной логики и философии науки Имре Лактатоса «Доказательства и опровержения». Пособие подготовлено на кафедре функционального анализа математического факультета Воронежского государственного университета и предназначено для студентов старших курсов унивеситетов и аспирантов. Тип материала: Учебник, учебное пособие; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Попов Ю.П. Данное пособие представляет собой обычный учебник логики, который был сначала выпущен Издательством ДВГУ, и теперь сокращен и переработан в соответствии со спецификой дистанционного обучения. Каждый раздел в этом варианте учебника и каждый вопрос из учебного тренажера помечены коэффициентами важности, помещенными перед заголовком в скобках или перед вопросом (без скобок). 1 означает минимальную важность, 3 — максимальную. В конце каждого параграфа имеется учебный тренажер: приводятся контрольные вопросы, упражнения и задачи. После наиболее трудных разделов помещаются упражнения и задачи, выполнение и решение которых — условие основательного ознакомления с правилами и законами логики, поможет выработать навыки их практического использования. Курс рассчитан на один семестр, как это принято в подавляющем большинстве учебных программ по логике. Но данное руководство разработано с некоторым избытком, чтобы факультеты могли варьировать содержание дисциплины с учетом своего профиля. Скажем, на языковых специальностях можно больше внимания уделить первым разделам курса, где рассматриваются понятия и суждения, для юридических профессий более полезно сконцентрироваться на умозаключениях и на теории доказательства. Вторая часть учебника, посвященная символической логике (которая еще только начинает входить в преподавание), изложена настолько независимо от предыдущей, что ее можно изучать даже раньше первой и при желании ограничиться только одной. Коэффициенты важности в данном пособии определены в расчете на юридические специальности, где в настоящее время логика изучается наиболее серьезно. Тип материала: Учебник, учебное пособие; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;
• Тимофеев А.И. Цель учебного пособия дать студентам теоретические знания и привить им навыки логически грамотно выражать и обосновывать свою точку зрения по государственно-правовой и политической проблематике, свободно оперировать основными логическими категориями и законами. Учебное пособие содержит все разделы курса логики. В нем рассмотрены формы логического мышления: понятие, суждение и умозаключение; а также раскрыты основные формально-логические законы и дано общее представление о доказательстве и опровержении. В процессе преподавания формальной логики предполагается решить следующие задачи: — сформулировать и рассмотреть содержание важнейших формально-логических понятий и законов; — дать понимание того, каким образом знание логики, сформированные навыки логически правильного мышления необходимо использовать в профессиональной деятельности. Учебное пособие «Логика» подготовлено в соответствии с государственным стандартом ГСЭ Ф. Об — «Логика «. Учебное пособие предназначено для студентов дневного и вечернего обучения по специальности 021100 «Юриспруденция». Оно может быть также использовано студентами других специальностей. Тип материала: Учебник, учебное пособие; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;

Страницы ← предыдущая следующая →

Источник: http://window.edu.ru/catalog/resources/uchebnik-logika

Логические основы компьютера

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

Базовыми логическим и элементами компьютера являются: конъюктор, дизъюнктор, инвертор.

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

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

Триггер имеет 2 входа: S-установочный, R-вход сброса; и 2 выхода: Q-прямой и Q-инверсный.

При подаче единицы на вход R триггер переходит в состояние «0». Подача единицы на входы S и R одновременно ЗАПРЕЩЕНА!!!

• ЗАКОНЫ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ.
• Логические выражения называются равносильными, если их истинные значения совпадают при любых значениях переменной.
• 1) закон двойного отрицания. Инверсия
• 2) коммутативный закон
• v – или
• · A v B=B v A
• · A & B=B & A
• 3) Сочетательный закон.
• · A v (B v C)=(A v B) v C
• · A & (B & C)=(A & B) & C
• 4) распределительный закон.
• · Логическое умножение (A v B) & C=(A & C) v (B & C)
• · (A & B) v C=(A v C) & (B v C)
• 5) законы Де Моргана.
• · Инверсия(A v B)=инверсия A v инверсия A
• 6) Закон иденпотентности.
• · A v A=A
• · A & A=A
• 7) исключение констант.
• · A v 1=1 логическое сложение A v 0=A
• · A & 1=A логическое умножение A & 0=0
• 8) закон противоречия
• · A & инверсия A=0
• 9) закон исключения третьего.
• · Инверсия A v A=1
• Алгебра высказываний
• Алгебра это наука об общих операциях аналогичных сложению и умножению, которые могут выполняться над высказываниями и другими математическими объектами (множествами, векторами, числами).
• Логические операции в алгебре высказываний:
• · конъюнкция – это логическое умножение, & — символ
• Конъюнкция – это логическая операция, ставящая в соответствие двум простым высказываниям – составное высказывание, являющееся истинным, тогда и только тогда, когда оба исходных высказывания – истины.

1. · 0 –ложь
2. · 1 – истина
3. Таблица истинности «&»
4. · дизъюнкция – это логическое сложение, «V»
5. Дизъюнкция – это логическая операция, которая двум простым высказываниям ставит в соответствие составное высказывание, являющееся ложным, тогда и только тогда, когда ложны оба входящие в него высказывания и являются истинными, когда хотя бы одно из высказываний является истинным.
6. Таблица истинности «V»
7. · инверсия – логическое отрицание, «»
8. Инверсия – это логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание – отрицается.
9. Таблица истинности «»
10. · импликация – это логическое исследование, «=>»
11. Импликация – это логическая операция, ставящая в соответствие двум простым высказываниям сложное, является ложным, тогда и только тогда, когда первое высказывание истинно, а второе – ложно.
12. Таблица импликации «=>»
13. · операция эквиваленция – логическая равнозначность, «»
14. Эквиваленция – это логическая операция, ставящая в соответствии двум высказываниям составное, являющееся истинным, тогда и только тогда, когда истины оба исходных высказывания или тогда, когда ложны исходное высказывания.

Таблица эквиваленции «»

Не нашли то, что искали? Воспользуйтесь поиском:

Источник: https://studopedia.ru/19_286259_logicheskie-osnovi-kompyutera.html