• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Logika



    Podstrony: [1] [2] 3 [4] [5]
    Przeczytaj także...
    Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych. Rozważanymi zasobami są takie wielkości jak czas, pamięć lub liczba procesorów.Analiza logiczna metoda polegająca na zastosowaniu środków logicznych do kontroli sensowności lub prawdziwości twierdzeń, do kontroli poprawności rozumowań lub do wyjaśniania pojęć w terminach zaczerpniętych z logiki (szeroko pojętej). Często stosowana do tradycyjnych twierdzeń lub pojęć filozofii, stąd także nazwa analizy filozoficznej lub filozofii analitycznej.
    Logika w informatyce[ | edytuj kod]

    Formalny charakter logiki współczesnej sprawił, że nie tylko przyczyniła się ona w znacznym stopniu do rozwoju techniki komputerowej, ale też pewne jej działy rozwijają się obecnie w ramach informatyki teoretycznej. Do zagadnień informatycznych o logicznym charakterze należą: systemy przepisywania (rewriting systems), teoria typów, weryfikacja programów (logiki dynamiczne), różne aspekty złożoności obliczeniowej, sieci przełączające (funkcje boolowskie), formalna semantyka języków programowania, programowanie logiczne.

    Schemat wnioskowania, schemat inferencyjny - układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi. Schemat wnioskowania można zdefiniować ściślej jako parę uporządkowaną o postaci <X, B>, gdzie X jest dwolonym niepustym i skończonym zbiorem formuł zdaniowych, a B formułą zdaniową. Elementy zbioru X nazywamy schematami przesłanek, a formułę zdaniową B schematem wniosku.Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu.

    Szczególny charakter ma próba zastosowania osiągnięć logiki formalnej w sztucznej inteligencji. Próba ta nie zakończyła się jeszcze wyraźnym sukcesem. Do częściowych sukcesów można zaliczyć praktyczne osiągnięcia w zakresie automatycznego dowodzenia twierdzeń oraz systemów ekspertowych.

    Zobacz też[ | edytuj kod]

  • historia logiki
  • logicy
  • logika intuicjonistyczna
  • logika modalna
  • logika prawnicza
  • logika rozmyta
  • logika wielowartościowa
  • logika wolna
  • analiza logiczna
  • logizowanie
  • Rozum – zdolność do operowania pojęciami abstrakcyjnymi lub zdolność analitycznego myślenia i wyciągania wniosków z przetworzonych danych. Używanie zdobytych doświadczeń do radzenia sobie w sytuacjach życiowych.Nauka – autonomiczna część kultury służąca wyjaśnieniu funkcjonowania świata, w którym żyje człowiek. Nauka jest budowana i rozwijana wyłącznie za pomocą tzw. metody naukowej lub metod naukowych nazywanych też paradygmatami nauki poprzez działalność badawczą prowadzącą do publikowania wyników naukowych dociekań. Proces publikowania i wielokrotne powtarzanie badań w celu weryfikacji ich wyników prowadzi do powstania wiedzy naukowej. Zarówno ta wiedza jak i sposoby jej gromadzenia określane są razem jako nauka.


    Podstrony: [1] [2] 3 [4] [5]



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Kurt Gödel (ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych.
    Język grecki, greka (starogr. dialekt attycki Ἑλληνικὴ γλῶττα, Hellenikè glõtta; nowogr. Ελληνική γλώσσα, Ellinikí glóssa lub Ελληνικά, Elliniká) – język indoeuropejski z grupy helleńskiej, w starożytności ważny język basenu Morza Śródziemnego. W cywilizacji Zachodu zaadaptowany obok łaciny jako język terminologii naukowej, wywarł wpływ na wszystkie współczesne języki europejskie, a także część pozaeuropejskich i starożytnych. Od X wieku p.n.e. zapisywany jest alfabetem greckim. Obecnie, jako język nowogrecki, pełni funkcję języka urzędowego w Grecji i Cyprze. Jest też jednym z języków oficjalnych Unii Europejskiej. Po grecku mówi współcześnie około 15 milionów ludzi. Język grecki jest jedynym językiem z helleńskich naturalnych, który nie wymarł.
    Metamatematyka lub meta-matematyka – matematyka zastosowana do badania matematyki. Bardziej ogólnie to refleksja o matematyce widzianej jako pewien abstrakcyjny obiekt i produkt ludzkiego umysłu.
    Kazimierz Ajdukiewicz (ur. 12 grudnia 1890 w Tarnopolu, zm. 12 kwietnia 1963 w Warszawie) – polski filozof i logik, reprezentant szkoły lwowsko-warszawskiej, profesor Uniwersytetu Jana Kazimierza, Uniwersytetu im. Adama Mickiewicza i Uniwersytetu Warszawskiego, członek Polskiej Akademii Nauk i Polskiej Akademii Umiejętności.
    Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.
    Andrzej Marian Kisielewicz (ur. 15 maja 1953 w Jeleniej Górze) – polski matematyk, specjalizujący się w algebrze, kombinatoryce i logice; nauczyciel akademicki związany z uczelniami we Wrocławiu i w Opolu; działacz opozycyjny.
    Prawa logiczne – twierdzenia logiki, zdania prawdziwe w każdym modelu, tj. przy każdej interpretacji występujących w nich stałych pozalogicznych; szczególnie ważną funkcją praw logicznych jest to, że na ich podstawie orzeka się wynikanie logiczne jednych zdań z drugich; prawa logiczne są podstawą (lub schematami) operacji dokonywanych w logice (dowodzenia, wnioskowania, uzasadniania). Praw logiki klasycznej jest nieskończenie wiele. Wybiera się często dla przykładu jedynie nieliczne spośród praw, które z różnych względów historycznych i naukotwórczych są najczęściej wyróżniane w opracowaniach podręcznikowych:

    Reklama

    Czas generowania strony: 0.019 sek.