Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Installera
Snabbare tillgång än webbläsare!
 

B (mjukvaruutveckling)

Index B (mjukvaruutveckling)

B är en mjukvaruutvecklingsmetod framtagen av Jean-Raymond Abrial, tillika ett språk och CASE-verktyg från B-Core (UK) Ltd..

11 relationer: Allkvantifikator, Bugg (dator), Disjunktion, Egyptian Exchange, Ekvivalens (logik), Existenskvantifikator, Implikation, Konjunktion (logik), Naturliga tal, Negation, Variabelbyte.

Allkvantifikator

Allkvantifikator eller allkvantor är ett begrepp inom predikatlogiken.

Ny!!: B (mjukvaruutveckling) och Allkvantifikator · Se mer »

Bugg (dator)

En bugg, även lus, är en felaktighet i datorprogram som gör att programmet inte beter sig som tänkt.

Ny!!: B (mjukvaruutveckling) och Bugg (dator) · Se mer »

Disjunktion

Disjunktion, som i satslogiken är liktydigt med inklusiv disjunktion, är en logisk operator.

Ny!!: B (mjukvaruutveckling) och Disjunktion · Se mer »

Egyptian Exchange

Egyptens börs (engelska: Egyptian Exchange), EGX, tidigare Cairo & Alexandria Stock Exchange (CASE), består av två börser, i Kairo och Alexandria, båda statsägda.

Ny!!: B (mjukvaruutveckling) och Egyptian Exchange · Se mer »

Ekvivalens (logik)

Materiell ekvivalens och logisk ekvivalens är grundläggande ekvivalensrelationer i den klassiska logiken.

Ny!!: B (mjukvaruutveckling) och Ekvivalens (logik) · Se mer »

Existenskvantifikator

Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken.

Ny!!: B (mjukvaruutveckling) och Existenskvantifikator · Se mer »

Implikation

En implikation eller villkorssats är en sats på formen "om A så B", där A och B var för sig är satser.

Ny!!: B (mjukvaruutveckling) och Implikation · Se mer »

Konjunktion (logik)

Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen \land eller symbolen \cdot, och utläses som "och".

Ny!!: B (mjukvaruutveckling) och Konjunktion (logik) · Se mer »

Naturliga tal

Naturliga tal används för att räkna föremål, till exempel äpplen, så länge de är hela. De naturliga talen är de heltal som är icke-negativa, alternativt de heltal som är positiva.

Ny!!: B (mjukvaruutveckling) och Naturliga tal · Se mer »

Negation

Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann.

Ny!!: B (mjukvaruutveckling) och Negation · Se mer »

Variabelbyte

Variabelbyte eller variabelsubstitution, är inom matematiken en grundläggande teknik som används för att förenkla problem genom ersätta den ursprungliga variabeln med funktioner i andra variabler.

Ny!!: B (mjukvaruutveckling) och Variabelbyte · Se mer »

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »