DMOZ

DMOZ
  • Adult
  • Arts
  • Business
  • Computers
  • Games
  • Health
  • Home
  • Kids and Teens
  • News
    		•  
  • Recreation
  • Reference
  • Regional
  • Science
  • Shopping
  • Society
  • Sports
  • World

    • Pomoz w tworzeniu najwiekszego katalogu na swiecie.
      Dodaj strone !! - Otwarty Dmoz - Zostan redaktorem Dmoz-a  

    Top category powered by Free PHP ODP Script © Site Directory hiszpania last minute polish restaurant warsaw hiszpania first minute wakacje rumunia prague hotels

    To jest kopia darmowego katalogu DMOZ - kate.gifownik.com
    Jesli chcesz pomoc w dalczym rozwoju katalogu to serdecznie zapraszamy

    Zaklady bukmacherskie
    Portal budowlany



































    Rachunek zdań - ujęcie semantyczne: funkcje prawdziwościowe, formuły rachunku zdań, tautologie rachunku zdań; definiowanie i wyznaczanie funkcji prawdziwościowych; logiczne schematy wnioskowań, wynikanie logiczne; podstawianie, twierdzenia o podstawianiu i równoważności.
    Rachunek zdań - ujęcie aksjomatyczne: aksjomatyczny system implikacyjno-negacyjnego rachunku zdań; pojęcia dowodu i dowodliwości; reguły dopuszczalne; twierdzenia o regułach dopuszczal­nych i o dedukcji; dowody założeniowe; pojęcie niesprzeczności, lematy o niesprzeczności; pojęcie zupełności; lemat Lindenbauma; pojęcie spełnialności; twierdzenie o pełności; dowody tez w aksjomatycznym systemie rachunku zdań z pięcioma funktorami.
    Logika elementarna; języki elementarne, aksjomatyka logiki elementarnej, pojęcie teorii elementarnej; schematy zdań w logice elementarnej; semantyka logiki elementarnej, pojęcie spełniania i prawdy; wynikanie logiczne, lematy o podstawianiu; konstrukcja modeli i kontrmodeli formuł logiki elementarnej; twierdzenie o zgodności systemu L z semantyką; twierdzenie o dedukcji, twierdzenie o stałych, twierdzenie o dowodach założeniowych; twierdzenia o równoważności i o równości; twierdzenie o wariancie; dowody założeniowe tez logiki elementarnej; niesprzeczność i zupełność, lemat Gödla-Malcewa; twierdzenie o pełności, twierdzenie o zwartości, twierdzenie Skolema-Löwenheima; konstrukcja modeli niestandardowych.
    Teorie elementarne: Arytmetyka Peano; indukcja matematyczna; twierdzenie Gödla o niezupełności arytmetyki; system Zermelo-Fraenkla teorii mnogości; niezależność aksjomatu wyboru i hipotezy continuum.
    Algorytmy i funkcje obliczalne: pojęcie algorytmu, funkcji obliczalnej i relacji rozstrzygalnej; maszyna z nieograniczonymi rejestrami jako formalny model algorytmu.
    Funkcje częściowo rekurencyjne: obliczalność funkcji częściowo rekurencyjnych na MNR; kodowanie programów; funkcje uniwersalne; równość klasy funkcji częściowo rekurencyjnych funkcji obliczalnych na MNR; teza Churcha; makro-programy na MNR, definiowanie funkcji pierwotnie rekurencyjnych.
    Problemy nierozstrzygalne: przykład funkcji nierekurencyjnej; twierdzenie o parametryzacji; nierozstrzygalność problemu stopu; twierdzenie Rice'a; ustalanie nierozstrzygalności problemów teorii algorytmów.
    Zagadnienia rozstrzygalności w logice i matematyce: teorie rozstrzygalne; nierozstrzygalność logiki elementarnej; teorie nierozstrzygalne; twierdzenie Matijasewicza o nierozstrzygalności dziesiątego problemu Hilberta.
    Programowanie w logice: warunki, modele Herbranda; unifikacja i rezolucja; twierdzenia o punktach stałych; określone programy warunkowe; semantyka deklaratywna i proceduralna; twierdzenie o pełności SLD-rezolucji.