|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: W dniach 16 - 18 lipca 2011 r. w Barcelonie, Hiszpania, odbędą się siódme międzynarodowe warsztaty nt. uczenia się i rozumowania neuronalno-symbolicznego.
Celem wydarzenia jest zachęcenie do wymiany pomysłów i zapewnienie forum do prezentacji kluczowych zagadnień dotyczących integracji neuronalno-symbolic... W dniach 24-26 lutego 2011 r. w Istambule, Turcja, odbędzie się wydarzenie pt. "Informatyka jakościowa - różne światy i praktyki badawcze".
Wydarzenie poświęcone będzie temu, w jaki sposób praktyki naukowe z rozmaitych dyscyplin naukowych wchodzą w interakcje z informatyką... W dniu 17 lipca 2011 r. w Barcelonie, Hiszpania, odbędą się warsztaty zatytułowane "Sztuczna inteligencja w kosmosie - inteligencja poza planetą Ziemia".
Nieprzemijająca część badań nad sztuczną inteligencją bazuje na założeniu, że procesy myślenia człowieka i działania można modelować ... Test bezpieczeństwa przeglądarek internetowych przeprowadził Zespół Bezpieczeństwa Poznańskiego Centrum Superkomputerowo-Sieciowego (PCSS). Przeglądarki testowano pod kątem odporności na ataki na szyfrowane połączenia SSL/TLS. Szczególną uwagą objęty został sposób wykryw... Systemy wspomagania diagnostyki medycznej, identyfikacja twarzy w systemach bezpieczeństwa oraz nowatorskie algorytmy z dziedziny sztucznej inteligencji to niektóre z zagadnień, jakimi od poniedziałku zajmą się uczestnicy konferencji CORES i HAIS na Polit...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 LogikTo hasło encyklopedii posiada podstrony: 1 [2],[3] Czy wiesz że...? Teoria złożoności obliczeniowej to dział teorii obliczeń. Głównym jej 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. Za twórców tej teorii uważani są Juris Hartmanis i Richard Stearns. Jako przykłady problemów t.z.o. można podać: problem spełnialności, problem najkrótszej ścieżki, problem faktoryzacji oraz wiele innych o których wiadomo że są obliczalne. Kwestią obliczalności zajmuje się teoria obliczalności, będąca drugą ważną gałęzią teorii obliczeń. 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 (gr. λόγος, logos – rozum, słowo) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science). Nauka – autonomiczna część . 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 dostępnej dla całej ludzkości. Zarówno ta wiedza jak i sposoby jej gromadzenia określane są razem jako nauka.
Kurt Gödel (1906-1978) – austriacki logik i matematyk; autor ważnych 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 bogatszych teorii dedukcyjnych (to znaczy takich, które obejmują arytmetykę liczb naturalnych). Logika w filozofiiLogika jako dział filozofii to nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać. 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.
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. Pod nazwą logika filozoficzna rozumie się dział filozofii zajmujący się: czytaj dalej: [2], [3]
Czy wiesz że...? beta Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) to będąca odmianą programowania deklaratywnego metoda programowania, w której program podawany jest jako pewien zestaw zależności, a obliczenia są dowodem pewnego twierdzenia w oparciu o te zależności.
Logika prawnicza - dyscyplina pomocnicza nauk prawnych, zajmująca się prawniczymi zastosowaniami logiki. W węższym znaczeniu logika prawnicza zajmuje się badaniem schematów rozumowań prawniczych.
Alfred Tarski (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley, Kalifornia, USA) – polski matematyk i filozof pracujący przez wiele lat w Stanach Zjednoczonych.
Twierdzenie Gödla to jeden z najbardziej znanych rezultatów logiki matematycznej. W istocie znane są dwa różne twierdzenia Gödla: pierwsze z nich to twierdzenie o niezupełności, drugie zaś to jego bezpośredni (równoważny) wniosek nazywany też twierdzeniem o niedowodliwości niesprzeczności. Oba twierdzenia zostały udowodnione w 1931 roku przez austriackiego matematyka i logika Kurta Gödla. Uważa się również, że twierdzenia te dają negatywną odpowiedź na drugi problem Hilberta, i w ten sposób mają spore znaczenie w filozofii matematyki. Inne bardzo ważne twierdzenia Gödla to: twierdzenie o istnieniu modelu i twierdzenie o nierozstrzygalności (patrz: teoria, struktura matematyczna).
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
Język grecki albo greka — 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.
Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
Osobny artykuł: