Алгебралық тұжырымдау туралы түсінік

Автор: Пользователь скрыл имя, 21 Декабря 2012 в 20:20, курсовая работа

Описание работы

Математика барлық тұжырымдар ақыл қорытындысы арқылы, яғни адамның ойлау қабілеті заңының жолдарын қолданып, дәлелденетін ғылым болып табылады. Адамның ойлау қабілетінің заңын оқу логика пәні болып табылады.
Логика өз алдына ғылым болып грек философы Аристотельдің (384-322 ж.ж б.э.д) еңбегінде нақтыланған. Ол өзіне дейінгі мәліметтерді жүйеледі және осы жүйе кейін формальды немесе Аристотель логикасы деп аталды.

Работа содержит 1 файл

Алгебралық тұжырымдау туралы түсінік.DOC

— 1.18 Мб (Скачать)

.F = 1, G = 0

F = 0, G = 1

F = 1, G = 1

F = 0, G = 0

 

ӘДЕБИЕТТЕР

 

  1. Ершов Ю.Л., Палютин Е.А., «Математическая логика». М., Наука, 1979.
  2. Жетпісов Қ., Түсіпов Ж.А., «Математикалық логика», Тараз, 2000.
  3. Лавров И.А., Максимова Л.Л., «Задачи по  теории множеств, математической статистике и теории алгоритмов». М., Наука, 1975.
  4. Лихтарников Л.М., Сукачева Т.Г., «Математическая логика». СПб.: «Лань», 1998.
  5. Мальцев А.И., «Алгоритмы и рекурсивные функции». М.: Наука, 1986.
  6. Мендельсон Э., «Введение в математическую логику», М., 1976.

 

 

 




Информация о работе Алгебралық тұжырымдау туралы түсінік