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

Автор: Пользователь скрыл имя, 23 Февраля 2012 в 16:06, курсовая работа

Краткое описание

Математика барлық тұжырымдар ақыл қорытындысы арқылы, яғни адамның ойлау қабілеті заңының жолдарын қолданып, дәлелденетін ғылым болып табылады. Адамның ойлау қабілетінің заңын оқу логика пәні болып табылады.

Файлы: 1 файл

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

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

|L( q0) | | 

4. Берiлген Т Тьюринг машинасы және K1 бастапқы конфигурация бойынша қорытынды конфигурацияны табыңыз.

        T:                                                                      K1= | ( q1) | L

        q1 q2 q3
      | |q2+1 Lq3+1 Lq1+1
      L Lq00 |q0-1 |q1-1

| L ( q0) |

L | ( q0) |

L ( q0) LL

| L L L ( q0)

|L( q0) | | 

5. Берiлген Т Тьюринг машинасы және K1 бастапқы конфигурация бойынша қорытынды конфигурацияны табыңыз.

        T:                                                                     K1=L( q1) L L

        q1 q2 q3
      | |q2+1 Lq3+1 Lq1+1
      L Lq00 |q0-1 |q1-1

L ( q0) LL

L | ( q0) |

| L ( q0) |

| L L L ( q0)

|L( q0) | | 

6. Берiлген Т Тьюринг машинасы және K1 бастапқы конфигурация бойынша қорытынды конфигурацияны табыңыз. 

        T:                                                                            K1=L | ( q1) L

        q1 q2 q3
      | |q2+1 Lq3+1 Lq1+1
      L Lq00 |q0-1 |q1-1

L | ( q0) |

| L ( q0) |

| L L L ( q0)

|L( q0) | |

L ( q0) LL 

 

      КУРС  БОЙЫНША ТестТЕР

1. Пара-пар формулаларды көрсетіңіз:

,

,

,

,

,  

2. Пара-пар формулаларды көрсетіңіз:

,

,

,

,

,  

3. формуланың рангін табыңыз:

7

6

5

4 

4. – W аймағында анықталған предикат болсын.  Қандай шарт орындалса, Р тепе тең ақиқат предикат деп аталады?

IP= W

IP= Æ

LP= W 

5. – W аймағында анықталған предикат болсын.  Қандай шарт орындалса, Р тепе тең  жалған предикат деп аталады?

LP= W

IP= W

LP= Æ 

6. Ықшамдаңыз: 

 

 

 

 

   

7. Ықшамдаңыз:

 y

 х

 

 

   

8. Келтірілген ЖДНФ бойынша формуланың ЖКНФін табыңыз:

 

 

9. Келтірілген  ЖКНФ бойынша  формуланың ЖДНФін табыңыз: 

 

10. Формуланың  ақиқаттық кестесi бойынша оның  ЖДНФ табыңыз: 

      x y F
      0

      0

      1

      1

      0

      1

      0

      1

      0

      0

      0

      1

 

11. Формуланың  ақиқаттық кестесi бойынша оның ЖКНФ табыңыз: 

      x y F
      0

      0

      1

      1

      0

      1

      0

      1

      0

      1

      1

      0

 

12. Берiлген Т Тьюринг машинасы және K1 бастапқы конфигурация бойынша қорытынды конфигурацияны табыңыз. 

        T:                                                                              K1= | ( q1) | L |  

        q1 q2 q3
       | |q2+1 Lq3+1 Lq1+1
      L Lq00 |q0-1 |q1-1

L ( q0) | |

L | ( q0) |

L ( q0) LL

| L ( q0) |

| L L L ( q0) 

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