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.