poslední aktualizace dat: 17-10-2011, 16:52

čas načítání stránky

za test: 0.57 s

připojení kabelem (průměr): 0.59 s

DSL připojení (průměr): 0.61 s

modem (průměr): 1.65 s

HTTP hlavičky

Informace o DNS servery

sso.noA77.241.100.187IN14400
sso.noSOAns1.inbusiness.nodrift.inbusiness.no201010200986400 7200 3600000 86400 IN 43200
sso.noMX20cluster4a.eu.messagelabs.comIN14400
sso.noMX10cluster4.eu.messagelabs.comIN14400
sso.noNSns1.inbusiness.noIN43200
sso.noNSns3.inbusiness.noIN43200
sso.noNSns2.inbusiness.noIN43200
katy.com.brSOAns1.locaweb.com.brpostmaster.locaweb.com.br20100317013600 600 1209600 3600 IN 3600
katy.com.brMX10mx.a.locaweb.com.brIN60
katy.com.brTXTv=spf1 include:_spf.locaweb.com.br ip4:186.202.14.3 ?allArrayIN3600
katy.com.brA186.202.14.12IN3600
katy.com.brNSns2.locaweb.com.brIN3600
katy.com.brNSns1.locaweb.com.brIN3600
katy.com.brNSns3.locaweb.com.brIN3600
penge-eksperten.dkMX10webhotel21.webhosting.dkIN43200
penge-eksperten.dkA217.11.242.224IN43200
penge-eksperten.dkSOAns1pri.webhosting.dkhostmaster.webhosting.dk201005200321600 3600 604800 86400 IN 43200
penge-eksperten.dkNSns1pri.webhosting.dkIN43200
penge-eksperten.dkNSns2.webhosting.dkIN43200
ski-schuh.deA80.67.22.199IN3600
ski-schuh.deMX100mxlb.ispgateway.deIN3600
ski-schuh.deAAAA2a00:1158::400:9499:0:0:1IN3600
ski-schuh.deSOAns.namespace4you.dehostmaster.ski-schuh.de131889340216384 2048 1048576 2560 IN 2560
ski-schuh.deNSns2.namespace4you.deIN3600
ski-schuh.deNSns.namespace4you.deIN3600
dickgirlschool.comA92.48.117.218IN14400
dickgirlschool.comSOAvd21.amhost.nethostmaster.dickgirlschool.com201106160014400 3600 1209600 86400 IN 14400
dickgirlschool.comTXTv=spf1 a mx ip4:213.229.124.7 ~allArrayIN14400
dickgirlschool.comMX10mail.dickgirlschool.comIN14400
dickgirlschool.comNSvd21.amhost.netIN14400
dickgirlschool.comNSvd22.amhost.netIN14400
a1dir.comSOAbuy.internettraffic.comhostmaster.hostingnet.com131749634710800 3600 604800 3600 IN 3600
a1dir.comA208.87.35.100IN300
a1dir.comNSbuy.internettraffic.comIN3600
a1dir.comNSsell.internettraffic.comIN3600
rotabann.comA46.105.107.54IN14400
rotabann.comSOAdns1.locations-serveurs.euannuaire.1.gmail.com201106091286400 7200 3600000 86400 IN 43200
rotabann.comMX0rotabann.comIN14400
rotabann.comNSdns2.locations-serveurs.euIN14400
rotabann.comNSdns1.locations-serveurs.euIN14400
municaraz.gob.peA209.217.224.185IN14400
municaraz.gob.peSOAns1.tecmindatainc.comse2578.hotmail.com201109230086400 7200 3600000 86400 IN 14400
municaraz.gob.peMX0municaraz.gob.peIN14400
municaraz.gob.peTXTv=spf1 ip4: a mx a:bee.nswebhost.com mx:municaraz.gob.pe include:bee.nswebhost.com -allArrayIN14400
municaraz.gob.peNSns1.tecmindatainc.comIN14400
municaraz.gob.peNSns2.tecmindatainc.comIN14400
rhein-main.netA109.239.52.145IN3600
rhein-main.netMX100mxlb.ispgateway.deIN3600
rhein-main.netTXTv=spf1 mx a include:ispgateway.de -allArrayIN3600
rhein-main.netSOAns1.rhein-main.nethostmaster.rhein-main.net131889340216384 2048 1048576 2560 IN 2560
rhein-main.netNSns1.rhein-main.netIN3600
rhein-main.netNSns2.rhein-main.netIN3600
navig.chA80.74.150.10IN43200
navig.chMX10mail.navig.chIN43200
navig.chSOAns.kreativmedia.chhostmaster.metanet.ch200201010510800 3600 604800 86400 IN 43200
navig.chNSns.kreativmedia.chIN43200
navig.chNSns2.kreativmedia.chIN43200
mycopper.netSOAns1.ispns.nethostmaster.ispns.net27900 600 86400 3600 IN 3600
mycopper.netA199.96.172.20IN3600
mycopper.netNSns1.ispns.netIN3600
mycopper.netNSns2.ispns.netIN3600
3dluvr.comTXTv=spf1 a mx ptr mx:apophis.3dluvr.com ~allArrayIN300
3dluvr.comMX5apophis.3dluvr.comIN300
3dluvr.comSOAapophis.3dluvr.comroot.3dluvr.com2008071290 180 604800 3600 IN 300
3dluvr.comNSapophis.3dluvr.comIN300
3dluvr.comNSns2.widge.netIN300
3dluvr.comNSfreeone.eniac.orgIN300
3dluvr.comNSns1.widge.netIN300
mobiel-internet-tv.nlA81.173.4.98IN43200
mobiel-internet-tv.nlMX10server13.firstfind.nlIN43200
mobiel-internet-tv.nlMX20mx1.cyso.netIN43200
mobiel-internet-tv.nlMX30mx2.cyso.netIN43200
mobiel-internet-tv.nlSOAns3.firstfind.nlhostmaster.firstfind.nl201101230216384 2048 1048576 86400 IN 3600
mobiel-internet-tv.nlNSns4.firstfind.nlIN3600
mobiel-internet-tv.nlNSns3.firstfind.nlIN3600
4stepsahead.nlA91.213.214.156IN14400
4stepsahead.nlSOAns39.axc.nlroot.4stepsahead.nl201109060314400 3600 1209600 86400 IN 14400
4stepsahead.nlTXTv=spf1 a mx ip4:91.213.214.156 ~allArrayIN14400
4stepsahead.nlTXTv=spf1 include:_spf.google.com ~allArrayIN14400
4stepsahead.nlMX20mail.4stepsahead.nlIN14400
4stepsahead.nlNSns40.axc.nlIN14400
4stepsahead.nlNSns39.axc.nlIN14400
laotra.es.vpslink.comA38.113.1.225IN3600
nicachipal.comA74.208.23.13IN10800
nicachipal.comMX10mx00.1and1.comIN43200
nicachipal.comMX10mx01.1and1.comIN43200
nicachipal.comSOAns57.1and1.comhostmaster.1and1.com201012180128800 7200 604800 86400 IN 43200
nicachipal.comNSns57.1and1.comIN43200
nicachipal.comNSns58.1and1.comIN43200
ingeni.chTXTv=spf1 include:spf.infomaniak.ch ?allArrayIN43200
ingeni.chSOAns1.infomaniak.chhostmaster.infomaniak.ch201102210110800 3600 605800 86400 IN 43200
ingeni.chMX1mail.ingeni.chIN43200
ingeni.chMX10mail2.ingeni.chIN43200
ingeni.chA93.88.240.161IN43200
ingeni.chNSns1.infomaniak.chIN43200
ingeni.chNSns2.infomaniak.chIN43200
badminton-world.deAAAA2a01:238:20a:202:1088::88IN7200
badminton-world.deA81.169.145.81IN7200
badminton-world.deMX10mailin.rzone.deIN7200
badminton-world.deSOAdocks17.rzone.dehostmaster.strato-rz.de201107300086400 7200 604800 86400 IN 7200
badminton-world.deNSdocks17.rzone.deIN7200
badminton-world.deNSshades20.rzone.deIN7200
meinetraumhochzeit.chA193.9.122.8IN43200
meinetraumhochzeit.chSOAdns1.escapenet.chhostmaster.escapenet.ch201012160028800 7200 604800 86400 IN 43200
meinetraumhochzeit.chMX10server301.appriver.comIN43200
meinetraumhochzeit.chMX10server300.appriver.comIN43200
meinetraumhochzeit.chNSdns1.escapenet.chIN43200
meinetraumhochzeit.chNSdns2.escapenet.chIN43200
audionautes.comSOAns1.readyhosting.comdnsadmin.readyhosting.com200602086910800 3600 604800 3600 IN 3600
audionautes.comMX30mx.audionautes.comIN3600
audionautes.comTXTv=spf1 ip4:38.113.1.0/24 ip4:38.113.20.0/24 ip4:65.254.224.0/19 ?allArrayIN3600
audionautes.comA65.254.231.115IN3600
audionautes.comNSns1.readyhosting.comIN3600
audionautes.comNSns2.readyhosting.comIN3600
matratzen-dehler.deSOAdns1.dacor.deinfo.dacor.de201012200110800 3600 604800 86400 IN 3600
matratzen-dehler.deA217.24.50.11IN3600
matratzen-dehler.deMX10mx2.dacor.deIN3600
matratzen-dehler.deMX10mx1.dacor.deIN3600
matratzen-dehler.deNSdns3.dacor.deIN3600
matratzen-dehler.deNSdns2.dacor.deIN3600
matratzen-dehler.deNSdns1.dacor.deIN3600
chateau-cheverny.frSOAns6.oleane.nethostmaster.oleane.net201006090186400 3600 1209600 3600 IN 43200
chateau-cheverny.frMX5mx.mailbox.orange-business.comIN43200
chateau-cheverny.frA87.98.161.215IN43200
chateau-cheverny.frNSns6.oleane.netIN43200
chateau-cheverny.frNSns7.oleane.netIN43200
nocosports.comMX10mail13.worldispnetwork.comIN43200
nocosports.comA74.50.92.2IN43200
nocosports.comSOAns4.worldispnetwork.comnoreply.hostdepartment.com201105230410800 3600 604800 86400 IN 43200
nocosports.comNSns4.worldispnetwork.comIN43200
nocosports.comNSns3.worldispnetwork.comIN43200
ullahamilton.seSOAns1.loopia.seregistry.loopia.se129679411010800 3600 604800 86400 IN 3600
ullahamilton.seA194.9.94.153IN300
ullahamilton.seIN7200
ullahamilton.seIN7200
ullahamilton.seNSns1.loopia.seIN3600
ullahamilton.seNSns2.loopia.seIN3600
finixx.com.veA75.126.185.28IN14400
finixx.com.veSOAhip2.hostupon.comluisalbertomena.hotmail.com201004210286400 7200 3600000 86400 IN 43200
finixx.com.veMX0finixx.com.veIN14400
finixx.com.veNShip1.hostupon.comIN43200
finixx.com.veNShip2.hostupon.comIN43200
agenda-automobile.comMX10argoo1.venigo.frIN43200
agenda-automobile.comA195.225.206.51IN43200
agenda-automobile.comSOAargoo1.venigo.frnoc.venigo.fr200911250510800 3600 1209600 10800 IN 43200
agenda-automobile.comNSns6.gandi.netIN43200
agenda-automobile.comNSargoo1.venigo.frIN43200
theprofessionalhobo.comA74.53.10.34IN14400
theprofessionalhobo.comSOAns1203.hostgator.comdnsadmin.gator602.hostgator.com201108160086400 7200 3600000 86400 IN 43200
theprofessionalhobo.comMX0theprofessionalhobo.comIN14400
theprofessionalhobo.comTXTv=spf1 a mx include:websitewelcome.com ~allArrayIN14400
theprofessionalhobo.comNSns1203.hostgator.comIN43200
theprofessionalhobo.comNSns1204.hostgator.comIN43200
ifmt.auf.orgCNAMEwww.ifmt.auf.orgIN43200
iamcrossfit.comTXTv=spf1 a mx ptr include:bluehost.com ?allArrayIN14400
iamcrossfit.comSOAns1.bluehost.comdnsadmin.box728.bluehost.com201104110286400 7200 3600000 300 IN 43200
iamcrossfit.comMX10mailstore1.secureserver.netIN14400
iamcrossfit.comMX0smtp.secureserver.netIN14400
iamcrossfit.comA66.147.244.228IN14400
iamcrossfit.comNSns1.bluehost.comIN43200
iamcrossfit.comNSns2.bluehost.comIN43200
psoeayora.es.vpslink.comA38.113.1.225IN3600
reitecke.chA87.253.179.221IN43200
reitecke.chSOAschweitzer.nwx-server.dehostmaster.nwx-server.de200704010110800 3600 604800 86400 IN 43200
reitecke.chMX10mail.reitecke.chIN43200
reitecke.chNSns2.schweitzer.nwx-server.deIN43200
reitecke.chNSns1.schweitzer.nwx-server.deIN43200
appannie.comTXTv=spf1 a mx a:supernanny.appannie.com ip4:69.167.139.117 ip4:69.167.139.119 include:_spf.google.com include:sendgrid.net ~allArrayIN10800
appannie.comMX10aspmx3.googlemail.comIN10800
appannie.comMX1aspmx.l.google.comIN10800
appannie.comMX5alt1.aspmx.l.google.comIN10800
appannie.comMX5alt2.aspmx.l.google.comIN10800
appannie.comMX10aspmx2.googlemail.comIN10800
appannie.comA69.167.139.117IN300
appannie.comSOAdns0.easydns.comzone.easydns.com131787425043200 10800 1209600 10800 IN 10800
appannie.comNSdns2.easydns.netIN10800
appannie.comNSdns1.easydns.comIN10800
appannie.comNSdns3.easydns.orgIN10800
appannie.comNSdns4.easydns.infoIN10800
livepk.tvTXTv=spf1 a mx ptr include:hostmonster.com ?allArrayIN14400
livepk.tvMX0livepk.tvIN14400
livepk.tvA66.147.240.161IN14400
livepk.tvSOAns1.hostmonster.comroot.host361.hostmonster.com201106110086400 7200 3600000 300 IN 43200
livepk.tvNSns2.hostmonster.comIN43200
livepk.tvNSns1.hostmonster.comIN43200
blauer.itMX10mx1.hosting-panel.netIN43200
blauer.itMX20mx2.hosting-panel.netIN43200
blauer.itA94.23.66.239IN43200
blauer.itSOAns1.hosting-panel.netroot.hosting-panel.net201107180128800 7200 604800 86400 IN 43200
blauer.itNSns2.hosting-panel.netIN43200
blauer.itNSns1.hosting-panel.netIN43200
mce-online.deA82.165.95.126IN10800
mce-online.deSOAns35.1und1.dehostmaster.1und1.de200703030328800 7200 604800 86400 IN 43200
mce-online.deMX10mx00.kundenserver.deIN43200
mce-online.deMX10mx01.kundenserver.deIN43200
mce-online.deNSns36.1und1.deIN43200
mce-online.deNSns35.1und1.deIN43200
auto-rides.comA74.53.109.210IN14400
auto-rides.comSOAns923.hostgator.comroot.gator462.hostgator.com201103010186400 7200 3600000 86400 IN 43200
auto-rides.comMX0auto-rides.comIN14400
auto-rides.comTXTv=spf1 a mx include:websitewelcome.com ~allArrayIN14400
auto-rides.comNSns923.hostgator.comIN43200
auto-rides.comNSns924.hostgator.comIN43200
snug.ic.czCNAMEvirt.ic.czIN3600

obdržel od první server DNS

požadavek na server "snug.ic.cz"
Ty používají tyto DNS server:
DNS jméno: ns1.inbusiness.no
adresu serveru DNS: 212.33.133.80#53
DNS server aliasů:

hlavička opcode: žádost, status: NOERROR, id: 37892
vlajky: qr rd žádost: 1, odpověď: 0, AUTHORITY: 5, další: 0

VYVOLÁNÍ sekce:
snug.ic.cz. IN ANY

AUTHORITY SECTION:
cz. 130683 IN NS a.ns.nic.cz.
cz. 130683 IN NS b.ns.nic.cz.
cz. 130683 IN NS c.ns.nic.cz.
cz. 130683 IN NS d.ns.nic.cz.
cz. 130683 IN NS f.ns.nic.cz.

Received 115 bytů z adresy 212.33.133.80#53 v čase 112 ms

obdržel od druhého serveru DNS

požadavek na server "snug.ic.cz"
Received 28 bytů z adresy 77.241.100.175#53 v čase 110 ms
požadavek na server "snug.ic.cz"
Ty používají tyto DNS server:
DNS jméno: ns3.inbusiness.no
adresu serveru DNS: 77.241.100.175#53
DNS server aliasů:

Host snug.ic.cz not found: 5(REFUSED)
Received 28 bytů z adresy 77.241.100.175#53 v čase 112 ms

subdomén (první 50)

Typos (dělá pravopisnou chybu)

anug.ic.cz
znug.ic.cz
xnug.ic.cz
dnug.ic.cz
enug.ic.cz
wnug.ic.cz
sbug.ic.cz
smug.ic.cz
sjug.ic.cz
shug.ic.cz
snyg.ic.cz
snhg.ic.cz
snjg.ic.cz
snig.ic.cz
sn8g.ic.cz
sn7g.ic.cz
snuf.ic.cz
snuv.ic.cz
snub.ic.cz
snuh.ic.cz
snuy.ic.cz
snut.ic.cz
nug.ic.cz
sug.ic.cz
sng.ic.cz
snu.ic.cz
nsug.ic.cz
sung.ic.cz
sngu.ic.cz
ssnug.ic.cz
snnug.ic.cz
snuug.ic.cz
snugg.ic.cz

místo

IP: 88.86.100.176

kontinent: EU, země: Czech Republic (CZE), město: Praha

Web hodnota

pozice v dopravních statistik:

Není dostatek údajů k odhadu hodnoty webu.

Základní informace

webové stránky vytvořit pomocí CSS

kód váha: 7.58 KB

text na celý kód ratio: 23 %

titul: e-vyuka pro logiku

popis:

klíčová slova:

kódování: windows-1250

jazyk: cs

Web analýzy kódu

jedním slovem věty opakoval nejméně třikrát

frázemnožství
za3

dva slovní fráze opakuje nejméně třikrát

tři věty slovo opakuje nejméně třikrát

B značky

ÚVOD

VÝROKOVÁ LOGIKA

SÉMANTICKÝ VÝKLAD VÝROKOVÉ LOGIKY

Převod z přirozeného jazyka do symbolického jazyka výrokové logiky

Výrokově logická analýza

Úplné systémy spojek výrokové logiky

REZOLUČNÍ METODA VE VÝROKOVÉ LOGICE (AUTOMATICKÉ DOKAZOVÁNÍ)

SYSTÉM PŘIROZENÉ DEDUKCE VÝROKOVÉ LOGIKY

AXIOMATICKÝ SYSTÉM VÝROKOVÉ LOGIKY

Obecná charakteristika formálních systémů

Formální systém Hilbertova typu

PREDIKÁTOVÁ LOGIKA 1. ŘÁDU

SÉMANTICKÝ VÝKLAD PREDIKÁTOVÉ LOGIKY

Převod z přirozeného jazyka do symbolického jazyka PL1

Sémantika PL1 – interpretace formulí.

Tradiční Aristotelova logika

AUTOMATICKÉ DOKAZOVÁNÍ V PREDIKÁTOVÉ LOGICE (OBECNÁ REZOLUČNÍ METODA)

SYSTÉM PŘIROZENÉ DEDUKCE PREDIKÁTOVÉ LOGIKY

AXIOMATICKÝ SYSTÉM PREDIKÁTOVÉ LOGIKY

Úvodní poznámky:

Formální systém (logický kalkul) Hilbertova typu

FORMALIZOVANÉ TEORIE PREDIKÁTOVÉ LOGIKY 1. ŘÁDU

TEORIE RELACÍ A ALGEBRAICKÉ TEORIE 1.ŘÁDU

U značky

I značky

Obrázky

hlavičky

H1

e-vyuka pro logiku

H2

H3

H4

H5

H6

vnitřní spojení

adresakotva text
obsah
Středozem
Daleko za horami
ÚVOD
VÝROKOVÁ LOGIKA
SÉMANTICKÝ VÝKLAD VÝROKOVÉ LOGIKY
Převod z přirozeného jazyka do symbolického jazyka výrokové logiky
Výrokově logická analýza
Úplné systémy spojek výrokové logiky
REZOLUČNÍ METODA VE VÝROKOVÉ LOGICE (AUTOMATICKÉ DOKAZOVÁNÍ)
SYSTÉM PŘIROZENÉ DEDUKCE VÝROKOVÉ LOGIKY
AXIOMATICKÝ SYSTÉM VÝROKOVÉ LOGIKY
Obecná charakteristika formálních systémů
Formální systém Hilbertova typu
PREDIKÁTOVÁ LOGIKA 1. ŘÁDU
SÉMANTICKÝ VÝKLAD PREDIKÁTOVÉ LOGIKY
Převod z přirozeného jazyka do symbolického jazyka PL1
Sémantika PL1 – interpretace formulí.
Tradiční Aristotelova logika
AUTOMATICKÉ DOKAZOVÁNÍ V PREDIKÁTOVÉ LOGICE (OBECNÁ REZOLUČNÍ METODA)
SYSTÉM PŘIROZENÉ DEDUKCE PREDIKÁTOVÉ LOGIKY
AXIOMATICKÝ SYSTÉM PREDIKÁTOVÉ LOGIKY
Úvodní poznámky:
Formální systém (logický kalkul) Hilbertova typu
FORMALIZOVANÉ TEORIE PREDIKÁTOVÉ LOGIKY 1. ŘÁDU
TEORIE RELACÍ A ALGEBRAICKÉ TEORIE 1.ŘÁDU

externí odkazy

adresakotva text
Sázení na sport
Originální dárky
Parfémy levně
Doména .CZ za 140 Kč
nábytek -40%
Dedikovaný server za cenu housingu
Stahování souborů ZDARMA!
Samolepky na zeď