SlideShare une entreprise Scribd logo
1  sur  21
Логические основы компьютера. Атемасова Д.
Формы мышления. Понятие Высказывание Умозаключение Доказательство
Понятие.   ,[object Object]
Алгебра множеств ,[object Object],[object Object],[object Object],[object Object],[object Object]
Высказывание. ,[object Object]
Умозаключение. ,[object Object]
Доказательство. ,[object Object]
Алгебра высказываний. ,[object Object],[object Object]
Логическое умножение (конъюнкция). ,[object Object],[object Object]
[object Object],Таблица истинности функции логического умножения: A B F=A&B 0 0 0 0 1 0 1 0 0 1 1 1
Логическое сложение (дизъюнкция). ,[object Object],[object Object]
[object Object],Таблица истинности функции логического сложения: A B F=AvB 0 0 0 0 1 1 1 0 1 1 1 1
Логическое отрицание (инверсия). ,[object Object],[object Object]
[object Object],Таблица истинности функции логического отрицания: A F=not A 0 1 1 0
Логическое следование (импликация). ,[object Object],[object Object]
[object Object],Таблица истинности логического следования: A B F=A  B  0 0 1 0 1 1 1 0 0 1 1 1
Логическое равенство (эквивалентность). ,[object Object],[object Object]
[object Object],Таблица истинности логического равенства: А В F 0 0 1 0 1 0 1 0 0 1 1 1
Законы логики. ,[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object]
Список литературы: ,[object Object],[object Object]

Contenu connexe

Tendances

основные логические операции
основные логические операцииосновные логические операции
основные логические операции
dasha2012
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логики
slbazhenova
 
Презентация
ПрезентацияПрезентация
Презентация
julcompaneecz
 
Лекция 2.высказывания и операции над ними
Лекция 2.высказывания и операции над нимиЛекция 2.высказывания и операции над ними
Лекция 2.высказывания и операции над ними
Ирина Гусева
 
Логические выражения
Логические выраженияЛогические выражения
Логические выражения
Maxim Demyanov
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказываний
serge_luch
 
15
1515
15
JIuc
 

Tendances (19)

основные логические операции
основные логические операцииосновные логические операции
основные логические операции
 
алгебра логики
алгебра логикиалгебра логики
алгебра логики
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логики
 
Презентация
ПрезентацияПрезентация
Презентация
 
Zakony algebry logiki
Zakony algebry logikiZakony algebry logiki
Zakony algebry logiki
 
Введение в мат.логику
Введение в мат.логикуВведение в мат.логику
Введение в мат.логику
 
Logika
LogikaLogika
Logika
 
Лекция 2.высказывания и операции над ними
Лекция 2.высказывания и операции над нимиЛекция 2.высказывания и операции над ними
Лекция 2.высказывания и операции над ними
 
Формула "Если"
Формула "Если"Формула "Если"
Формула "Если"
 
218368
218368218368
218368
 
Логические выражения
Логические выраженияЛогические выражения
Логические выражения
 
Основы логики 2
Основы логики 2Основы логики 2
Основы логики 2
 
Основные правила получения тавтологий. Равносильные формулы
Основные правила получения тавтологий. Равносильные формулыОсновные правила получения тавтологий. Равносильные формулы
Основные правила получения тавтологий. Равносильные формулы
 
алгебра логики
алгебра логикиалгебра логики
алгебра логики
 
Алгебра логики
Алгебра логикиАлгебра логики
Алгебра логики
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказываний
 
расчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнкрасчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнк
 
15
1515
15
 
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказывания
 

En vedette

Extreme networks - network design principles for hpc @ hpcday 2012 kiev
Extreme networks - network design principles for hpc @ hpcday 2012 kievExtreme networks - network design principles for hpc @ hpcday 2012 kiev
Extreme networks - network design principles for hpc @ hpcday 2012 kiev
Volodymyr Saviak
 
Riyaziyyat dərsi 5
Riyaziyyat dərsi 5Riyaziyyat dərsi 5
Riyaziyyat dərsi 5
sqldelphi
 
Networking ppt by swapi
Networking ppt by swapi Networking ppt by swapi
Networking ppt by swapi
Swapi Pawar
 
BASIC CONCEPTS OF COMPUTER NETWORKS
BASIC CONCEPTS OF COMPUTER NETWORKS BASIC CONCEPTS OF COMPUTER NETWORKS
BASIC CONCEPTS OF COMPUTER NETWORKS
Kak Yong
 

En vedette (14)

informatika
informatikainformatika
informatika
 
Introduction into computer networks
Introduction into computer networksIntroduction into computer networks
Introduction into computer networks
 
Path 133794837764
Path 133794837764Path 133794837764
Path 133794837764
 
Extreme networks - network design principles for hpc @ hpcday 2012 kiev
Extreme networks - network design principles for hpc @ hpcday 2012 kievExtreme networks - network design principles for hpc @ hpcday 2012 kiev
Extreme networks - network design principles for hpc @ hpcday 2012 kiev
 
MX – универсальная сервисная платформа. Вчера, сегодня, завтра.
MX – универсальная сервисная платформа. Вчера, сегодня, завтра.MX – универсальная сервисная платформа. Вчера, сегодня, завтра.
MX – универсальная сервисная платформа. Вчера, сегодня, завтра.
 
Riyaziyyat dərsi 5
Riyaziyyat dərsi 5Riyaziyyat dərsi 5
Riyaziyyat dərsi 5
 
Riyaziyyat
RiyaziyyatRiyaziyyat
Riyaziyyat
 
Networking ppt by swapi
Networking ppt by swapi Networking ppt by swapi
Networking ppt by swapi
 
Computer network ppt
Computer network pptComputer network ppt
Computer network ppt
 
Network ppt
Network pptNetwork ppt
Network ppt
 
Basic concept of computer network
Basic concept of computer networkBasic concept of computer network
Basic concept of computer network
 
Network topology.ppt
Network topology.pptNetwork topology.ppt
Network topology.ppt
 
Networking
NetworkingNetworking
Networking
 
BASIC CONCEPTS OF COMPUTER NETWORKS
BASIC CONCEPTS OF COMPUTER NETWORKS BASIC CONCEPTS OF COMPUTER NETWORKS
BASIC CONCEPTS OF COMPUTER NETWORKS
 

Similaire à Presentation informatics

2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания
aleksashka3
 
основы логики
основы логикиосновы логики
основы логики
hudooognik
 
17
1717
17
JIuc
 
013
013013
013
JIuc
 
Logik 1
Logik 1Logik 1
Logik 1
bsnnsb
 
Logik 1
Logik 1Logik 1
Logik 1
bsnnsb
 
основы логики
основы логикиосновы логики
основы логики
isva69
 
018
018018
018
JIuc
 

Similaire à Presentation informatics (10)

2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания
 
Prec
PrecPrec
Prec
 
основы логики
основы логикиосновы логики
основы логики
 
17
1717
17
 
булева алгебра
булева алгебрабулева алгебра
булева алгебра
 
013
013013
013
 
Logik 1
Logik 1Logik 1
Logik 1
 
Logik 1
Logik 1Logik 1
Logik 1
 
основы логики
основы логикиосновы логики
основы логики
 
018
018018
018
 

Plus de Dasha (8)

Poetry_Films
Poetry_FilmsPoetry_Films
Poetry_Films
 
Semasiology
SemasiologySemasiology
Semasiology
 
Umk analysis
Umk analysisUmk analysis
Umk analysis
 
Early Education
Early EducationEarly Education
Early Education
 
My dream school
My dream schoolMy dream school
My dream school
 
Enjoy english 2_сlass
Enjoy english 2_сlassEnjoy english 2_сlass
Enjoy english 2_сlass
 
Vascino school
Vascino schoolVascino school
Vascino school
 
Vascino school
Vascino schoolVascino school
Vascino school
 

Presentation informatics